=>> Building math/vampire build started at Mon Mar 16 20:31:51 EDT 2026 port directory: /usr/ports/math/vampire package name: vampire-4.9.c2024_2 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 953 Mar 6 20:23 /usr/ports/math/vampire/Makefile Ports top last git commit: 8c988f802ea2 Ports top unclean checkout: no Port dir last git commit: 4802819042c3 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 12 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/12/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/vampire/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/vampire/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/vampire/work/.cache HOME=/wrkdirs/usr/ports/math/vampire/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/vampire/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/vampire/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/vampire/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/vampire/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/vampire/work/.cache HOME=/wrkdirs/usr/ports/math/vampire/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/vampire/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/vampire/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/vampire/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -lexecinfo " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/vampire" EXAMPLESDIR="share/examples/vampire" DATADIR="share/vampire" WWWDIR="www/vampire" ETCDIR="etc/vampire" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/vampire DOCSDIR=/usr/local/share/doc/vampire EXAMPLESDIR=/usr/local/share/examples/vampire WWWDIR=/usr/local/www/vampire ETCDIR=/usr/local/etc/vampire --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> vampire-4.9.c2024_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> vampire-4.9.c2024_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of vampire-4.9.c2024_2 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by vampire-4.9.c2024_2 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by vampire-4.9.c2024_2 for building => SHA256 Checksum OK for vprover-vampire-v4.9casc2024_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by vampire-4.9.c2024_2 for building ===> Extracting for vampire-4.9.c2024_2 => SHA256 Checksum OK for vprover-vampire-v4.9casc2024_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for vampire-4.9.c2024_2 ===> Applying FreeBSD patches for vampire-4.9.c2024_2 from /usr/ports/math/vampire/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> vampire-4.9.c2024_2 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.10_1.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.10_1... [pkg.DaveG.ca] `-- Installing expat-2.7.4... [pkg.DaveG.ca] `-- Extracting expat-2.7.4: .......... done [pkg.DaveG.ca] `-- Installing jsoncpp-1.9.6_1... [pkg.DaveG.ca] `-- Extracting jsoncpp-1.9.6_1: .......... done [pkg.DaveG.ca] `-- Installing libidn2-2.3.8... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing libunistring-1.4.2... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.2: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.52.0... [pkg.DaveG.ca] `-- Extracting libuv-1.52.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.6... [pkg.DaveG.ca] | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] `-- Extracting rhash-1.4.6: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.10_1: .......... done ===> vampire-4.9.c2024_2 depends on file: /usr/local/bin/cmake - found ===> Returning to build of vampire-4.9.c2024_2 ===> vampire-4.9.c2024_2 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.13.2,4.pkg [pkg.DaveG.ca] Installing ninja-1.13.2,4... [pkg.DaveG.ca] `-- Installing python311-3.11.15... [pkg.DaveG.ca] | `-- Installing libffi-3.5.1... [pkg.DaveG.ca] | `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] | `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] | `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] | `-- Installing readline-8.3.3... [pkg.DaveG.ca] | `-- Extracting readline-8.3.3: .......... done [pkg.DaveG.ca] `-- Extracting python311-3.11.15: .......... done [pkg.DaveG.ca] Extracting ninja-1.13.2,4: ..... done ===== Message from python311-3.11.15: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> vampire-4.9.c2024_2 depends on executable: ninja - found ===> Returning to build of vampire-4.9.c2024_2 ===> vampire-4.9.c2024_2 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> vampire-4.9.c2024_2 depends on file: /usr/local/bin/ccache - found ===> Returning to build of vampire-4.9.c2024_2 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> vampire-4.9.c2024_2 depends on shared library: libz3.so - not found ===> Installing existing package /packages/All/z3-4.16.0.0.pkg [pkg.DaveG.ca] Installing z3-4.16.0.0... [pkg.DaveG.ca] Extracting z3-4.16.0.0: .......... done ===> vampire-4.9.c2024_2 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) ===> Returning to build of vampire-4.9.c2024_2 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for vampire-4.9.c2024_2 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/vampire/work/.build -- The C compiler identification is Clang 19.1.7 -- The CXX compiler identification is Clang 19.1.7 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- IPO supported -- Found Z3 4.16.0.0 -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- Setting binary name to 'vampire_z3_rel' -- Configuring done (7.2s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_BUILD_HOL CMAKE_COLOR_MAKEFILE CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /wrkdirs/usr/ports/math/vampire/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for vampire-4.9.c2024_2 [ 0% 64/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Debug/Assertion.cpp.o -MF CMakeFiles/obj.dir/Debug/Assertion.cpp.o.d -o CMakeFiles/obj.dir/Debug/Assertion.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Debug/Assertion.cpp [ 0% 65/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Int.cpp.o -MF CMakeFiles/obj.dir/Lib/Int.cpp.o.d -o CMakeFiles/obj.dir/Lib/Int.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Int.cpp [ 1% 66/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Exception.cpp.o -MF CMakeFiles/obj.dir/Lib/Exception.cpp.o.d -o CMakeFiles/obj.dir/Lib/Exception.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Exception.cpp [ 1% 67/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Event.cpp.o -MF CMakeFiles/obj.dir/Lib/Event.cpp.o.d -o CMakeFiles/obj.dir/Lib/Event.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Event.cpp [ 2% 68/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Random.cpp.o -MF CMakeFiles/obj.dir/Lib/Random.cpp.o.d -o CMakeFiles/obj.dir/Lib/Random.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Random.cpp [ 2% 69/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -MF CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o.d -o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Debug/RuntimeStatistics.cpp [ 2% 70/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -MF CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/IntUnionFind.cpp [ 3% 71/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o -MF CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Rebalancing.cpp [ 3% 72/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -MF CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/IntNameTable.cpp [ 4% 73/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/SpassLiteralSelector.cpp [ 4% 74/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Allocator.cpp.o -MF CMakeFiles/obj.dir/Lib/Allocator.cpp.o.d -o CMakeFiles/obj.dir/Lib/Allocator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Allocator.cpp [ 5% 75/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -MF CMakeFiles/obj.dir/Lib/StringUtils.cpp.o.d -o CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/StringUtils.cpp [ 5% 76/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -MF CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o.d -o CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Sys/Multiprocessing.cpp [ 5% 77/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/DHMap.cpp.o -MF CMakeFiles/obj.dir/Lib/DHMap.cpp.o.d -o CMakeFiles/obj.dir/Lib/DHMap.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/DHMap.cpp [ 6% 78/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o -MF CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/ClauseQueue.cpp [ 6% 79/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/ELiteralSelector.cpp [ 7% 80/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Debug/Tracer.cpp.o -MF CMakeFiles/obj.dir/Debug/Tracer.cpp.o.d -o CMakeFiles/obj.dir/Debug/Tracer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Debug/Tracer.cpp [ 7% 81/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/NameArray.cpp.o -MF CMakeFiles/obj.dir/Lib/NameArray.cpp.o.d -o CMakeFiles/obj.dir/Lib/NameArray.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/NameArray.cpp [ 8% 82/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Substitution.cpp.o -MF CMakeFiles/obj.dir/Kernel/Substitution.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Substitution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Substitution.cpp [ 8% 83/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Formula.cpp.o -MF CMakeFiles/obj.dir/Kernel/Formula.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Formula.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Formula.cpp [ 8% 84/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/FormulaTransformer.cpp [ 9% 85/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/FormulaVarIterator.cpp [ 9% 86/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/MaximalLiteralSelector.cpp [ 10% 87/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o -MF CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o.d -o CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/OperatorType.cpp [ 10% 88/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/RndLiteralSelector.cpp [ 11% 89/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/System.cpp.o -MF CMakeFiles/obj.dir/Lib/System.cpp.o.d -o CMakeFiles/obj.dir/Lib/System.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/System.cpp [ 11% 90/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Timer.cpp.o -MF CMakeFiles/obj.dir/Lib/Timer.cpp.o.d -o CMakeFiles/obj.dir/Lib/Timer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Timer.cpp [ 11% 91/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/MLVariant.cpp [ 12% 92/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Unit.cpp.o -MF CMakeFiles/obj.dir/Kernel/Unit.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Unit.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Unit.cpp [ 12% 93/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Inference.cpp.o -MF CMakeFiles/obj.dir/Kernel/Inference.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Inference.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Inference.cpp [ 13% 94/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o -MF CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/FlatTerm.cpp [ 13% 95/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o -MF CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/SubformulaIterator.cpp [ 13% 96/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o -MF CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/TermTransformer.cpp [ 14% 97/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/FormulaUnit.cpp [ 14% 98/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o -MF CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/InterpretedLiteralEvaluator.cpp [ 15% 99/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/MLMatcherSD.cpp [ 15% 100/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o -MF CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Ordering_Equality.cpp [ 16% 101/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o -MF CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o.d -o CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/TermIterators.cpp [ 16% 102/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/MLMatcher.cpp [ 16% 103/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Matcher.cpp.o -MF CMakeFiles/obj.dir/Kernel/Matcher.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Matcher.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Matcher.cpp [ 17% 104/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/ApplicativeHelper.cpp [ 17% 105/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o -MF CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/KBOComparator.cpp [ 18% 106/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Ordering.cpp.o -MF CMakeFiles/obj.dir/Kernel/Ordering.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Ordering.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Ordering.cpp [ 18% 107/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Renaming.cpp.o -MF CMakeFiles/obj.dir/Kernel/Renaming.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Renaming.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Renaming.cpp [ 19% 108/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/SortHelper.cpp [ 19% 109/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Theory.cpp.o -MF CMakeFiles/obj.dir/Kernel/Theory.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Theory.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Theory.cpp [ 19% 110/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/LPO.cpp.o -MF CMakeFiles/obj.dir/Kernel/LPO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LPO.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/LPO.cpp [ 20% 111/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o -MF CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/MainLoop.cpp [ 20% 112/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Signature.cpp.o -MF CMakeFiles/obj.dir/Kernel/Signature.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Signature.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Signature.cpp [ 21% 113/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Problem.cpp.o -MF CMakeFiles/obj.dir/Kernel/Problem.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Problem.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Problem.cpp [ 21% 114/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Grounder.cpp.o -MF CMakeFiles/obj.dir/Kernel/Grounder.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Grounder.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Grounder.cpp [ 22% 115/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/KBO.cpp.o -MF CMakeFiles/obj.dir/Kernel/KBO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/KBO.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/KBO.cpp [ 22% 116/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/ColorHelper.cpp [ 22% 117/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/EqHelper.cpp [ 23% 118/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o -MF CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BoolEqToDiseq.cpp [ 23% 119/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/LiteralSelector.cpp [ 24% 120/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Clause.cpp.o -MF CMakeFiles/obj.dir/Kernel/Clause.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Clause.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Clause.cpp [ 24% 121/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o -MF CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/SKIKBO.cpp [ 25% 122/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o -MF CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BoolSimp.cpp [ 25% 123/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/CombinatorNormalisationISE.cpp [ 25% 124/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o -MF CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/LPOComparator.cpp [ 26% 125/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o -MF CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o.d -o CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/UnificationWithAbstraction.cpp [ 26% 126/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o -MF CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Polynomial.cpp [ 27% 127/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/LookaheadLiteralSelector.cpp [ 27% 128/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o -MF CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o.d -o CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/RobSubstitution.cpp [ 27% 129/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/CombinatorDemodISE.cpp [ 28% 130/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o -MF CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Injectivity.cpp [ 28% 131/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o -MF CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/CasesSimp.cpp [ 29% 132/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/LiteralMiniIndex.cpp [ 29% 133/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o -MF CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o.d -o CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/LambdaElimination.cpp [ 30% 134/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o -MF CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o.d -o CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/DemodulationHelper.cpp [ 30% 135/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/AcyclicityIndex.cpp [ 30% 136/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o -MF CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/ResultSubstitution.cpp [ 31% 137/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/Index.cpp.o -MF CMakeFiles/obj.dir/Indexing/Index.cpp.o.d -o CMakeFiles/obj.dir/Indexing/Index.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/Index.cpp [ 31% 138/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Term.cpp.o -MF CMakeFiles/obj.dir/Kernel/Term.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Term.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Term.cpp [ 32% 139/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/TermCodeTree.cpp [ 32% 140/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o -MF CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o.d -o CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/InferenceStore.cpp [ 33% 141/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o -MF CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o.d -o CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/DistinctEqualitySimplifier.cpp [ 33% 142/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o -MF CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ElimLeibniz.cpp [ 33% 143/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/FOOLParamodulation.cpp [ 34% 144/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o -MF CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/PrimitiveInstantiation.cpp [ 34% 145/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/TermSharing.cpp [ 35% 146/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Narrow.cpp.o -MF CMakeFiles/obj.dir/Inferences/Narrow.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Narrow.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Narrow.cpp [ 35% 147/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/ClauseCodeTree.cpp [ 36% 148/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o -MF CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/CNFOnTheFly.cpp [ 36% 149/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o -MF CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ArgCong.cpp [ 36% 150/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o -MF CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o.d -o CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/CodeTreeInterfaces.cpp [ 37% 151/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/GroundingIndex.cpp [ 37% 152/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o -MF CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o.d -o CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/NegativeExt.cpp [ 38% 153/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Condensation.cpp.o -MF CMakeFiles/obj.dir/Inferences/Condensation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Condensation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Condensation.cpp [ 38% 154/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Choice.cpp.o -MF CMakeFiles/obj.dir/Inferences/Choice.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Choice.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Choice.cpp [ 38% 155/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/EquationalTautologyRemoval.cpp.o -MF CMakeFiles/obj.dir/Inferences/EquationalTautologyRemoval.cpp.o.d -o CMakeFiles/obj.dir/Inferences/EquationalTautologyRemoval.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/EquationalTautologyRemoval.cpp [ 39% 156/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/CodeTree.cpp [ 39% 157/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Cases.cpp.o -MF CMakeFiles/obj.dir/Inferences/Cases.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Cases.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Cases.cpp [ 40% 158/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o -MF CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/FastCondensation.cpp [ 40% 159/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/InvalidAnswerLiteralRemoval.cpp.o -MF CMakeFiles/obj.dir/Inferences/InvalidAnswerLiteralRemoval.cpp.o.d -o CMakeFiles/obj.dir/Inferences/InvalidAnswerLiteralRemoval.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/InvalidAnswerLiteralRemoval.cpp [ 41% 160/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/InterpretedEvaluation.cpp.o -MF CMakeFiles/obj.dir/Inferences/InterpretedEvaluation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/InterpretedEvaluation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/InterpretedEvaluation.cpp [ 41% 161/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o -MF CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o.d -o CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/SubVarSup.cpp [ 41% 162/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BackwardDemodulation.cpp [ 42% 163/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/Rebalancing/Inverters.cpp.o -MF CMakeFiles/obj.dir/Kernel/Rebalancing/Inverters.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Rebalancing/Inverters.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/Rebalancing/Inverters.cpp [ 42% 164/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/EqualityResolution.cpp [ 43% 165/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ForwardSubsumptionAndResolution.cpp [ 43% 166/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/PushUnaryMinus.cpp.o -MF CMakeFiles/obj.dir/Inferences/PushUnaryMinus.cpp.o.d -o CMakeFiles/obj.dir/Inferences/PushUnaryMinus.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/PushUnaryMinus.cpp [ 44% 167/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o -MF CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/PolynomialNormalizer.cpp [ 44% 168/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ForwardLiteralRewriting.cpp [ 44% 169/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/TautologyDeletionISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/TautologyDeletionISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/TautologyDeletionISE.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/TautologyDeletionISE.cpp [ 45% 170/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ExtensionalityResolution.cpp [ 45% 171/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Kernel/NumTraits.cpp.o -MF CMakeFiles/obj.dir/Kernel/NumTraits.cpp.o.d -o CMakeFiles/obj.dir/Kernel/NumTraits.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Kernel/NumTraits.cpp [ 46% 172/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/GaussianVariableElimination.cpp.o -MF CMakeFiles/obj.dir/Inferences/GaussianVariableElimination.cpp.o.d -o CMakeFiles/obj.dir/Inferences/GaussianVariableElimination.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/GaussianVariableElimination.cpp [ 46% 173/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/InductionFormulaIndex.cpp [ 47% 174/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BackwardSubsumptionResolution.cpp [ 47% 175/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/TermIndex.cpp [ 47% 176/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Factoring.cpp.o -MF CMakeFiles/obj.dir/Inferences/Factoring.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Factoring.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Factoring.cpp [ 48% 177/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BinaryResolution.cpp [ 48% 178/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/InductionHelper.cpp.o -MF CMakeFiles/obj.dir/Inferences/InductionHelper.cpp.o.d -o CMakeFiles/obj.dir/Inferences/InductionHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/InductionHelper.cpp [ 49% 179/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/BackwardSubsumptionDemodulation.cpp [ 49% 180/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o -MF CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o.d -o CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/EqualityFactoring.cpp [ 50% 181/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o -MF CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/FunctionDefinitionRewriting.cpp [ 50% 182/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/FallbackSolverWrapper.cpp.o -MF CMakeFiles/obj.dir/SAT/FallbackSolverWrapper.cpp.o.d -o CMakeFiles/obj.dir/SAT/FallbackSolverWrapper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/FallbackSolverWrapper.cpp [ 50% 183/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/SubsumptionDemodulationHelper.cpp.o -MF CMakeFiles/obj.dir/Inferences/SubsumptionDemodulationHelper.cpp.o.d -o CMakeFiles/obj.dir/Inferences/SubsumptionDemodulationHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/SubsumptionDemodulationHelper.cpp [ 51% 184/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/MinimizingSolver.cpp.o -MF CMakeFiles/obj.dir/SAT/MinimizingSolver.cpp.o.d -o CMakeFiles/obj.dir/SAT/MinimizingSolver.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/MinimizingSolver.cpp [ 51% 185/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/InnerRewriting.cpp.o -MF CMakeFiles/obj.dir/Inferences/InnerRewriting.cpp.o.d -o CMakeFiles/obj.dir/Inferences/InnerRewriting.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/InnerRewriting.cpp [ 52% 186/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o -MF CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o.d -o CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/GlobalSubsumption.cpp [ 52% 187/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Instantiation.cpp.o -MF CMakeFiles/obj.dir/Inferences/Instantiation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Instantiation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Instantiation.cpp [ 52% 188/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/BufferedSolver.cpp.o -MF CMakeFiles/obj.dir/SAT/BufferedSolver.cpp.o.d -o CMakeFiles/obj.dir/SAT/BufferedSolver.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/BufferedSolver.cpp [ 53% 189/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/SAT2FO.cpp.o -MF CMakeFiles/obj.dir/SAT/SAT2FO.cpp.o.d -o CMakeFiles/obj.dir/SAT/SAT2FO.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/SAT2FO.cpp [ 53% 190/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/InferenceEngine.cpp.o -MF CMakeFiles/obj.dir/Inferences/InferenceEngine.cpp.o.d -o CMakeFiles/obj.dir/Inferences/InferenceEngine.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/InferenceEngine.cpp [ 54% 191/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/ManCSPassiveClauseContainer.cpp.o -MF CMakeFiles/obj.dir/Saturation/ManCSPassiveClauseContainer.cpp.o.d -o CMakeFiles/obj.dir/Saturation/ManCSPassiveClauseContainer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/ManCSPassiveClauseContainer.cpp [ 54% 192/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/SATInference.cpp.o -MF CMakeFiles/obj.dir/SAT/SATInference.cpp.o.d -o CMakeFiles/obj.dir/SAT/SATInference.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/SATInference.cpp [ 55% 193/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/SATClause.cpp.o -MF CMakeFiles/obj.dir/SAT/SATClause.cpp.o.d -o CMakeFiles/obj.dir/SAT/SATClause.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/SATClause.cpp [ 55% 194/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/ExtensionalityClauseContainer.cpp.o -MF CMakeFiles/obj.dir/Saturation/ExtensionalityClauseContainer.cpp.o.d -o CMakeFiles/obj.dir/Saturation/ExtensionalityClauseContainer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/ExtensionalityClauseContainer.cpp [ 55% 195/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Lib/Environment.cpp.o -MF CMakeFiles/obj.dir/Lib/Environment.cpp.o.d -o CMakeFiles/obj.dir/Lib/Environment.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Lib/Environment.cpp [ 56% 196/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/DefinitionIntroduction.cpp.o -MF CMakeFiles/obj.dir/Inferences/DefinitionIntroduction.cpp.o.d -o CMakeFiles/obj.dir/Inferences/DefinitionIntroduction.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/DefinitionIntroduction.cpp [ 56% 197/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/SATLiteral.cpp.o -MF CMakeFiles/obj.dir/SAT/SATLiteral.cpp.o.d -o CMakeFiles/obj.dir/SAT/SATLiteral.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/SATLiteral.cpp [ 57% 198/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/DP/ShortConflictMetaDP.cpp.o -MF CMakeFiles/obj.dir/DP/ShortConflictMetaDP.cpp.o.d -o CMakeFiles/obj.dir/DP/ShortConflictMetaDP.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/DP/ShortConflictMetaDP.cpp [ 57% 199/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/SLQueryBackwardSubsumption.cpp.o -MF CMakeFiles/obj.dir/Inferences/SLQueryBackwardSubsumption.cpp.o.d -o CMakeFiles/obj.dir/Inferences/SLQueryBackwardSubsumption.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/SLQueryBackwardSubsumption.cpp [ 58% 200/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Cancellation.cpp.o -MF CMakeFiles/obj.dir/Inferences/Cancellation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Cancellation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Cancellation.cpp [ 58% 201/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/SymElOutput.cpp.o -MF CMakeFiles/obj.dir/Saturation/SymElOutput.cpp.o.d -o CMakeFiles/obj.dir/Saturation/SymElOutput.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/SymElOutput.cpp [ 58% 202/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Debug/TimeProfiling.cpp.o -MF CMakeFiles/obj.dir/Debug/TimeProfiling.cpp.o.d -o CMakeFiles/obj.dir/Debug/TimeProfiling.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Debug/TimeProfiling.cpp [ 59% 203/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/DistinctProcessor.cpp.o -MF CMakeFiles/obj.dir/Shell/DistinctProcessor.cpp.o.d -o CMakeFiles/obj.dir/Shell/DistinctProcessor.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/DistinctProcessor.cpp [ 59% 204/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/CNF.cpp.o -MF CMakeFiles/obj.dir/Shell/CNF.cpp.o.d -o CMakeFiles/obj.dir/Shell/CNF.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/CNF.cpp [ 60% 205/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/URResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/URResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/URResolution.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/URResolution.cpp [ 60% 206/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/DP/SimpleCongruenceClosure.cpp.o -MF CMakeFiles/obj.dir/DP/SimpleCongruenceClosure.cpp.o.d -o CMakeFiles/obj.dir/DP/SimpleCongruenceClosure.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/DP/SimpleCongruenceClosure.cpp [ 61% 207/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/ClauseContainer.cpp.o -MF CMakeFiles/obj.dir/Saturation/ClauseContainer.cpp.o.d -o CMakeFiles/obj.dir/Saturation/ClauseContainer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/ClauseContainer.cpp [ 61% 208/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/LispLexer.cpp.o -MF CMakeFiles/obj.dir/Shell/LispLexer.cpp.o.d -o CMakeFiles/obj.dir/Shell/LispLexer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/LispLexer.cpp [ 61% 209/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/DistinctGroupExpansion.cpp.o -MF CMakeFiles/obj.dir/Shell/DistinctGroupExpansion.cpp.o.d -o CMakeFiles/obj.dir/Shell/DistinctGroupExpansion.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/DistinctGroupExpansion.cpp [ 62% 210/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/TermAlgebraReasoning.cpp.o -MF CMakeFiles/obj.dir/Inferences/TermAlgebraReasoning.cpp.o.d -o CMakeFiles/obj.dir/Inferences/TermAlgebraReasoning.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/TermAlgebraReasoning.cpp [ 62% 211/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/PredicateSplitPassiveClauseContainer.cpp.o -MF CMakeFiles/obj.dir/Saturation/PredicateSplitPassiveClauseContainer.cpp.o.d -o CMakeFiles/obj.dir/Saturation/PredicateSplitPassiveClauseContainer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/PredicateSplitPassiveClauseContainer.cpp [ 63% 212/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Lexer.cpp.o -MF CMakeFiles/obj.dir/Shell/Lexer.cpp.o.d -o CMakeFiles/obj.dir/Shell/Lexer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Lexer.cpp [ 63% 213/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ForwardSubsumptionDemodulation.cpp [ 63% 214/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Superposition.cpp.o -MF CMakeFiles/obj.dir/Inferences/Superposition.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Superposition.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Superposition.cpp [ 64% 215/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/Discount.cpp.o -MF CMakeFiles/obj.dir/Saturation/Discount.cpp.o.d -o CMakeFiles/obj.dir/Saturation/Discount.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/Discount.cpp [ 64% 216/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/LRS.cpp.o -MF CMakeFiles/obj.dir/Saturation/LRS.cpp.o.d -o CMakeFiles/obj.dir/Saturation/LRS.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/LRS.cpp [ 65% 217/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/LabelFinder.cpp.o -MF CMakeFiles/obj.dir/Saturation/LabelFinder.cpp.o.d -o CMakeFiles/obj.dir/Saturation/LabelFinder.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/LabelFinder.cpp [ 65% 218/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/GoalGuessing.cpp.o -MF CMakeFiles/obj.dir/Shell/GoalGuessing.cpp.o.d -o CMakeFiles/obj.dir/Shell/GoalGuessing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/GoalGuessing.cpp [ 66% 219/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/CommandLine.cpp.o -MF CMakeFiles/obj.dir/Shell/CommandLine.cpp.o.d -o CMakeFiles/obj.dir/Shell/CommandLine.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/CommandLine.cpp [ 66% 220/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Flattening.cpp.o -MF CMakeFiles/obj.dir/Shell/Flattening.cpp.o.d -o CMakeFiles/obj.dir/Shell/Flattening.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Flattening.cpp [ 66% 221/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/ConsequenceFinder.cpp.o -MF CMakeFiles/obj.dir/Saturation/ConsequenceFinder.cpp.o.d -o CMakeFiles/obj.dir/Saturation/ConsequenceFinder.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/ConsequenceFinder.cpp [ 67% 222/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/GeneralSplitting.cpp.o -MF CMakeFiles/obj.dir/Shell/GeneralSplitting.cpp.o.d -o CMakeFiles/obj.dir/Shell/GeneralSplitting.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/GeneralSplitting.cpp [ 67% 223/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/AWPassiveClauseContainer.cpp.o -MF CMakeFiles/obj.dir/Saturation/AWPassiveClauseContainer.cpp.o.d -o CMakeFiles/obj.dir/Saturation/AWPassiveClauseContainer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/AWPassiveClauseContainer.cpp [ 68% 224/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/InterpretedNormalizer.cpp.o -MF CMakeFiles/obj.dir/Shell/InterpretedNormalizer.cpp.o.d -o CMakeFiles/obj.dir/Shell/InterpretedNormalizer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/InterpretedNormalizer.cpp [ 68% 225/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/EqualityProxyMono.cpp.o -MF CMakeFiles/obj.dir/Shell/EqualityProxyMono.cpp.o.d -o CMakeFiles/obj.dir/Shell/EqualityProxyMono.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/EqualityProxyMono.cpp [ 69% 226/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/EqualityProxy.cpp.o -MF CMakeFiles/obj.dir/Shell/EqualityProxy.cpp.o.d -o CMakeFiles/obj.dir/Shell/EqualityProxy.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/EqualityProxy.cpp [ 69% 227/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/InequalitySplitting.cpp.o -MF CMakeFiles/obj.dir/Shell/InequalitySplitting.cpp.o.d -o CMakeFiles/obj.dir/Shell/InequalitySplitting.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/InequalitySplitting.cpp [ 69% 228/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/EqResWithDeletion.cpp.o -MF CMakeFiles/obj.dir/Shell/EqResWithDeletion.cpp.o.d -o CMakeFiles/obj.dir/Shell/EqResWithDeletion.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/EqResWithDeletion.cpp [ 70% 229/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/ClauseVariantIndex.cpp [ 70% 230/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/LispParser.cpp.o -MF CMakeFiles/obj.dir/Shell/LispParser.cpp.o.d -o CMakeFiles/obj.dir/Shell/LispParser.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/LispParser.cpp [ 71% 231/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Normalisation.cpp.o -MF CMakeFiles/obj.dir/Shell/Normalisation.cpp.o.d -o CMakeFiles/obj.dir/Shell/Normalisation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Normalisation.cpp [ 71% 232/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/ProvingHelper.cpp.o -MF CMakeFiles/obj.dir/Saturation/ProvingHelper.cpp.o.d -o CMakeFiles/obj.dir/Saturation/ProvingHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/ProvingHelper.cpp [ 72% 233/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/TheoryInstAndSimp.cpp.o -MF CMakeFiles/obj.dir/Inferences/TheoryInstAndSimp.cpp.o.d -o CMakeFiles/obj.dir/Inferences/TheoryInstAndSimp.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/TheoryInstAndSimp.cpp [ 72% 234/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/LiteralIndex.cpp [ 72% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Shuffling.cpp.o -MF CMakeFiles/obj.dir/Shell/Shuffling.cpp.o.d -o CMakeFiles/obj.dir/Shell/Shuffling.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Shuffling.cpp [ 73% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Minisat/utils/System.cc.o -MF CMakeFiles/obj.dir/Minisat/utils/System.cc.o.d -o CMakeFiles/obj.dir/Minisat/utils/System.cc.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Minisat/utils/System.cc [ 73% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/FunctionDefinition.cpp.o -MF CMakeFiles/obj.dir/Shell/FunctionDefinition.cpp.o.d -o CMakeFiles/obj.dir/Shell/FunctionDefinition.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/FunctionDefinition.cpp [ 74% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/Otter.cpp.o -MF CMakeFiles/obj.dir/Saturation/Otter.cpp.o.d -o CMakeFiles/obj.dir/Saturation/Otter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/Otter.cpp [ 74% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Token.cpp.o -MF CMakeFiles/obj.dir/Shell/Token.cpp.o.d -o CMakeFiles/obj.dir/Shell/Token.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Token.cpp [ 75% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/version.cpp.o -MF CMakeFiles/obj.dir/version.cpp.o.d -o CMakeFiles/obj.dir/version.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/.build/version.cpp [ 75% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/NNF.cpp.o -MF CMakeFiles/obj.dir/Shell/NNF.cpp.o.d -o CMakeFiles/obj.dir/Shell/NNF.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/NNF.cpp [ 75% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Naming.cpp.o -MF CMakeFiles/obj.dir/Shell/Naming.cpp.o.d -o CMakeFiles/obj.dir/Shell/Naming.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Naming.cpp [ 76% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/VarManager.cpp.o -MF CMakeFiles/obj.dir/Shell/VarManager.cpp.o.d -o CMakeFiles/obj.dir/Shell/VarManager.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/VarManager.cpp [ 76% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/InterpolantMinimizer.cpp.o -MF CMakeFiles/obj.dir/Shell/InterpolantMinimizer.cpp.o.d -o CMakeFiles/obj.dir/Shell/InterpolantMinimizer.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/InterpolantMinimizer.cpp [ 77% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/InstanceRedundancyHandler.cpp.o -MF CMakeFiles/obj.dir/Shell/InstanceRedundancyHandler.cpp.o.d -o CMakeFiles/obj.dir/Shell/InstanceRedundancyHandler.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/InstanceRedundancyHandler.cpp [ 77% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/PredicateDefinition.cpp.o -MF CMakeFiles/obj.dir/Shell/PredicateDefinition.cpp.o.d -o CMakeFiles/obj.dir/Shell/PredicateDefinition.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/PredicateDefinition.cpp [ 77% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SimplifyFalseTrue.cpp.o -MF CMakeFiles/obj.dir/Shell/SimplifyFalseTrue.cpp.o.d -o CMakeFiles/obj.dir/Shell/SimplifyFalseTrue.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SimplifyFalseTrue.cpp [ 78% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Rectify.cpp.o -MF CMakeFiles/obj.dir/Shell/Rectify.cpp.o.d -o CMakeFiles/obj.dir/Shell/Rectify.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Rectify.cpp [ 78% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Preprocess.cpp.o -MF CMakeFiles/obj.dir/Shell/Preprocess.cpp.o.d -o CMakeFiles/obj.dir/Shell/Preprocess.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Preprocess.cpp [ 79% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TheoryFinder.cpp.o -MF CMakeFiles/obj.dir/Shell/TheoryFinder.cpp.o.d -o CMakeFiles/obj.dir/Shell/TheoryFinder.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TheoryFinder.cpp [ 79% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/PolynomialEvaluation.cpp.o -MF CMakeFiles/obj.dir/Inferences/PolynomialEvaluation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/PolynomialEvaluation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/PolynomialEvaluation.cpp [ 80% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/LaTeX.cpp.o -MF CMakeFiles/obj.dir/Shell/LaTeX.cpp.o.d -o CMakeFiles/obj.dir/Shell/LaTeX.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/LaTeX.cpp [ 80% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Interpolants.cpp.o -MF CMakeFiles/obj.dir/Shell/Interpolants.cpp.o.d -o CMakeFiles/obj.dir/Shell/Interpolants.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Interpolants.cpp [ 80% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SymCounter.cpp.o -MF CMakeFiles/obj.dir/Shell/SymCounter.cpp.o.d -o CMakeFiles/obj.dir/Shell/SymCounter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SymCounter.cpp [ 81% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Minisat/utils/Options.cc.o -MF CMakeFiles/obj.dir/Minisat/utils/Options.cc.o.d -o CMakeFiles/obj.dir/Minisat/utils/Options.cc.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Minisat/utils/Options.cc [ 81% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Skolem.cpp.o -MF CMakeFiles/obj.dir/Shell/Skolem.cpp.o.d -o CMakeFiles/obj.dir/Shell/Skolem.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Skolem.cpp [ 82% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SineUtils.cpp.o -MF CMakeFiles/obj.dir/Shell/SineUtils.cpp.o.d -o CMakeFiles/obj.dir/Shell/SineUtils.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SineUtils.cpp [ 82% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/NewCNF.cpp.o -MF CMakeFiles/obj.dir/Shell/NewCNF.cpp.o.d -o CMakeFiles/obj.dir/Shell/NewCNF.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/NewCNF.cpp [ 83% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Property.cpp.o -MF CMakeFiles/obj.dir/Shell/Property.cpp.o.d -o CMakeFiles/obj.dir/Shell/Property.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Property.cpp [ 83% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/FOOLElimination.cpp.o -MF CMakeFiles/obj.dir/Shell/FOOLElimination.cpp.o.d -o CMakeFiles/obj.dir/Shell/FOOLElimination.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/FOOLElimination.cpp [ 83% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SymbolDefinitionInlining.cpp.o -MF CMakeFiles/obj.dir/Shell/SymbolDefinitionInlining.cpp.o.d -o CMakeFiles/obj.dir/Shell/SymbolDefinitionInlining.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SymbolDefinitionInlining.cpp [ 84% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TweeGoalTransformation.cpp.o -MF CMakeFiles/obj.dir/Shell/TweeGoalTransformation.cpp.o.d -o CMakeFiles/obj.dir/Shell/TweeGoalTransformation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TweeGoalTransformation.cpp [ 84% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TheoryFlattening.cpp.o -MF CMakeFiles/obj.dir/Shell/TheoryFlattening.cpp.o.d -o CMakeFiles/obj.dir/Shell/TheoryFlattening.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TheoryFlattening.cpp [ 85% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/SaturationAlgorithm.cpp.o -MF CMakeFiles/obj.dir/Saturation/SaturationAlgorithm.cpp.o.d -o CMakeFiles/obj.dir/Saturation/SaturationAlgorithm.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/SaturationAlgorithm.cpp [ 85% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SubexpressionIterator.cpp.o -MF CMakeFiles/obj.dir/Shell/SubexpressionIterator.cpp.o.d -o CMakeFiles/obj.dir/Shell/SubexpressionIterator.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SubexpressionIterator.cpp [ 86% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/SymbolOccurrenceReplacement.cpp.o -MF CMakeFiles/obj.dir/Shell/SymbolOccurrenceReplacement.cpp.o.d -o CMakeFiles/obj.dir/Shell/SymbolOccurrenceReplacement.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/SymbolOccurrenceReplacement.cpp [ 86% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/Z3Interfacing.cpp.o -MF CMakeFiles/obj.dir/SAT/Z3Interfacing.cpp.o.d -o CMakeFiles/obj.dir/SAT/Z3Interfacing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/Z3Interfacing.cpp [ 86% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TermAlgebra.cpp.o -MF CMakeFiles/obj.dir/Shell/TermAlgebra.cpp.o.d -o CMakeFiles/obj.dir/Shell/TermAlgebra.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TermAlgebra.cpp [ 87% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TheoryAxioms.cpp.o -MF CMakeFiles/obj.dir/Shell/TheoryAxioms.cpp.o.d -o CMakeFiles/obj.dir/Shell/TheoryAxioms.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TheoryAxioms.cpp [ 87% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ArithmeticSubtermGeneralization.cpp.o -MF CMakeFiles/obj.dir/Inferences/ArithmeticSubtermGeneralization.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ArithmeticSubtermGeneralization.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ArithmeticSubtermGeneralization.cpp [ 88% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Minisat/core/Solver.cc.o -MF CMakeFiles/obj.dir/Minisat/core/Solver.cc.o.d -o CMakeFiles/obj.dir/Minisat/core/Solver.cc.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Minisat/core/Solver.cc [ 88% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/Induction.cpp.o -MF CMakeFiles/obj.dir/Inferences/Induction.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Induction.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/Induction.cpp [ 88% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/FunctionDefinitionHandler.cpp.o -MF CMakeFiles/obj.dir/Shell/FunctionDefinitionHandler.cpp.o.d -o CMakeFiles/obj.dir/Shell/FunctionDefinitionHandler.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/FunctionDefinitionHandler.cpp [ 89% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Minisat/simp/SimpSolver.cc.o -MF CMakeFiles/obj.dir/Minisat/simp/SimpSolver.cc.o.d -o CMakeFiles/obj.dir/Minisat/simp/SimpSolver.cc.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Minisat/simp/SimpSolver.cc [ 89% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Saturation/Splitter.cpp.o -MF CMakeFiles/obj.dir/Saturation/Splitter.cpp.o.d -o CMakeFiles/obj.dir/Saturation/Splitter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Saturation/Splitter.cpp [ 90% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/BlockedClauseElimination.cpp.o -MF CMakeFiles/obj.dir/Shell/BlockedClauseElimination.cpp.o.d -o CMakeFiles/obj.dir/Shell/BlockedClauseElimination.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/BlockedClauseElimination.cpp [ 90% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Statistics.cpp.o -MF CMakeFiles/obj.dir/Shell/Statistics.cpp.o.d -o CMakeFiles/obj.dir/Shell/Statistics.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Statistics.cpp [ 91% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/ClauseFlattening.cpp.o -MF CMakeFiles/obj.dir/FMB/ClauseFlattening.cpp.o.d -o CMakeFiles/obj.dir/FMB/ClauseFlattening.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/ClauseFlattening.cpp [ 91% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/MinisatInterfacingNewSimp.cpp.o -MF CMakeFiles/obj.dir/SAT/MinisatInterfacingNewSimp.cpp.o.d -o CMakeFiles/obj.dir/SAT/MinisatInterfacingNewSimp.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/MinisatInterfacingNewSimp.cpp [ 91% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/Z3MainLoop.cpp.o -MF CMakeFiles/obj.dir/SAT/Z3MainLoop.cpp.o.d -o CMakeFiles/obj.dir/SAT/Z3MainLoop.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/Z3MainLoop.cpp [ 92% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/SAT/MinisatInterfacing.cpp.o -MF CMakeFiles/obj.dir/SAT/MinisatInterfacing.cpp.o.d -o CMakeFiles/obj.dir/SAT/MinisatInterfacing.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/SAT/MinisatInterfacing.cpp [ 92% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/TPTPPrinter.cpp.o -MF CMakeFiles/obj.dir/Shell/TPTPPrinter.cpp.o.d -o CMakeFiles/obj.dir/Shell/TPTPPrinter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/TPTPPrinter.cpp [ 93% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/FiniteModel.cpp.o -MF CMakeFiles/obj.dir/FMB/FiniteModel.cpp.o.d -o CMakeFiles/obj.dir/FMB/FiniteModel.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/FiniteModel.cpp [ 93% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/Monotonicity.cpp.o -MF CMakeFiles/obj.dir/FMB/Monotonicity.cpp.o.d -o CMakeFiles/obj.dir/FMB/Monotonicity.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/Monotonicity.cpp [ 94% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/SortInference.cpp.o -MF CMakeFiles/obj.dir/FMB/SortInference.cpp.o.d -o CMakeFiles/obj.dir/FMB/SortInference.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/SortInference.cpp [ 94% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/UIHelper.cpp.o -MF CMakeFiles/obj.dir/Shell/UIHelper.cpp.o.d -o CMakeFiles/obj.dir/Shell/UIHelper.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/UIHelper.cpp [ 94% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/FiniteModelMultiSorted.cpp.o -MF CMakeFiles/obj.dir/FMB/FiniteModelMultiSorted.cpp.o.d -o CMakeFiles/obj.dir/FMB/FiniteModelMultiSorted.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/FiniteModelMultiSorted.cpp [ 95% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Inferences/ForwardDemodulation.cpp [ 95% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/vampire.dir/vampire.cpp.o -MF CMakeFiles/vampire.dir/vampire.cpp.o.d -o CMakeFiles/vampire.dir/vampire.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/vampire.cpp [ 96% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Parse/TPTP.cpp.o -MF CMakeFiles/obj.dir/Parse/TPTP.cpp.o.d -o CMakeFiles/obj.dir/Parse/TPTP.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Parse/TPTP.cpp [ 96% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/FiniteModelBuilder.cpp.o -MF CMakeFiles/obj.dir/FMB/FiniteModelBuilder.cpp.o.d -o CMakeFiles/obj.dir/FMB/FiniteModelBuilder.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/FiniteModelBuilder.cpp [ 97% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Parse/SMTLIB2.cpp.o -MF CMakeFiles/obj.dir/Parse/SMTLIB2.cpp.o.d -o CMakeFiles/obj.dir/Parse/SMTLIB2.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Parse/SMTLIB2.cpp [ 97% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/CASC/Schedules.cpp.o -MF CMakeFiles/obj.dir/CASC/Schedules.cpp.o.d -o CMakeFiles/obj.dir/CASC/Schedules.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/CASC/Schedules.cpp [ 97% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/AnswerExtractor.cpp.o -MF CMakeFiles/obj.dir/Shell/AnswerExtractor.cpp.o.d -o CMakeFiles/obj.dir/Shell/AnswerExtractor.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/AnswerExtractor.cpp [ 98% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o -MF CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o.d -o CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Indexing/IndexManager.cpp [ 98% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/Shell/Options.cpp.o -MF CMakeFiles/obj.dir/Shell/Options.cpp.o.d -o CMakeFiles/obj.dir/Shell/Options.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/Shell/Options.cpp [ 99% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o -MF CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o.d -o CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/CASC/PortfolioMode.cpp [ 99% 235/236] /usr/local/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVTIME_PROFILING=0 -DVZ3=1 -I/wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024 -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -pthread -MD -MT CMakeFiles/obj.dir/FMB/FunctionRelationshipInference.cpp.o -MF CMakeFiles/obj.dir/FMB/FunctionRelationshipInference.cpp.o.d -o CMakeFiles/obj.dir/FMB/FunctionRelationshipInference.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-4.9casc2024/FMB/FunctionRelationshipInference.cpp [100% 236/236] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -lexecinfo -no-pie -Xlinker --dependency-file=CMakeFiles/vampire.dir/link.d CMakeFiles/obj.dir/Debug/Assertion.cpp.o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o CMakeFiles/obj.dir/Debug/Tracer.cpp.o CMakeFiles/obj.dir/Lib/Allocator.cpp.o CMakeFiles/obj.dir/Lib/DHMap.cpp.o CMakeFiles/obj.dir/Lib/Environment.cpp.o CMakeFiles/obj.dir/Lib/Event.cpp.o CMakeFiles/obj.dir/Lib/Exception.cpp.o CMakeFiles/obj.dir/Lib/Int.cpp.o CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o CMakeFiles/obj.dir/Lib/NameArray.cpp.o CMakeFiles/obj.dir/Lib/Random.cpp.o CMakeFiles/obj.dir/Lib/StringUtils.cpp.o CMakeFiles/obj.dir/Lib/System.cpp.o CMakeFiles/obj.dir/Lib/Timer.cpp.o CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o CMakeFiles/obj.dir/Kernel/Clause.cpp.o CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o CMakeFiles/obj.dir/Kernel/Formula.cpp.o CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o CMakeFiles/obj.dir/Kernel/Grounder.cpp.o CMakeFiles/obj.dir/Kernel/Inference.cpp.o CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o CMakeFiles/obj.dir/Kernel/KBO.cpp.o CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o CMakeFiles/obj.dir/Kernel/Matcher.cpp.o CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o CMakeFiles/obj.dir/Kernel/Ordering.cpp.o CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o CMakeFiles/obj.dir/Kernel/Problem.cpp.o CMakeFiles/obj.dir/Kernel/Renaming.cpp.o CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o CMakeFiles/obj.dir/Kernel/Signature.cpp.o CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o CMakeFiles/obj.dir/Kernel/Substitution.cpp.o CMakeFiles/obj.dir/Kernel/Term.cpp.o CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o CMakeFiles/obj.dir/Kernel/Theory.cpp.o CMakeFiles/obj.dir/Kernel/Unit.cpp.o CMakeFiles/obj.dir/Kernel/LPO.cpp.o CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o CMakeFiles/obj.dir/Inferences/Narrow.cpp.o CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o CMakeFiles/obj.dir/Inferences/Choice.cpp.o CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o CMakeFiles/obj.dir/Inferences/Cases.cpp.o CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o CMakeFiles/obj.dir/Indexing/Index.cpp.o CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o CMakeFiles/obj.dir/Inferences/Condensation.cpp.o CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o CMakeFiles/obj.dir/Inferences/Factoring.cpp.o CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o CMakeFiles/obj.dir/Inferences/InnerRewriting.cpp.o CMakeFiles/obj.dir/Inferences/EquationalTautologyRemoval.cpp.o CMakeFiles/obj.dir/Inferences/Induction.cpp.o CMakeFiles/obj.dir/Inferences/InductionHelper.cpp.o CMakeFiles/obj.dir/Inferences/InferenceEngine.cpp.o CMakeFiles/obj.dir/Inferences/Instantiation.cpp.o CMakeFiles/obj.dir/Inferences/InterpretedEvaluation.cpp.o CMakeFiles/obj.dir/Inferences/InvalidAnswerLiteralRemoval.cpp.o CMakeFiles/obj.dir/Inferences/PushUnaryMinus.cpp.o CMakeFiles/obj.dir/Inferences/Cancellation.cpp.o CMakeFiles/obj.dir/Inferences/ArithmeticSubtermGeneralization.cpp.o CMakeFiles/obj.dir/Kernel/NumTraits.cpp.o CMakeFiles/obj.dir/Inferences/GaussianVariableElimination.cpp.o CMakeFiles/obj.dir/Kernel/Rebalancing/Inverters.cpp.o CMakeFiles/obj.dir/Inferences/SLQueryBackwardSubsumption.cpp.o CMakeFiles/obj.dir/Inferences/Superposition.cpp.o CMakeFiles/obj.dir/Inferences/TautologyDeletionISE.cpp.o CMakeFiles/obj.dir/Inferences/TermAlgebraReasoning.cpp.o CMakeFiles/obj.dir/Inferences/URResolution.cpp.o CMakeFiles/obj.dir/Inferences/DefinitionIntroduction.cpp.o CMakeFiles/obj.dir/Inferences/SubsumptionDemodulationHelper.cpp.o CMakeFiles/obj.dir/Inferences/TheoryInstAndSimp.cpp.o CMakeFiles/obj.dir/Inferences/PolynomialEvaluation.cpp.o CMakeFiles/obj.dir/SAT/BufferedSolver.cpp.o CMakeFiles/obj.dir/SAT/FallbackSolverWrapper.cpp.o CMakeFiles/obj.dir/SAT/MinimizingSolver.cpp.o CMakeFiles/obj.dir/SAT/SAT2FO.cpp.o CMakeFiles/obj.dir/SAT/SATClause.cpp.o CMakeFiles/obj.dir/SAT/SATInference.cpp.o CMakeFiles/obj.dir/SAT/SATLiteral.cpp.o CMakeFiles/obj.dir/SAT/Z3Interfacing.cpp.o CMakeFiles/obj.dir/DP/ShortConflictMetaDP.cpp.o CMakeFiles/obj.dir/DP/SimpleCongruenceClosure.cpp.o CMakeFiles/obj.dir/Saturation/AWPassiveClauseContainer.cpp.o CMakeFiles/obj.dir/Saturation/ManCSPassiveClauseContainer.cpp.o CMakeFiles/obj.dir/Saturation/ClauseContainer.cpp.o CMakeFiles/obj.dir/Saturation/ConsequenceFinder.cpp.o CMakeFiles/obj.dir/Saturation/Discount.cpp.o CMakeFiles/obj.dir/Saturation/ExtensionalityClauseContainer.cpp.o CMakeFiles/obj.dir/Saturation/LabelFinder.cpp.o CMakeFiles/obj.dir/Saturation/LRS.cpp.o CMakeFiles/obj.dir/Saturation/Otter.cpp.o CMakeFiles/obj.dir/Saturation/ProvingHelper.cpp.o CMakeFiles/obj.dir/Saturation/SaturationAlgorithm.cpp.o CMakeFiles/obj.dir/Saturation/Splitter.cpp.o CMakeFiles/obj.dir/Saturation/SymElOutput.cpp.o CMakeFiles/obj.dir/Saturation/PredicateSplitPassiveClauseContainer.cpp.o CMakeFiles/obj.dir/Shell/AnswerExtractor.cpp.o CMakeFiles/obj.dir/Shell/CommandLine.cpp.o CMakeFiles/obj.dir/Shell/CNF.cpp.o CMakeFiles/obj.dir/Shell/NewCNF.cpp.o CMakeFiles/obj.dir/Shell/DistinctProcessor.cpp.o CMakeFiles/obj.dir/Shell/DistinctGroupExpansion.cpp.o CMakeFiles/obj.dir/Shell/EqResWithDeletion.cpp.o CMakeFiles/obj.dir/Shell/EqualityProxy.cpp.o CMakeFiles/obj.dir/Shell/EqualityProxyMono.cpp.o CMakeFiles/obj.dir/Shell/Flattening.cpp.o CMakeFiles/obj.dir/Shell/FunctionDefinition.cpp.o CMakeFiles/obj.dir/Shell/GeneralSplitting.cpp.o CMakeFiles/obj.dir/Shell/GoalGuessing.cpp.o CMakeFiles/obj.dir/Shell/FunctionDefinitionHandler.cpp.o CMakeFiles/obj.dir/Shell/InequalitySplitting.cpp.o CMakeFiles/obj.dir/Shell/InstanceRedundancyHandler.cpp.o CMakeFiles/obj.dir/Shell/InterpolantMinimizer.cpp.o CMakeFiles/obj.dir/Shell/Interpolants.cpp.o CMakeFiles/obj.dir/Shell/InterpretedNormalizer.cpp.o CMakeFiles/obj.dir/Shell/LaTeX.cpp.o CMakeFiles/obj.dir/Shell/Lexer.cpp.o CMakeFiles/obj.dir/Shell/LispLexer.cpp.o CMakeFiles/obj.dir/Shell/LispParser.cpp.o CMakeFiles/obj.dir/Shell/Naming.cpp.o CMakeFiles/obj.dir/Shell/NNF.cpp.o CMakeFiles/obj.dir/Shell/Normalisation.cpp.o CMakeFiles/obj.dir/Shell/Shuffling.cpp.o CMakeFiles/obj.dir/Shell/Options.cpp.o CMakeFiles/obj.dir/Shell/PredicateDefinition.cpp.o CMakeFiles/obj.dir/Shell/Preprocess.cpp.o CMakeFiles/obj.dir/Shell/Property.cpp.o CMakeFiles/obj.dir/Shell/Rectify.cpp.o CMakeFiles/obj.dir/Shell/Skolem.cpp.o CMakeFiles/obj.dir/Shell/SimplifyFalseTrue.cpp.o CMakeFiles/obj.dir/Shell/SineUtils.cpp.o CMakeFiles/obj.dir/Shell/FOOLElimination.cpp.o CMakeFiles/obj.dir/Shell/Statistics.cpp.o CMakeFiles/obj.dir/Debug/TimeProfiling.cpp.o CMakeFiles/obj.dir/Shell/SymbolDefinitionInlining.cpp.o CMakeFiles/obj.dir/Shell/SymbolOccurrenceReplacement.cpp.o CMakeFiles/obj.dir/Shell/SymCounter.cpp.o CMakeFiles/obj.dir/Shell/TermAlgebra.cpp.o CMakeFiles/obj.dir/Shell/TheoryAxioms.cpp.o CMakeFiles/obj.dir/Shell/TheoryFinder.cpp.o CMakeFiles/obj.dir/Shell/TheoryFlattening.cpp.o CMakeFiles/obj.dir/Shell/BlockedClauseElimination.cpp.o CMakeFiles/obj.dir/Shell/Token.cpp.o CMakeFiles/obj.dir/Shell/TPTPPrinter.cpp.o CMakeFiles/obj.dir/Shell/TweeGoalTransformation.cpp.o CMakeFiles/obj.dir/Shell/UIHelper.cpp.o CMakeFiles/obj.dir/Shell/VarManager.cpp.o CMakeFiles/obj.dir/Shell/SubexpressionIterator.cpp.o CMakeFiles/obj.dir/Parse/SMTLIB2.cpp.o CMakeFiles/obj.dir/Parse/TPTP.cpp.o CMakeFiles/obj.dir/FMB/ClauseFlattening.cpp.o CMakeFiles/obj.dir/FMB/FiniteModel.cpp.o CMakeFiles/obj.dir/FMB/FiniteModelBuilder.cpp.o CMakeFiles/obj.dir/FMB/FiniteModelMultiSorted.cpp.o CMakeFiles/obj.dir/FMB/FunctionRelationshipInference.cpp.o CMakeFiles/obj.dir/FMB/Monotonicity.cpp.o CMakeFiles/obj.dir/FMB/SortInference.cpp.o CMakeFiles/obj.dir/SAT/Z3MainLoop.cpp.o CMakeFiles/obj.dir/Minisat/core/Solver.cc.o CMakeFiles/obj.dir/Minisat/simp/SimpSolver.cc.o CMakeFiles/obj.dir/Minisat/utils/Options.cc.o CMakeFiles/obj.dir/Minisat/utils/System.cc.o CMakeFiles/obj.dir/SAT/MinisatInterfacing.cpp.o CMakeFiles/obj.dir/SAT/MinisatInterfacingNewSimp.cpp.o CMakeFiles/obj.dir/CASC/PortfolioMode.cpp.o CMakeFiles/obj.dir/CASC/Schedules.cpp.o CMakeFiles/obj.dir/version.cpp.o CMakeFiles/vampire.dir/vampire.cpp.o -o bin/vampire_z3_rel -Wl,-rpath,/usr/local/lib /usr/local/lib/libz3.so.4.16.0.0 -pthread && : c++: warning: argument unused during compilation: '-no-pie' [-Wunused-command-line-argument] =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for vampire-4.9.c2024_2 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/vampire/work/.build/bin/vampire* /wrkdirs/usr/ports/math/vampire/work/stage/usr/local/bin/vampire ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-03-17T00:31:51+0000' 'PKG_NOTE_ports_top_git_hash=8c988f802ea2' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=4802819042c3' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for vampire-4.9.c2024_2 ===> Building vampire-4.9.c2024_2 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for vampire-4.9.c2024_2 build of math/vampire | vampire-4.9.c2024_2 ended at Mon Mar 16 20:33:04 EDT 2026 build time: 00:01:14