=>> Building math/vampire build started at Thu Apr 4 20:09:32 BST 2024 port directory: /usr/ports/math/vampire package name: vampire-4.8 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 843 Feb 8 11:33 /usr/ports/math/vampire/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: 6af0381cd8 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 04 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 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.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/04/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 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=/ccache/libexec/ccache:/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 CCACHE_DIR="/root/.ccache" --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=/ccache/libexec/ccache:/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=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" 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=13.2 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--- 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 #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---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 --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.8 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> vampire-4.8 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of vampire-4.8 =========================================================================== =================================================== ===== 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.8 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by vampire-4.8 for building => SHA256 Checksum OK for vprover-vampire-vHO4.8_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.8 for building ===> Extracting for vampire-4.8 => SHA256 Checksum OK for vprover-vampire-vHO4.8_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.8 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> vampire-4.8 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.28.3.pkg [pkg-builder.dan.net.uk] Installing cmake-core-3.28.3... [pkg-builder.dan.net.uk] `-- Installing expat-2.6.1... [pkg-builder.dan.net.uk] `-- Extracting expat-2.6.1: .......... done [pkg-builder.dan.net.uk] `-- Installing jsoncpp-1.9.5... [pkg-builder.dan.net.uk] `-- Extracting jsoncpp-1.9.5: .......... done [pkg-builder.dan.net.uk] `-- Installing libuv-1.48.0... [pkg-builder.dan.net.uk] `-- Extracting libuv-1.48.0: .......... done [pkg-builder.dan.net.uk] `-- Installing openssl-3.0.13_1,1... [pkg-builder.dan.net.uk] `-- Extracting openssl-3.0.13_1,1: .......... done [pkg-builder.dan.net.uk] `-- Installing rhash-1.4.4_1... [pkg-builder.dan.net.uk] | `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] | `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] `-- Extracting rhash-1.4.4_1: .......... done [pkg-builder.dan.net.uk] Extracting cmake-core-3.28.3: .......... done ===> vampire-4.8 depends on file: /usr/local/bin/cmake - found ===> Returning to build of vampire-4.8 ===> vampire-4.8 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.11.1,2.pkg [pkg-builder.dan.net.uk] Installing ninja-1.11.1,2... [pkg-builder.dan.net.uk] `-- Installing python39-3.9.18_1... [pkg-builder.dan.net.uk] | `-- Installing libffi-3.4.4_1... [pkg-builder.dan.net.uk] | `-- Extracting libffi-3.4.4_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing mpdecimal-2.5.1... [pkg-builder.dan.net.uk] | `-- Extracting mpdecimal-2.5.1: .......... done [pkg-builder.dan.net.uk] | `-- Installing readline-8.2.10... [pkg-builder.dan.net.uk] | `-- Extracting readline-8.2.10: .......... done [pkg-builder.dan.net.uk] `-- Extracting python39-3.9.18_1: .......... done [pkg-builder.dan.net.uk] Extracting ninja-1.11.1,2: ..... done ===== Message from python39-3.9.18_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 ===> vampire-4.8 depends on executable: ninja - found ===> Returning to build of vampire-4.8 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for vampire-4.8 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/vampire/work/.build -- The C compiler identification is Clang 14.0.5 -- The CXX compiler identification is Clang 14.0.5 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /ccache/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: /ccache/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- IPO supported -- Building with HOL support -- Could NOT find Z3 (missing: Z3_DIR) -- No Z3 found -- Compiling without SMT support. -- Setting binary name to 'vampire_rel' -- Configuring done (3.0s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_COLOR_MAKEFILE CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED THREADS_HAVE_PTHREAD_ARG -- 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.8 [ 0% 1/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Debug/Assertion.cpp [ 0% 2/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Debug/RuntimeStatistics.cpp [ 1% 3/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Debug/Tracer.cpp [ 1% 4/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Allocator.cpp [ 2% 5/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/DHMap.cpp [ 2% 6/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Environment.cpp [ 2% 7/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Event.cpp [ 3% 8/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Exception.cpp [ 3% 9/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Int.cpp [ 4% 10/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/IntNameTable.cpp [ 4% 11/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/IntUnionFind.cpp [ 4% 12/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o -MF CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o.d -o CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Lib/MemoryLeak.cpp [ 5% 13/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -MF CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o.d -o CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Lib/MultiCounter.cpp [ 5% 14/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/NameArray.cpp [ 6% 15/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Random.cpp [ 6% 16/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/StringUtils.cpp [ 6% 17/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/System.cpp [ 7% 18/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Timer.cpp [ 7% 19/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Lib/Sys/Multiprocessing.cpp [ 8% 20/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Sys/Semaphore.cpp.o -MF CMakeFiles/obj.dir/Lib/Sys/Semaphore.cpp.o.d -o CMakeFiles/obj.dir/Lib/Sys/Semaphore.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Lib/Sys/Semaphore.cpp [ 8% 21/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Sys/SyncPipe.cpp.o -MF CMakeFiles/obj.dir/Lib/Sys/SyncPipe.cpp.o.d -o CMakeFiles/obj.dir/Lib/Sys/SyncPipe.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Lib/Sys/SyncPipe.cpp [ 8% 22/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Clause.cpp [ 9% 23/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/ClauseQueue.cpp [ 9% 24/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/ColorHelper.cpp [ 10% 25/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/ELiteralSelector.cpp [ 10% 26/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/EqHelper.cpp [ 10% 27/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/FlatTerm.cpp [ 11% 28/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Formula.cpp [ 11% 29/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/FormulaTransformer.cpp [ 12% 30/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/FormulaUnit.cpp [ 12% 31/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/FormulaVarIterator.cpp [ 12% 32/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Grounder.cpp [ 13% 33/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Inference.cpp [ 13% 34/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/InferenceStore.cpp [ 14% 35/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/InterpretedLiteralEvaluator.cpp [ 14% 36/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Rebalancing.cpp [ 14% 37/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/KBO.cpp [ 15% 38/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Kernel/KBOForEPR.cpp.o -MF CMakeFiles/obj.dir/Kernel/KBOForEPR.cpp.o.d -o CMakeFiles/obj.dir/Kernel/KBOForEPR.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/KBOForEPR.cpp [ 15% 39/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/LiteralSelector.cpp [ 16% 40/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/LookaheadLiteralSelector.cpp [ 16% 41/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/MainLoop.cpp [ 17% 42/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Matcher.cpp [ 17% 43/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/MaximalLiteralSelector.cpp [ 17% 44/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/MLMatcher.cpp [ 18% 45/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/MLMatcherSD.cpp [ 18% 46/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/MLVariant.cpp [ 19% 47/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Ordering.cpp [ 19% 48/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Ordering_Equality.cpp [ 19% 49/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Problem.cpp [ 20% 50/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Renaming.cpp [ 20% 51/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/RobSubstitution.cpp [ 21% 52/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Kernel/HOLUnification.cpp.o -MF CMakeFiles/obj.dir/Kernel/HOLUnification.cpp.o.d -o CMakeFiles/obj.dir/Kernel/HOLUnification.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/HOLUnification.cpp /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/HOLUnification.cpp:578:40: warning: mixture of designated and non-designated initializers in the same initializer list is a C99 extension [-Wc99-designator] todo->push(TermListFP { args[i], .underFlex = argsUnderFlex, .depth = d, } ); ^~~~~~~~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/HOLUnification.cpp:578:31: note: first non-designated initializer is here todo->push(TermListFP { args[i], .underFlex = argsUnderFlex, .depth = d, } ); ^~~~~~~ 1 warning generated. [ 21% 53/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Kernel/HOLMatching.cpp.o -MF CMakeFiles/obj.dir/Kernel/HOLMatching.cpp.o.d -o CMakeFiles/obj.dir/Kernel/HOLMatching.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/HOLMatching.cpp [ 21% 54/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Kernel/MismatchHandler.cpp.o -MF CMakeFiles/obj.dir/Kernel/MismatchHandler.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MismatchHandler.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Kernel/MismatchHandler.cpp [ 22% 55/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Signature.cpp [ 22% 56/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/SortHelper.cpp [ 23% 57/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/OperatorType.cpp [ 23% 58/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/SpassLiteralSelector.cpp [ 23% 59/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/RndLiteralSelector.cpp [ 24% 60/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/SubformulaIterator.cpp [ 24% 61/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Substitution.cpp [ 25% 62/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Term.cpp [ 25% 63/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/TermIterators.cpp [ 25% 64/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/TermTransformer.cpp [ 26% 65/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Theory.cpp [ 26% 66/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Unit.cpp [ 27% 67/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/LPO.cpp [ 27% 68/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Polynomial.cpp [ 27% 69/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/PolynomialNormalizer.cpp [ 28% 70/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/ApplicativeHelper.cpp [ 28% 71/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/CNFOnTheFly.cpp [ 29% 72/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Inferences/BetaEtaISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/BetaEtaISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BetaEtaISE.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/BetaEtaISE.cpp [ 29% 73/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Inferences/FlexFlexSimplify.cpp.o -MF CMakeFiles/obj.dir/Inferences/FlexFlexSimplify.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FlexFlexSimplify.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/FlexFlexSimplify.cpp [ 29% 74/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Inferences/ImitateProject.cpp.o -MF CMakeFiles/obj.dir/Inferences/ImitateProject.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ImitateProject.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/ImitateProject.cpp [ 30% 75/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ArgCong.cpp [ 30% 76/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/NegativeExt.cpp [ 31% 77/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Inferences/PositiveExt.cpp.o -MF CMakeFiles/obj.dir/Inferences/PositiveExt.cpp.o.d -o CMakeFiles/obj.dir/Inferences/PositiveExt.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/PositiveExt.cpp [ 31% 78/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BoolEqToDiseq.cpp [ 31% 79/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/PrimitiveInstantiation.cpp [ 32% 80/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ElimLeibniz.cpp [ 32% 81/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Choice.cpp [ 33% 82/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Injectivity.cpp [ 33% 83/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BoolSimp.cpp [ 34% 84/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/CasesSimp.cpp [ 34% 85/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Cases.cpp [ 34% 86/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Shell/LambdaConversion.cpp.o -MF CMakeFiles/obj.dir/Shell/LambdaConversion.cpp.o.d -o CMakeFiles/obj.dir/Shell/LambdaConversion.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Shell/LambdaConversion.cpp [ 35% 87/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/AcyclicityIndex.cpp [ 35% 88/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/ClauseCodeTree.cpp [ 36% 89/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/ClauseVariantIndex.cpp [ 36% 90/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/CodeTree.cpp [ 36% 91/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/CodeTreeInterfaces.cpp [ 37% 92/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/GroundingIndex.cpp [ 37% 93/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/Index.cpp [ 38% 94/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/IndexManager.cpp [ 38% 95/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/InductionFormulaIndex.cpp [ 38% 96/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/LiteralIndex.cpp [ 39% 97/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/LiteralMiniIndex.cpp [ 39% 98/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/LiteralSubstitutionTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/LiteralSubstitutionTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/LiteralSubstitutionTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/LiteralSubstitutionTree.cpp [ 40% 99/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/ResultSubstitution.cpp [ 40% 100/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/SubstitutionTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/SubstitutionTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/SubstitutionTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/SubstitutionTree.cpp [ 40% 101/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/HOLSubstitutionTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/HOLSubstitutionTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/HOLSubstitutionTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/HOLSubstitutionTree.cpp [ 41% 102/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastGen.cpp.o -MF CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastGen.cpp.o.d -o CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastGen.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/SubstitutionTree_FastGen.cpp [ 41% 103/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastInst.cpp.o -MF CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastInst.cpp.o.d -o CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastInst.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/SubstitutionTree_FastInst.cpp [ 42% 104/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/SubstitutionTree_Nodes.cpp.o -MF CMakeFiles/obj.dir/Indexing/SubstitutionTree_Nodes.cpp.o.d -o CMakeFiles/obj.dir/Indexing/SubstitutionTree_Nodes.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/SubstitutionTree_Nodes.cpp [ 42% 105/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/TermCodeTree.cpp [ 42% 106/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/TermIndex.cpp [ 43% 107/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Indexing/TermSharing.cpp [ 43% 108/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Indexing/TermSubstitutionTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermSubstitutionTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermSubstitutionTree.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Indexing/TermSubstitutionTree.cpp [ 44% 109/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BackwardDemodulation.cpp [ 44% 110/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BackwardSubsumptionDemodulation.cpp [ 44% 111/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BackwardSubsumptionResolution.cpp [ 45% 112/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/BinaryResolution.cpp [ 45% 113/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Condensation.cpp [ 46% 114/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/DistinctEqualitySimplifier.cpp [ 46% 115/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/EqualityFactoring.cpp [ 46% 116/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/EqualityResolution.cpp [ 47% 117/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ExtensionalityResolution.cpp [ 47% 118/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Factoring.cpp [ 48% 119/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/FastCondensation.cpp [ 48% 120/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/FOOLParamodulation.cpp [ 48% 121/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ForwardDemodulation.cpp [ 49% 122/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ForwardLiteralRewriting.cpp [ 49% 123/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ForwardSubsumptionAndResolution.cpp [ 50% 124/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ForwardSubsumptionDemodulation.cpp [ 50% 125/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/GlobalSubsumption.cpp [ 51% 126/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Inferences/HyperSuperposition.cpp.o -MF CMakeFiles/obj.dir/Inferences/HyperSuperposition.cpp.o.d -o CMakeFiles/obj.dir/Inferences/HyperSuperposition.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/HyperSuperposition.cpp [ 51% 127/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/InnerRewriting.cpp [ 51% 128/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/EquationalTautologyRemoval.cpp [ 52% 129/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Induction.cpp [ 52% 130/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/InductionHelper.cpp [ 53% 131/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/InferenceEngine.cpp [ 53% 132/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Instantiation.cpp [ 53% 133/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/InterpretedEvaluation.cpp [ 54% 134/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/PushUnaryMinus.cpp [ 54% 135/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Cancellation.cpp [ 55% 136/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/ArithmeticSubtermGeneralization.cpp /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Inferences/ArithmeticSubtermGeneralization.cpp:84:8: warning: variable 'anyChange' set but not used [-Wunused-but-set-variable] bool anyChange = false; ^ 1 warning generated. [ 55% 137/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/NumTraits.cpp [ 55% 138/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/GaussianVariableElimination.cpp [ 56% 139/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Kernel/Rebalancing/Inverters.cpp [ 56% 140/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/SLQueryBackwardSubsumption.cpp [ 57% 141/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/Superposition.cpp [ 57% 142/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/TautologyDeletionISE.cpp [ 57% 143/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/TermAlgebraReasoning.cpp [ 58% 144/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/URResolution.cpp [ 58% 145/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/SubsumptionDemodulationHelper.cpp [ 59% 146/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/TheoryInstAndSimp.cpp [ 59% 147/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Inferences/PolynomialEvaluation.cpp [ 59% 148/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/InstGen/IGAlgorithm.cpp.o -MF CMakeFiles/obj.dir/InstGen/IGAlgorithm.cpp.o.d -o CMakeFiles/obj.dir/InstGen/IGAlgorithm.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/InstGen/IGAlgorithm.cpp [ 60% 149/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/InstGen/ModelPrinter.cpp.o -MF CMakeFiles/obj.dir/InstGen/ModelPrinter.cpp.o.d -o CMakeFiles/obj.dir/InstGen/ModelPrinter.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/InstGen/ModelPrinter.cpp [ 60% 150/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/BufferedSolver.cpp [ 61% 151/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/FallbackSolverWrapper.cpp [ 61% 152/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/MinimizingSolver.cpp [ 61% 153/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/SAT2FO.cpp [ 62% 154/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/SATClause.cpp [ 62% 155/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/SATInference.cpp [ 63% 156/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/SATLiteral.cpp [ 63% 157/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/Z3Interfacing.cpp [ 63% 158/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/DP/ShortConflictMetaDP.cpp [ 64% 159/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/DP/SimpleCongruenceClosure.cpp [ 64% 160/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/AWPassiveClauseContainer.cpp [ 65% 161/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/ManCSPassiveClauseContainer.cpp [ 65% 162/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/ClauseContainer.cpp [ 65% 163/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/ConsequenceFinder.cpp [ 66% 164/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/Discount.cpp [ 66% 165/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/ExtensionalityClauseContainer.cpp [ 67% 166/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/LabelFinder.cpp [ 67% 167/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/LRS.cpp [ 68% 168/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/Otter.cpp [ 68% 169/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/ProvingHelper.cpp [ 68% 170/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/SaturationAlgorithm.cpp [ 69% 171/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/Splitter.cpp [ 69% 172/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/SymElOutput.cpp [ 70% 173/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Saturation/PredicateSplitPassiveClauseContainer.cpp [ 70% 174/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/AnswerExtractor.cpp [ 70% 175/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/CommandLine.cpp [ 71% 176/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/CNF.cpp [ 71% 177/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/NewCNF.cpp [ 72% 178/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Shell/NameReuse.cpp.o -MF CMakeFiles/obj.dir/Shell/NameReuse.cpp.o.d -o CMakeFiles/obj.dir/Shell/NameReuse.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/Shell/NameReuse.cpp [ 72% 179/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/DistinctProcessor.cpp [ 72% 180/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/DistinctGroupExpansion.cpp [ 73% 181/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/EqResWithDeletion.cpp [ 73% 182/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/EqualityProxy.cpp [ 74% 183/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/EqualityProxyMono.cpp [ 74% 184/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Flattening.cpp [ 74% 185/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/FunctionDefinition.cpp [ 75% 186/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/GeneralSplitting.cpp [ 75% 187/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/GoalGuessing.cpp [ 76% 188/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/InequalitySplitting.cpp [ 76% 189/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/InterpolantMinimizer.cpp [ 76% 190/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Interpolants.cpp [ 77% 191/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/InterpretedNormalizer.cpp [ 77% 192/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/LaTeX.cpp [ 78% 193/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Lexer.cpp [ 78% 194/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/LispLexer.cpp [ 78% 195/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/LispParser.cpp [ 79% 196/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Naming.cpp [ 79% 197/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/NNF.cpp [ 80% 198/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Normalisation.cpp [ 80% 199/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Shuffling.cpp [ 80% 200/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Options.cpp [ 81% 201/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/PredicateDefinition.cpp [ 81% 202/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Preprocess.cpp [ 82% 203/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Property.cpp [ 82% 204/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Rectify.cpp [ 82% 205/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Skolem.cpp [ 83% 206/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SimplifyFalseTrue.cpp [ 83% 207/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SineUtils.cpp [ 84% 208/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/FOOLElimination.cpp [ 84% 209/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Statistics.cpp [ 85% 210/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Debug/TimeProfiling.cpp [ 85% 211/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SymbolDefinitionInlining.cpp [ 85% 212/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SymbolOccurrenceReplacement.cpp [ 86% 213/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SymCounter.cpp [ 86% 214/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TermAlgebra.cpp [ 87% 215/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TheoryAxioms.cpp [ 87% 216/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TheoryFinder.cpp [ 87% 217/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TheoryFlattening.cpp [ 88% 218/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/BlockedClauseElimination.cpp [ 88% 219/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/Token.cpp [ 89% 220/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TPTPPrinter.cpp [ 89% 221/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/TweeGoalTransformation.cpp [ 89% 222/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/UIHelper.cpp [ 90% 223/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/VarManager.cpp [ 90% 224/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Shell/SubexpressionIterator.cpp [ 91% 225/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Parse/SMTLIB2.cpp [ 91% 226/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Parse/TPTP.cpp [ 91% 227/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/ClauseFlattening.cpp [ 92% 228/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/FiniteModel.cpp [ 92% 229/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/FiniteModelBuilder.cpp [ 93% 230/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/FiniteModelMultiSorted.cpp [ 93% 231/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/FunctionRelationshipInference.cpp [ 93% 232/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/Monotonicity.cpp [ 94% 233/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/FMB/SortInference.cpp [ 94% 234/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/Z3MainLoop.cpp [ 95% 235/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Minisat/core/Solver.cc [ 95% 236/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Minisat/simp/SimpSolver.cc [ 95% 237/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Minisat/utils/Options.cc [ 96% 238/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/Minisat/utils/System.cc [ 96% 239/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/MinisatInterfacing.cpp [ 97% 240/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/SAT/MinisatInterfacingNewSimp.cpp [ 97% 241/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/CASC/PortfolioMode.cpp [ 97% 242/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/CASC/Schedules.cpp [ 98% 243/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o -MF CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o.d -o CMakeFiles/obj.dir/CASC/CLTBMode.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/CASC/CLTBMode.cpp [ 98% 244/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o -MF CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o.d -o CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o -c /wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8/CASC/CLTBModeLearning.cpp [ 99% 245/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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 [ 99% 246/247] /ccache/libexec/ccache/c++ -DCHECK_LEAKS=0 -DVDEBUG=0 -DVHOL=1 -DVTIME_PROFILING=1 -DVZ3=0 -I/wrkdirs/usr/ports/math/vampire/work/vampire-vHO4.8 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=c++14 -Wall -fno-threadsafe-statics -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-vHO4.8/vampire.cpp [100% 247/247] : && /ccache/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong 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/MemoryLeak.cpp.o CMakeFiles/obj.dir/Lib/MultiCounter.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/Lib/Sys/Semaphore.cpp.o CMakeFiles/obj.dir/Lib/Sys/SyncPipe.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/KBOForEPR.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/HOLUnification.cpp.o CMakeFiles/obj.dir/Kernel/HOLMatching.cpp.o CMakeFiles/obj.dir/Kernel/MismatchHandler.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/Polynomial.cpp.o CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o CMakeFiles/obj.dir/Inferences/BetaEtaISE.cpp.o CMakeFiles/obj.dir/Inferences/FlexFlexSimplify.cpp.o CMakeFiles/obj.dir/Inferences/ImitateProject.cpp.o CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o CMakeFiles/obj.dir/Inferences/PositiveExt.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/LambdaConversion.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/LiteralSubstitutionTree.cpp.o CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o CMakeFiles/obj.dir/Indexing/SubstitutionTree.cpp.o CMakeFiles/obj.dir/Indexing/HOLSubstitutionTree.cpp.o CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastGen.cpp.o CMakeFiles/obj.dir/Indexing/SubstitutionTree_FastInst.cpp.o CMakeFiles/obj.dir/Indexing/SubstitutionTree_Nodes.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/Indexing/TermSubstitutionTree.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/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/GlobalSubsumption.cpp.o CMakeFiles/obj.dir/Inferences/HyperSuperposition.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/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/SubsumptionDemodulationHelper.cpp.o CMakeFiles/obj.dir/Inferences/TheoryInstAndSimp.cpp.o CMakeFiles/obj.dir/Inferences/PolynomialEvaluation.cpp.o CMakeFiles/obj.dir/InstGen/IGAlgorithm.cpp.o CMakeFiles/obj.dir/InstGen/ModelPrinter.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/NameReuse.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/InequalitySplitting.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/CASC/CLTBMode.cpp.o CMakeFiles/obj.dir/CASC/CLTBModeLearning.cpp.o CMakeFiles/obj.dir/version.cpp.o CMakeFiles/vampire.dir/vampire.cpp.o -o bin/vampire_rel && : =========================================================================== =================================================== ===== 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.8 ===> 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=2024-04-04T19:09:32+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=6af0381cd8' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for vampire-4.8 ===> Building vampire-4.8 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for vampire-4.8 build of math/vampire | vampire-4.8 ended at Thu Apr 4 20:38:28 BST 2024 build time: 00:28:57