******************************************************************************** conan install z3/4.8.8@#bbdeb8ab816227c5fd651ddc0df36ee8 --build=z3 -pr /Users/jenkins/w/prod/BuildSingleReference@3/85325/1e4bb84a-f911-47f5-b514-da00100282e5/profile_osx_130_libcpp_apple-clang_debug_64.z3-shared-True.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True -c tools.apple:sdk_path=/Applications/conan/xcode/13/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk ******************************************************************************** Auto detecting your dev setup to initialize the default profile (/Users/jenkins/w/prod/BuildSingleReference@3/.conan/profiles/default) Found apple-clang 13.0 apple-clang>=13, using the major as version Default settings os=Macos os_build=Macos arch=x86_64 arch_build=x86_64 compiler=apple-clang compiler.version=13 compiler.libcxx=libc++ build_type=Release *** You can change them in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/profiles/default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Debug compiler=apple-clang compiler.libcxx=libc++ compiler.version=13.0 os=Macos [options] z3:shared=True [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/13/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk z3/4.8.8: z3 will build using gmp multiprecision implementation. gmp/6.2.1: Not found in local cache, looking in remotes... gmp/6.2.1: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz gmp/6.2.1: Downloaded recipe revision 2011237c81178d014a4c08ae40cfe0cb z3/4.8.8: Forced build from source Installing package: z3/4.8.8 Requirements gmp/6.2.1 from 'conan-center' - Downloaded z3/4.8.8 from local cache - Cache Packages gmp/6.2.1:dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb - Download z3/4.8.8:aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac - Build Installing (downloading, building) binaries... gmp/6.2.1: Retrieving package dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz gmp/6.2.1: Package installed dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb gmp/6.2.1: Downloaded package revision 42083637cce00516f4c60ac833c2f94d [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.8.8: Configuring sources in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/source z3/4.8.8: [HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK [HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK [HOOK - conan-center.py] post_source(): [SHORT_PATHS USAGE (KB-H066)] OK z3/4.8.8: Copying sources to build folder z3/4.8.8: Building your package in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac z3/4.8.8: Generator cmake created conanbuildinfo.cmake z3/4.8.8: Aggregating env generators [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.8.8: Calling build() z3/4.8.8: Apply patch (conan): Support building with MPIR z3/4.8.8: Apply patch (backport): Fix finding the Python interpreter ----Running------ > cd '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Debug" -DCMAKE_OSX_ARCHITECTURES="x86_64" -DCONAN_IN_LOCAL_CACHE="ON" -DCONAN_COMPILER="apple-clang" -DCONAN_COMPILER_VERSION="13.0" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libc++" -DBUILD_SHARED_LIBS="ON" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac" -DCMAKE_INSTALL_BINDIR="bin" -DCMAKE_INSTALL_SBINDIR="bin" -DCMAKE_INSTALL_LIBEXECDIR="bin" -DCMAKE_INSTALL_LIBDIR="lib" -DCMAKE_INSTALL_INCLUDEDIR="include" -DCMAKE_INSTALL_OLDINCLUDEDIR="include" -DCMAKE_INSTALL_DATAROOTDIR="share" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -DZ3_USE_LIB_GMP="True" -DZ3_USE_LIB_MPIR="False" -DSINGLE_THREADED="False" -DZ3_BUILD_LIBZ3_SHARED="True" -DZ3_INCLUDE_GIT_HASH="False" -DZ3_INCLUDE_GIT_DESCRIBE="False" -DZ3_ENABLE_EXAMPLE_TARGETS="False" -DZ3_BUILD_DOCUMENTATION="False" -Wno-dev '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac' ----------------- -- The C compiler identification is AppleClang 13.0.0.13000029 -- The CXX compiler identification is AppleClang 13.0.0.13000029 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /Applications/conan/xcode/13/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/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: /Applications/conan/xcode/13/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: called inside local cache -- Conan: Adjusting output directories -- Conan: Using cmake targets configuration -- Library gmpxx found /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/lib/libgmpxx.a -- Library gmp found /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/lib/libgmp.a -- Conan: Adjusting language standard -- Conan: C++ stdlib: libc++ -- Z3 version 4.8.8.0 -- Failed to find git directory. -- CMake generator: Unix Makefiles -- Build type: Debug -- Found PythonInterp: /Users/jenkins/env_py_3_7_conan_1_51_3/bin/python3 (found suitable version "3.7.12", minimum required is "3") -- PYTHON_EXECUTABLE: /Users/jenkins/env_py_3_7_conan_1_51_3/bin/python3 -- Detected target architecture: x86_64 -- Platform: Darwin -- Using libgmp -- Found GMP C library: "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/lib/libgmp.a" -- Found GMP C++ library: "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/lib/libgmpxx.a" -- Found GMP C include path: "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/include" -- Found GMP C++ include path: "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/include" -- Found GMP -- Found GMP: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/include -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Success -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success -- Found Threads: TRUE -- Performing Test HAS__Wall -- Performing Test HAS__Wall - Success -- C++ compiler supports -Wall -- Treating only serious compiler warnings as errors -- Performing Test HAS__Werror_odr -- Performing Test HAS__Werror_odr - Success -- C++ compiler supports -Werror=odr -- Performing Test HAS__Werror_delete_non_virtual_dtor -- Performing Test HAS__Werror_delete_non_virtual_dtor - Success -- C++ compiler supports -Werror=delete-non-virtual-dtor -- Performing Test HAS__Werror_overloaded_virtual -- Performing Test HAS__Werror_overloaded_virtual - Success -- C++ compiler supports -Werror=overloaded-virtual -- Performing Test HAS__fvisibility_hidden -- Performing Test HAS__fvisibility_hidden - Success -- C++ compiler supports -fvisibility=hidden -- Performing Test HAS__fPIC -- Performing Test HAS__fPIC - Success -- C++ compiler supports -fPIC -- LTO disabled -- CMAKE_CXX_FLAGS: " -m64 -stdlib=libc++ -Werror=odr -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual " -- CMAKE_EXE_LINKER_FLAGS: "" -- CMAKE_STATIC_LINKER_FLAGS: "" -- CMAKE_SHARED_LINKER_FLAGS: " -m64" -- CMAKE_CXX_FLAGS_DEBUG: "-g" -- CMAKE_EXE_LINKER_FLAGS_DEBUG: "" -- CMAKE_SHARED_LINKER_FLAGS_DEBUG: "" -- CMAKE_STATIC_LINKER_FLAGS_DEBUG: "" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_MP_GMP;$<$:_TRACE> -- Z3_COMPONENT_CXX_FLAGS: -mfpmath=sse;-msse;-msse2;-Wall;-fvisibility=hidden;-fPIC -- Z3_DEPENDENT_LIBS: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/lib/libgmp.a -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/include;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/dcb9acb59fcb7af3a9fdfd5e6408214bb91883fb/include -- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: -- CMAKE_INSTALL_LIBDIR: "lib" -- CMAKE_INSTALL_BINDIR: "bin" -- CMAKE_INSTALL_INCLUDEDIR: "include" -- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig" -- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3" -- Adding component util -- Adding component polynomial -- Adding rule to generate "algebraic_params.hpp" -- Adding component dd -- Adding component hilbert -- Adding component simplex -- Adding component automata -- Adding component interval -- Adding component realclosure -- Adding rule to generate "rcf_params.hpp" -- Adding component subpaving -- Adding component ast -- Adding rule to generate "pp_params.hpp" -- Adding component rewriter -- Adding rule to generate "arith_rewriter_params.hpp" -- Adding rule to generate "array_rewriter_params.hpp" -- Adding rule to generate "bool_rewriter_params.hpp" -- Adding rule to generate "bv_rewriter_params.hpp" -- Adding rule to generate "fpa_rewriter_params.hpp" -- Adding rule to generate "poly_rewriter_params.hpp" -- Adding rule to generate "rewriter_params.hpp" -- Adding rule to generate "seq_rewriter_params.hpp" -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component model -- Adding rule to generate "model_evaluator_params.hpp" -- Adding rule to generate "model_params.hpp" -- Adding component tactic -- Adding rule to generate "tactic_params.hpp" -- Adding component substitution -- Adding component parser_util -- Adding rule to generate "parser_params.hpp" -- Adding component grobner -- Adding component sat -- Adding rule to generate "sat_asymm_branch_params.hpp" -- Adding rule to generate "sat_params.hpp" -- Adding rule to generate "sat_scc_params.hpp" -- Adding rule to generate "sat_simplifier_params.hpp" -- Adding component nlsat -- Adding rule to generate "nlsat_params.hpp" -- Adding component lp -- Adding component core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component solver -- Adding rule to generate "combined_solver_params.hpp" -- Adding rule to generate "parallel_params.hpp" -- Adding rule to generate "solver_params.hpp" -- Adding component sat_tactic -- Adding component arith_tactics -- Adding component nlsat_tactic -- Adding component ackermannization -- Adding rule to generate "ackermannization_params.hpp" -- Adding rule to generate "ackermannize_bv_tactic_params.hpp" -- Adding component cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component proofs -- Adding component fpa -- Adding rule to generate "fpa2bv_rewriter_params.hpp" -- Adding component macros -- Adding component pattern -- Adding rule to generate "pattern_inference_params_helper.hpp" -- Adding component bit_blaster -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- Adding component proto_model -- Adding component smt -- Adding component bv_tactics -- Adding component smt_tactic -- Adding component sls_tactic -- Adding rule to generate "sls_params.hpp" -- Adding component qe -- Adding component muz -- Adding rule to generate "fp_params.hpp" -- Adding component dataflow -- Adding component transforms -- Adding component rel -- Adding component clp -- Adding component tab -- Adding component bmc -- Adding component ddnf -- Adding component spacer -- Adding component fp -- Adding component ufbv_tactic -- Adding component sat_solver -- Adding component smtlogic_tactics -- Adding rule to generate "qfufbv_tactic_params.hpp" -- Adding component fpa_tactics -- Adding component fd_solver -- Adding component portfolio -- Adding component opt -- Adding rule to generate "opt_params.hpp" -- Adding component api -- Adding component api_dll -- Building documentation disabled -- Configuring done -- Generating done -- Build files have been written to: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder ----Running------ > cmake --build '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder' '--' '-j4' ----------------- [ 0%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/approx_nat.cpp.o [ 0%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/approx_set.cpp.o [ 0%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/bit_util.cpp.o [ 0%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/bit_vector.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/common_msgs.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/debug.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/env_params.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/gparams.cpp.o [ 1%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/hash.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/hwf.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/inf_rational.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/lbool.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/luby.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/memory_manager.cpp.o [ 2%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/min_cut.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpbq.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpf.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpff.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpfx.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpn.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpq.cpp.o [ 3%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpq_inf.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/mpz.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/page.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/params.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/permutation.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/prime_generator.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/rational.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/region.cpp.o [ 4%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/rlimit.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/scoped_ctrl_c.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/scoped_timer.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/sexpr.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/s_integer.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/small_object_allocator.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/smt2_util.cpp.o [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/stack.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/statistics.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/symbol.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/timeit.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/timeout.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/trace.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/util.cpp.o [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/warning.cpp.o [ 7%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/z3_exception.cpp.o [ 7%] Built target util [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg" [ 8%] Building CXX object source_subfolder/src/math/automata/CMakeFiles/automata.dir/automaton.cpp.o [ 8%] Building CXX object source_subfolder/src/math/dd/CMakeFiles/dd.dir/dd_bdd.cpp.o [ 8%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/simplex.cpp.o [ 8%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/algebraic_numbers.cpp.o [ 8%] Built target automata [ 8%] Building CXX object source_subfolder/src/math/dd/CMakeFiles/dd.dir/dd_pdd.cpp.o [ 9%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/model_based_opt.cpp.o [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/polynomial_cache.cpp.o [ 10%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/bit_matrix.cpp.o [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/polynomial.cpp.o [ 10%] Built target dd [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/rpolynomial.cpp.o [ 10%] Built target simplex [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/sexpr2upolynomial.cpp.o [ 10%] Building CXX object source_subfolder/src/math/hilbert/CMakeFiles/hilbert.dir/hilbert_basis.cpp.o [ 10%] Building CXX object source_subfolder/src/math/interval/CMakeFiles/interval.dir/interval_mpq.cpp.o [ 10%] Building CXX object source_subfolder/src/math/interval/CMakeFiles/interval.dir/dep_intervals.cpp.o [ 10%] Built target hilbert [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial.cpp.o [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial_factorization.cpp.o [ 10%] Built target interval [ 10%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/math/realclosure/rcf_params.hpp" from "rcf_params.pyg" [ 10%] Building CXX object source_subfolder/src/math/realclosure/CMakeFiles/realclosure.dir/mpz_matrix.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving.cpp.o [ 10%] Building CXX object source_subfolder/src/math/realclosure/CMakeFiles/realclosure.dir/realclosure.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_hwf.cpp.o [ 10%] Built target polynomial [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpf.cpp.o [ 10%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/pp_params.hpp" from "pp_params.pyg" [ 10%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/act_cache.cpp.o [ 10%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/arith_decl_plugin.cpp.o [ 10%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpff.cpp.o [ 10%] Built target realclosure [ 10%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpfx.cpp.o [ 11%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpq.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_ll_pp.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_lt.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_pp_util.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_printer.cpp.o [ 12%] Built target subpaving [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_smt2_pp.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_smt_pp.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_pp_dot.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_translation.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast_util.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/bv_decl_plugin.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/csp_decl_plugin.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/datatype_decl_plugin.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/decl_collector.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/display_dimacs.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/dl_decl_plugin.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr2polynomial.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr2var.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr_abstract.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr_functors.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr_map.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr_stat.cpp.o [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/expr_substitution.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/for_each_ast.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/for_each_expr.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/format.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/fpa_decl_plugin.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/func_decl_dependencies.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/has_free_vars.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/macro_substitution.cpp.o [ 15%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/num_occurs.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/occurs.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/pb_decl_plugin.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/pp.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/recfun_decl_plugin.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/reg_decl_plugins.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/seq_decl_plugin.cpp.o [ 16%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/shared_occs.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/special_relations_decl_plugin.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/static_features.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/used_vars.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/value_generator.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/well_sorted.cpp.o [ 17%] Built target ast [ 17%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/seq_rewriter_params.hpp" from "seq_rewriter_params.pyg" [ 17%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/arith_rewriter_params.hpp" from "arith_rewriter_params.pyg" [ 17%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/parsers/util/parser_params.hpp" from "parser_params.pyg" [ 18%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/grobner.cpp.o [ 18%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/pdd_simplifier.cpp.o [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/array_rewriter_params.hpp" from "array_rewriter_params.pyg" [ 18%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/cost_parser.cpp.o [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/bool_rewriter_params.hpp" from "bool_rewriter_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/bv_rewriter_params.hpp" from "bv_rewriter_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/fpa_rewriter_params.hpp" from "fpa_rewriter_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/poly_rewriter_params.hpp" from "poly_rewriter_params.pyg" [ 19%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/rewriter_params.hpp" from "rewriter_params.pyg" [ 19%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/arith_rewriter.cpp.o [ 19%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/pattern_validation.cpp.o [ 19%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/array_rewriter.cpp.o [ 19%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/pdd_solver.cpp.o [ 19%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/scanner.cpp.o [ 20%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/simple_parser.cpp.o [ 20%] Built target grobner [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/ast_counter.cpp.o [ 20%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_simplifier_params.hpp" from "sat_simplifier_params.pyg" [ 20%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_asymm_branch_params.hpp" from "sat_asymm_branch_params.pyg" [ 20%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_params.hpp" from "sat_params.pyg" [ 20%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_scc_params.hpp" from "sat_scc_params.pyg" [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/ba_solver.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bit2int.cpp.o [ 20%] Built target parser_util [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/dimacs.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_aig_cuts.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bool_rewriter.cpp.o [ 21%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_aig_finder.cpp.o [ 21%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_bounds.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_elim.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_anf_simplifier.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_asymm_branch.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_big.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_rewriter.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/datatype_rewriter.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/der.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_binspr.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause_set.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/distribute_forall.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/dl_rewriter.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause_use_list.cpp.o [ 23%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/elim_bounds.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cleaner.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_config.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/enum2bv_rewriter.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cut_simplifier.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/expr_replacer.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/expr_safe_replace.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cutset.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_ddfw.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/factor_equivs.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/factor_rewriter.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/fpa_rewriter.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_drat.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_elim_eqs.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_elim_vars.cpp.o [ 25%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/func_decl_replace.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/hoist_rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/inj_axiom.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_bcd.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/label_rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_integrity_checker.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_local_search.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/maximize_ac_sharing.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_lookahead.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/mk_simplified_app.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/pb_rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_lut_finder.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_model_converter.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/pb2bv_rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/push_app_ite.cpp.o [ 27%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/quant_hoist.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_mus.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/recfun_rewriter.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_npn3_finder.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_parallel.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/rewriter.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_prob.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/seq_rewriter.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/th_rewriter.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_probing.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_scc.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/value_sweep.cpp.o [ 28%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_simplifier.cpp.o [ 29%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_solver.cpp.o [ 29%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_watched.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/var_subst.cpp.o [ 30%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/mk_extract_proc.cpp.o [ 30%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_xor_finder.cpp.o [ 30%] Built target rewriter [ 31%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/normal_forms/nnf_params.hpp" from "nnf_params.pyg" [ 31%] Building CXX object source_subfolder/src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/bit_blaster.cpp.o [ 31%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/defined_names.cpp.o [ 32%] Building CXX object source_subfolder/src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/bit_blaster_rewriter.cpp.o [ 32%] Built target sat [ 32%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/name_exprs.cpp.o [ 33%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/model/model_params.hpp" from "model_params.pyg" [ 33%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/model/model_evaluator_params.hpp" from "model_evaluator_params.pyg" [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/array_factory.cpp.o [ 33%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/nnf.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/datatype_factory.cpp.o [ 33%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/matcher.cpp.o [ 33%] Built target bit_blaster [ 33%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/pull_quant.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/func_interp.cpp.o [ 33%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/substitution.cpp.o [ 33%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/nlsat/nlsat_params.hpp" from "nlsat_params.pyg" [ 33%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_clause.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model2expr.cpp.o [ 34%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_evaluator.cpp.o [ 34%] Built target normal_forms [ 34%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/substitution_tree.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_core.cpp.o [ 34%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_explain.cpp.o [ 34%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/unifier.cpp.o [ 34%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_interval_set.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model.cpp.o [ 34%] Building CXX object source_subfolder/src/ast/proofs/CMakeFiles/proofs.dir/proof_checker.cpp.o [ 34%] Built target substitution [ 35%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_evaluator.cpp.o [ 35%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_solver.cpp.o [ 35%] Building CXX object source_subfolder/src/ast/proofs/CMakeFiles/proofs.dir/proof_utils.cpp.o [ 35%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_finder.cpp.o [ 35%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_implicant.cpp.o [ 35%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_types.cpp.o [ 35%] Built target proofs [ 35%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_manager.cpp.o [ 35%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_pp.cpp.o [ 35%] Built target nlsat [ 35%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_util.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/binary_heap_priority_queue.cpp.o [ 36%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_smt2_pp.cpp.o [ 36%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_v2_pp.cpp.o [ 36%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/quasi_macros.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/binary_heap_upair_queue.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_bound_propagator.cpp.o [ 36%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/numeral_factory.cpp.o [ 36%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/struct_factory.cpp.o [ 36%] Built target macros [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/core_solver_pretty_printer.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/dense_matrix.cpp.o [ 36%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/value_factory.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/eta_matrix.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/emonics.cpp.o [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/factorization.cpp.o [ 37%] Built target model [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/factorization_factory_imp.cpp.o [ 37%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/tactic_params.hpp" from "tactic_params.pyg" [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/dependency_converter.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/equiv_proof_converter.cpp.o [ 38%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/fpa/fpa2bv_rewriter_params.hpp" from "fpa2bv_rewriter_params.pyg" [ 38%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/bv2fpa_converter.cpp.o [ 38%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/generic_model_converter.cpp.o [ 38%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/gomory.cpp.o [ 38%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/fpa2bv_converter.cpp.o [ 38%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/hnf_cutter.cpp.o [ 38%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal.cpp.o [ 38%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/fpa2bv_rewriter.cpp.o [ 38%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_num_occurs.cpp.o [ 38%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_shared_occs.cpp.o [ 38%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/horner.cpp.o [ 38%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/indexed_vector.cpp.o [ 38%] Built target fpa [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_util.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_branch.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/horn_subsume_model_converter.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_cube.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/model_converter.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/probe.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/proof_converter.cpp.o [ 40%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_gcd_test.cpp.o [ 40%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_solver.cpp.o [ 40%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lar_solver.cpp.o [ 40%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/replace_proof_converter.cpp.o [ 40%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/sine_filter.cpp.o [ 40%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lar_core_solver.cpp.o [ 41%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/tactical.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_core_solver_base.cpp.o [ 41%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/tactic.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_dual_core_solver.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_dual_simplex.cpp.o [ 42%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_primal_core_solver.cpp.o [ 42%] Built target tactic [ 42%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_primal_simplex.cpp.o [ 42%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/blast_term_ite_tactic.cpp.o [ 42%] Building CXX object source_subfolder/src/tactic/aig/CMakeFiles/aig_tactic.dir/aig.cpp.o [ 42%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/cofactor_elim_term_ite.cpp.o [ 42%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/solver_params.hpp" from "solver_params.pyg" [ 42%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/combined_solver_params.hpp" from "combined_solver_params.pyg" [ 43%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/parallel_params.hpp" from "parallel_params.pyg" [ 43%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/check_sat_result.cpp.o [ 43%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_settings.cpp.o [ 43%] Building CXX object source_subfolder/src/tactic/aig/CMakeFiles/aig_tactic.dir/aig_tactic.cpp.o [ 43%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/combined_solver.cpp.o [ 43%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/cofactor_term_ite_tactic.cpp.o [ 43%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_solver.cpp.o [ 43%] Built target aig_tactic [ 43%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/mus.cpp.o [ 44%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/collect_statistics_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/parallel_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lu.cpp.o [ 44%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/ctx_simplify_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/smt_logics.cpp.o [ 44%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/der_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver.cpp.o [ 44%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_utils.cpp.o [ 45%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver_na2as.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/distribute_forall_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/matrix.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/dom_simplify_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver_pool.cpp.o [ 45%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/mon_eq.cpp.o [ 45%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver2tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/elim_term_ite_tactic.cpp.o [ 46%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nex_creator.cpp.o [ 46%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/tactic2solver.cpp.o [ 46%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/elim_uncnstr_tactic.cpp.o [ 46%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_basics_lemmas.cpp.o [ 46%] Built target solver [ 46%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/injectivity_tactic.cpp.o [ 46%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/atom2bool_var.cpp.o [ 46%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/goal2sat.cpp.o [ 47%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/nnf_tactic.cpp.o [ 47%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_common.cpp.o [ 47%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.hpp" from "ackermannize_bv_tactic_params.pyg" [ 47%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ackermannization/ackermannization_params.hpp" from "ackermannization_params.pyg" [ 47%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackermannize_bv_model_converter.cpp.o [ 47%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/sat_tactic.cpp.o [ 47%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/occf_tactic.cpp.o [ 47%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackermannize_bv_tactic.cpp.o [ 47%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_core.cpp.o [ 47%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackr_bound_probe.cpp.o [ 47%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/pb_preprocess_tactic.cpp.o [ 47%] Built target sat_tactic [ 47%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/basic_cmds.cpp.o [ 47%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackr_helper.cpp.o [ 47%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/propagate_values_tactic.cpp.o [ 48%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/check_logic.cpp.o [ 48%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackr_model_converter.cpp.o [ 48%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/reduce_args_tactic.cpp.o [ 48%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/cmd_context.cpp.o [ 49%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/lackr.cpp.o [ 49%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_intervals.cpp.o [ 49%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/reduce_invertible_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/lackr_model_constructor.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/cmd_context_to_goal.cpp.o [ 49%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/lackr_model_converter_lazy.cpp.o [ 49%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/simplify_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/cmd_util.cpp.o [ 49%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_monotone_lemmas.cpp.o [ 49%] Built target ackermannization [ 50%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/solve_eqs_tactic.cpp.o [ 50%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/context_params.cpp.o [ 50%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_order_lemmas.cpp.o [ 50%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/echo_tactic.cpp.o [ 50%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/special_relations_tactic.cpp.o [ 51%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_solver.cpp.o [ 51%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/eval_cmd.cpp.o [ 51%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/split_clause_tactic.cpp.o [ 51%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/parametric_cmd.cpp.o [ 51%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_tangent_lemmas.cpp.o [ 51%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/symmetry_reduce_tactic.cpp.o [ 51%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nra_solver.cpp.o [ 52%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/pdecl.cpp.o [ 52%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/simplify_cmd.cpp.o [ 52%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/tseitin_cnf_tactic.cpp.o [ 52%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/tactic_cmds.cpp.o [ 52%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/permutation_matrix.cpp.o [ 52%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/collect_occs.cpp.o [ 52%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/random_updater.cpp.o [ 52%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/tactic_manager.cpp.o [ 52%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/row_eta_matrix.cpp.o [ 52%] Built target cmd_context [ 52%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/scaler.cpp.o [ 52%] Built target core_tactics [ 52%] Building CXX object source_subfolder/src/parsers/smt2/CMakeFiles/smt2parser.dir/marshal.cpp.o [ 52%] Building CXX object source_subfolder/src/parsers/smt2/CMakeFiles/smt2parser.dir/smt2parser.cpp.o [ 52%] Building CXX object source_subfolder/src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/expr2subpaving.cpp.o [ 53%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/square_dense_submatrix.cpp.o [ 53%] Building CXX object source_subfolder/src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/subpaving_tactic.cpp.o [ 53%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/square_sparse_matrix.cpp.o [ 53%] Building CXX object source_subfolder/src/parsers/smt2/CMakeFiles/smt2parser.dir/smt2scanner.cpp.o [ 53%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/static_matrix.cpp.o [ 53%] Built target subpaving_tactic [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bit_blaster_model_converter.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/add_bounds_tactic.cpp.o [ 53%] Built target smt2parser [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/arith_bounds_tactic.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bit_blaster_tactic.cpp.o [ 53%] Built target lp [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bound_manager.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bv1_blaster_tactic.cpp.o [ 53%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/pattern/pattern_inference_params_helper.hpp" from "pattern_inference_params_helper.pyg" [ 53%] Generating "database.h" [ 53%] Building CXX object source_subfolder/src/ast/pattern/CMakeFiles/pattern.dir/expr_pattern_match.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bound_propagator.cpp.o [ 53%] Building CXX object source_subfolder/src/ast/pattern/CMakeFiles/pattern.dir/pattern_inference.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bv2int_rewriter.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bvarray2uf_rewriter.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bv2real_rewriter.cpp.o [ 53%] Building CXX object source_subfolder/src/ast/pattern/CMakeFiles/pattern.dir/pattern_inference_params.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bvarray2uf_tactic.cpp.o [ 53%] Built target pattern [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/card2bv_tactic.cpp.o [ 54%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/smt/params/smt_params_helper.hpp" from "smt_params_helper.pyg" [ 54%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/dyn_ack_params.cpp.o [ 54%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/preprocessor_params.cpp.o [ 54%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bv_bound_chk_tactic.cpp.o [ 54%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/qi_params.cpp.o [ 55%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/degree_shift_tactic.cpp.o [ 55%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/smt_params.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bv_bounds_tactic.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/diff_neq_tactic.cpp.o [ 56%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_arith_params.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bv_size_reduction_tactic.cpp.o [ 56%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_array_params.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/dt2bv_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_bv_params.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/eq2bv_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_pb_params.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/factor_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/elim_small_bv_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_seq_params.cpp.o [ 57%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_str_params.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/max_bv_sharing_tactic.cpp.o [ 57%] Built target smt_params [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/fix_dl_var_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/smt/proto_model/CMakeFiles/proto_model.dir/proto_model.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/fm_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/lia2card_tactic.cpp.o [ 57%] Built target bv_tactics [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/lia2pb_tactic.cpp.o [ 58%] Built target proto_model [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/linear_equation.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/nla2bv_tactic.cpp.o [ 58%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/sls/sls_params.hpp" from "sls_params.pyg" [ 58%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/bvsls_opt_engine.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_engine.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_tactic.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/normalize_bounds_tactic.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/pb2bv_model_converter.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/pb2bv_tactic.cpp.o [ 58%] Built target sls_tactic [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/probe_arith.cpp.o [ 58%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/arith_eq_adapter.cpp.o [ 59%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/arith_eq_solver.cpp.o [ 59%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/asserted_formulas.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/propagate_ineqs_tactic.cpp.o [ 60%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/purify_arith_tactic.cpp.o [ 60%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/recover_01_tactic.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/cached_var_subst.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/cost_evaluator.cpp.o [ 60%] Built target arith_tactics [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/dyn_ack.cpp.o [ 60%] Building CXX object source_subfolder/src/sat/sat_solver/CMakeFiles/sat_solver.dir/inc_sat_solver.cpp.o [ 60%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/goal2nlsat.cpp.o [ 60%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/dbg_cmds.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/elim_term_ite.cpp.o [ 60%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/nlsat_tactic.cpp.o [ 60%] Built target sat_solver [ 60%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/polynomial_cmds.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/expr_context_simplifier.cpp.o [ 60%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/qfnra_nlsat_tactic.cpp.o [ 60%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/bounded_int2bv_solver.cpp.o [ 60%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/subpaving_cmds.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/fingerprints.cpp.o [ 60%] Built target nlsat_tactic [ 60%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/enum2bv_solver.cpp.o [ 61%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/mam.cpp.o [ 61%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/old_interval.cpp.o [ 61%] Built target extra_cmds [ 62%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/fd_solver.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/qi_queue.cpp.o [ 62%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/pb2bv_solver.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_axioms.cpp.o [ 62%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/smtfd_solver.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_skolem.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_eq_solver.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_ne_solver.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_offset_eq.cpp.o [ 63%] Built target fd_solver [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_almost_cg_table.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_arith_value.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_case_split_queue.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_cg_table.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_checker.cpp.o [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_clause.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_clause_proof.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_conflict_resolution.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_consequences.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_inv.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_pp.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_stat.cpp.o [ 64%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_enode.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_farkas_util.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_for_each_relevant_expr.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_implied_equalities.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_induction.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_internalizer.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_justification.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_kernel.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_literal.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_lookahead.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_checker.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_finder.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_generator.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_parallel.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_quantifier.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_quantifier_stat.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_quick_checker.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_relevancy.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_setup.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_solver.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_statistics.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_theory.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_value_sort.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt2_extra_cmds.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_arith.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_bapa.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_base.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_full.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_bv.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_datatype.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dense_diff_logic.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_diff_logic.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dl.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dummy.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_fpa.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_jobscheduler.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_lra.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_opt.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_pb.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_recfun.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_seq.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_special_relations.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str_mc.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str_regex.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_utvpi.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_wmaxsat.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/uses_theory.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/watch_list.cpp.o [ 71%] Built target smt [ 71%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/smt_tactic.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/ctx_solver_simplify_tactic.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/unit_subsumption_tactic.cpp.o [ 71%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/nlarith_util.cpp.o [ 71%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/nlqsat.cpp.o [ 72%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_arith.cpp.o [ 72%] Built target smt_tactic [ 72%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_arith_plugin.cpp.o [ 72%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/macro_finder_tactic.cpp.o [ 72%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/quasi_macros_tactic.cpp.o [ 72%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_array_plugin.cpp.o [ 72%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_rewriter.cpp.o [ 73%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_rewriter_tactic.cpp.o [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_arrays.cpp.o [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_bool_plugin.cpp.o [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_bv_plugin.cpp.o [ 73%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_tactic.cpp.o [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_cmd.cpp.o [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_datatype_plugin.cpp.o [ 74%] Built target ufbv_tactic [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_datatypes.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_dl_plugin.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_lite.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_mbp.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_mbi.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_solve_plugin.cpp.o [ 75%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_tactic.cpp.o [ 75%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_term_graph.cpp.o [ 75%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qsat.cpp.o [ 75%] Built target qe [ 76%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/muz/base/fp_params.hpp" from "fp_params.pyg" [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_boogie_proof.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/bind_variables.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_context.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_costs.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule_set.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule_subsumption_index.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule_transformer.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_util.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/hnf.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/rule_properties.cpp.o [ 77%] Built target muz [ 77%] Building CXX object source_subfolder/src/muz/dataflow/CMakeFiles/dataflow.dir/dataflow.cpp.o [ 77%] Built target dataflow [ 77%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_array_blast.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_backwards.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_bit_blast.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_coalesce.cpp.o [ 77%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_coi_filter.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_filter_rules.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_interp_tail_simplifier.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_karr_invariants.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_loop_counter.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_magic_sets.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_magic_symbolic.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_quantifier_abstraction.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_quantifier_instantiation.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_rule_inliner.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_scale.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_separate_negated_tails.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_slice.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_subsumption_checker.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_unbound_compressor.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_unfold.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_transforms.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_array_eq_rewrite.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_array_instantiation.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_elim_term_ite.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_synchronize.cpp.o [ 80%] Built target transforms [ 80%] Building CXX object source_subfolder/src/muz/clp/CMakeFiles/clp.dir/clp_context.cpp.o [ 81%] Building CXX object source_subfolder/src/muz/tab/CMakeFiles/tab.dir/tab_context.cpp.o [ 81%] Building CXX object source_subfolder/src/muz/bmc/CMakeFiles/bmc.dir/dl_bmc_engine.cpp.o [ 81%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/aig_exporter.cpp.o [ 81%] Built target clp [ 81%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/check_relation.cpp.o [ 81%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_legacy_mev.cpp.o [ 81%] Built target tab [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_base.cpp.o [ 82%] Built target bmc [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_legacy_frames.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_context.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_bound_relation.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_dl_interface.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_check_table.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_farkas_learner.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_compiler.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_generalizers.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_external_relation.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_finite_product_relation.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_manager.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_instruction.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_prop_solver.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_interval_relation.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_sym_mux.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_lazy_table.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_explanations.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_util.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_solver.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_legacy_mbp.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_similarity_compressor.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_simple_joins.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_product_relation.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_proof_utils.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_relation_manager.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_learner.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_plugin.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_sieve_relation.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_sparse_table.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_matrix.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_table.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_antiunify.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_mev_array.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_qe_project.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_table_relation.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/doc.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/karr_relation.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_sem_matcher.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/rel_context.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_quant_generalizer.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_arith_generalizers.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/tbv.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_callback.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_json.cpp.o [ 88%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/udoc_relation.cpp.o [ 88%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_proof.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_mbc.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_pdr.cpp.o [ 89%] Built target rel [ 89%] Building CXX object source_subfolder/src/muz/ddnf/CMakeFiles/ddnf.dir/ddnf.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_sat_answer.cpp.o [ 89%] Built target ddnf [ 89%] Built target spacer [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/horn_tactic.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/dl_cmds.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/datalog_parser.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/dl_register_engine.cpp.o [ 89%] Built target fp [ 90%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.hpp" from "qfufbv_tactic_params.pyg" [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfaufbv_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfauflia_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfbv_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/nra_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfidl_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflia_tactic.cpp.o [ 90%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qflra_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnia_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfnra_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_ackr_model_converter.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfufbv_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/qfuf_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/quant_tactics.cpp.o [ 91%] Built target smtlogic_tactics [ 91%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/opt/opt_params.hpp" from "opt_params.pyg" [ 91%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_model_converter.cpp.o [ 91%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffp_tactic.cpp.o [ 91%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/maxlex.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/maxres.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/maxsmt.cpp.o [ 92%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffplra_tactic.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_cmds.cpp.o [ 92%] Built target fpa_tactics [ 92%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/default_tactic.cpp.o [ 93%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/smt_strategic_solver.cpp.o [ 93%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_context.cpp.o [ 93%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/solver2lookahead.cpp.o [ 93%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_pareto.cpp.o [ 93%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_parse.cpp.o [ 93%] Built target portfolio [ 93%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/optsmt.cpp.o [ 93%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_solver.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/pb_sls.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/sortmax.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/wmax.cpp.o [ 94%] Built target opt [ 94%] Generating api_commands.cpp;api_log_macros.cpp;api_log_macros.h Faking emission of 'z3/z3core.py' Generated '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/api_log_macros.h' Generated '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/api_log_macros.cpp' Generated '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/api_commands.cpp' Generated '8' [ 94%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast.cpp.o [ 94%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_algebraic.cpp.o [ 94%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_array.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_arith.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast_map.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast_vector.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_bv.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_config_params.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_context.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_datalog.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_datatype.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_fpa.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_goal.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_log.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_model.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_numeral.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_opt.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_params.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_parsers.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_pb.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_polynomial.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_qe.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_quant.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_rcf.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_seq.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_solver.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_special_relations.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_stats.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_tactic.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/z3_replayer.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_commands.cpp.o [ 99%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_log_macros.cpp.o [ 99%] Built target api [ 99%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/install_tactic.cpp" [ 99%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/mem_initializer.cpp" [ 99%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/gparams_register_modules.cpp" [ 99%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/dll.cpp.o [ 99%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/gparams_register_modules.cpp.o [ 99%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/install_tactic.cpp.o [100%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/mem_initializer.cpp.o [100%] Built target api_dll [100%] Linking CXX shared library ../../lib/libz3.dylib [100%] Built target libz3 z3/4.8.8: Package 'aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac' built z3/4.8.8: Build folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac z3/4.8.8: Generated conaninfo.txt z3/4.8.8: Generated conanbuildinfo.txt z3/4.8.8: Generating the package z3/4.8.8: Package folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac z3/4.8.8: Calling package() ----Running------ > cmake --build '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder' '--target' 'install' '--' '-j4' ----------------- Consolidate compiler generated dependencies of target util [ 7%] Built target util Consolidate compiler generated dependencies of target automata Consolidate compiler generated dependencies of target dd Consolidate compiler generated dependencies of target simplex [ 7%] Built target automata [ 8%] Built target dd Consolidate compiler generated dependencies of target polynomial [ 9%] Built target simplex Consolidate compiler generated dependencies of target hilbert Consolidate compiler generated dependencies of target interval [ 10%] Built target polynomial [ 10%] Built target hilbert [ 10%] Built target interval Consolidate compiler generated dependencies of target realclosure Consolidate compiler generated dependencies of target subpaving [ 10%] Built target realclosure [ 11%] Built target subpaving Consolidate compiler generated dependencies of target ast [ 17%] Built target ast Consolidate compiler generated dependencies of target grobner Consolidate compiler generated dependencies of target parser_util [ 18%] Built target grobner [ 19%] Built target parser_util Consolidate compiler generated dependencies of target rewriter [ 25%] Built target rewriter Consolidate compiler generated dependencies of target sat Consolidate compiler generated dependencies of target bit_blaster Consolidate compiler generated dependencies of target normal_forms [ 26%] Built target bit_blaster [ 27%] Built target normal_forms [ 32%] Built target sat Consolidate compiler generated dependencies of target model Consolidate compiler generated dependencies of target substitution Consolidate compiler generated dependencies of target proofs Consolidate compiler generated dependencies of target macros [ 32%] Built target proofs [ 32%] Built target substitution [ 34%] Built target model [ 34%] Built target macros Consolidate compiler generated dependencies of target fpa Consolidate compiler generated dependencies of target nlsat [ 35%] Built target nlsat [ 36%] Built target fpa Consolidate compiler generated dependencies of target tactic [ 38%] Built target tactic Consolidate compiler generated dependencies of target aig_tactic [ 38%] Built target aig_tactic Consolidate compiler generated dependencies of target solver [ 40%] Built target solver Consolidate compiler generated dependencies of target core_tactics Consolidate compiler generated dependencies of target sat_tactic [ 40%] Built target sat_tactic Consolidate compiler generated dependencies of target ackermannization [ 43%] Built target core_tactics Consolidate compiler generated dependencies of target lp [ 44%] Built target ackermannization Consolidate compiler generated dependencies of target cmd_context Consolidate compiler generated dependencies of target bv_tactics [ 51%] Built target lp [ 53%] Built target cmd_context [ 54%] Built target bv_tactics Consolidate compiler generated dependencies of target subpaving_tactic [ 54%] Built target subpaving_tactic Consolidate compiler generated dependencies of target smt2parser Consolidate compiler generated dependencies of target sls_tactic [ 54%] Built target smt2parser [ 54%] Built target sls_tactic Consolidate compiler generated dependencies of target arith_tactics Consolidate compiler generated dependencies of target pattern [ 57%] Built target arith_tactics [ 57%] Built target pattern Consolidate compiler generated dependencies of target sat_solver Consolidate compiler generated dependencies of target nlsat_tactic Consolidate compiler generated dependencies of target extra_cmds [ 57%] Built target sat_solver [ 57%] Built target nlsat_tactic [ 57%] Built target extra_cmds Consolidate compiler generated dependencies of target smt_params Consolidate compiler generated dependencies of target fd_solver [ 59%] Built target smt_params [ 60%] Built target fd_solver Consolidate compiler generated dependencies of target proto_model [ 60%] Built target proto_model Consolidate compiler generated dependencies of target smt [ 71%] Built target smt Consolidate compiler generated dependencies of target smt_tactic [ 71%] Built target smt_tactic Consolidate compiler generated dependencies of target ufbv_tactic Consolidate compiler generated dependencies of target qe [ 72%] Built target ufbv_tactic [ 75%] Built target qe Consolidate compiler generated dependencies of target muz [ 77%] Built target muz Consolidate compiler generated dependencies of target dataflow [ 77%] Built target dataflow Consolidate compiler generated dependencies of target transforms [ 80%] Built target transforms Consolidate compiler generated dependencies of target tab Consolidate compiler generated dependencies of target clp Consolidate compiler generated dependencies of target bmc [ 80%] Built target bmc [ 80%] Built target clp [ 81%] Built target tab Consolidate compiler generated dependencies of target rel [ 85%] Built target rel Consolidate compiler generated dependencies of target spacer Consolidate compiler generated dependencies of target ddnf [ 85%] Built target ddnf [ 89%] Built target spacer Consolidate compiler generated dependencies of target fp [ 89%] Built target fp Consolidate compiler generated dependencies of target smtlogic_tactics [ 91%] Built target smtlogic_tactics Consolidate compiler generated dependencies of target fpa_tactics [ 91%] Built target fpa_tactics Consolidate compiler generated dependencies of target opt Consolidate compiler generated dependencies of target portfolio [ 92%] Built target portfolio [ 94%] Built target opt Consolidate compiler generated dependencies of target api [ 99%] Built target api Consolidate compiler generated dependencies of target api_dll [100%] Built target api_dll [100%] Built target libz3 Install the project... -- Install configuration: "Debug" -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/cmake/z3/Z3Targets.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/cmake/z3/Z3Targets-debug.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/cmake/z3/Z3Config.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/libz3.4.8.8.0.dylib -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/libz3.4.8.dylib -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/lib/libz3.dylib -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_algebraic.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_api.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_ast_containers.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_fixedpoint.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_fpa.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3++.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_macros.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_optimization.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_polynomial.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_rcf.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_v1.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_spacer.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/package/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/include/z3_version.h [HOOK - conan-center.py] post_package(): [PACKAGE LICENSE (KB-H012)] OK [HOOK - conan-center.py] post_package(): [DEFAULT PACKAGE LAYOUT (KB-H013)] OK [HOOK - conan-center.py] post_package(): [MATCHING CONFIGURATION (KB-H014)] OK [HOOK - conan-center.py] post_package(): [SHARED ARTIFACTS (KB-H015)] OK [HOOK - conan-center.py] post_package(): [PC-FILES (KB-H020)] OK [HOOK - conan-center.py] post_package(): [CMAKE-MODULES-CONFIG-FILES (KB-H016)] OK [HOOK - conan-center.py] post_package(): [PDB FILES NOT ALLOWED (KB-H017)] OK [HOOK - conan-center.py] post_package(): [LIBTOOL FILES PRESENCE (KB-H018)] OK [HOOK - conan-center.py] post_package(): [MS RUNTIME FILES (KB-H021)] OK [HOOK - conan-center.py] post_package(): [SHORT_PATHS USAGE (KB-H066)] OK [HOOK - conan-center.py] post_package(): [MISSING SYSTEM LIBS (KB-H043)] OK z3/4.8.8 package(): Packaged 1 '.txt' file: LICENSE.txt z3/4.8.8 package(): Packaged 14 '.h' files z3/4.8.8 package(): Packaged 3 '.dylib' files: libz3.4.8.8.0.dylib, libz3.4.8.dylib, libz3.dylib z3/4.8.8: Package 'aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac' created z3/4.8.8: Created package revision 80927e9968d63ab20f9d4e71e6539a12 [HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK [HOOK - conan-center.py] post_package_info(): [LIBRARY DOES NOT EXIST (KB-H054)] OK [HOOK - conan-center.py] post_package_info(): [INCLUDE PATH DOES NOT EXIST (KB-H071)] OK Aggregating env generators CMake Warning at source_subfolder/CMakeLists.txt:60 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): source_subfolder/CMakeLists.txt:109 (disable_git_describe) CMake Warning at source_subfolder/CMakeLists.txt:64 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): source_subfolder/CMakeLists.txt:110 (disable_git_hash) CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY SINGLE_THREADED INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/math/polynomial/algebraic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/math/polynomial/algebraic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/math/realclosure/rcf_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/math/realclosure/rcf_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/pp_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/pp_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/parsers/util/parser_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/parsers/util/parser_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/seq_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/seq_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/arith_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/arith_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/array_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/array_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/bool_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/bool_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/bv_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/bv_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/fpa_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/fpa_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/poly_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/poly_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/rewriter/rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/rewriter/rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/sat/sat_simplifier_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_simplifier_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/sat/sat_asymm_branch_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_asymm_branch_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/sat/sat_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/sat/sat_scc_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/sat/sat_scc_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/normal_forms/nnf_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/normal_forms/nnf_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/model/model_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/model/model_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/model/model_evaluator_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/model/model_evaluator_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/nlsat/nlsat_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/nlsat/nlsat_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/tactic/tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/fpa/fpa2bv_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/fpa/fpa2bv_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/solver/solver_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/solver_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/solver/combined_solver_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/combined_solver_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/solver/parallel_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/solver/parallel_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ackermannization/ackermannization_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ackermannization/ackermannization_params.hpp" /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/tactic/core/symmetry_reduce_tactic.cpp:350:35: warning: variable 'f' is uninitialized when passed as a const reference argument here [-Wuninitialized-const-reference] value->insert(f); ^ 1 warning generated. INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/ast/pattern/pattern_inference_params_helper.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/pattern/pattern_inference_params_helper.hpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/ast/pattern/database.h" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/smt/params/smt_params_helper.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/smt/params/smt_params_helper.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/tactic/sls/sls_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/sls/sls_params.hpp" In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/smt/smt_induction.cpp:34: In file included from /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/smt/smt_context.h:37: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/smt/smt_induction.h:54:24: warning: private field 'vs' is not used [-Wunused-private-field] value_sweep& vs; ^ 1 warning generated. /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/smt/theory_bv.cpp:1331:23: warning: unused variable 'm' [-Wunused-variable] ast_manager & m = get_manager(); ^ 1 warning generated. INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/muz/base/fp_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/muz/base/fp_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/source_subfolder/src/opt/opt_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/opt/opt_params.hpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/mem_initializer.cpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.8.8/_/_/build/aa2ad32ff1c645a47462cb2dee0cbbed8e46f0ac/build_subfolder/source_subfolder/src/api/dll/install_tactic.cpp"