******************************************************************************** conan install z3/4.9.1@#214b0d5dbdac2a7fee94b4c1abce5a4e --build=z3 -pr /Users/jenkins/w/prod/BuildSingleReference@3/65456/35c46ed0-304d-4c7f-8bf4-873443023d19/profile_osx_110_libcpp_apple-clang_debug_64.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True -c tools.apple:sdk_path=/Applications/conan/xcode/11/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk ******************************************************************************** Auto detecting your dev setup to initialize the default profile (/Users/jenkins/w/prod/BuildSingleReference@3/.conan/profiles/default) Found apple-clang 11.0 Default settings os=Macos os_build=Macos arch=x86_64 arch_build=x86_64 compiler=apple-clang compiler.version=11.0 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=11.0 os=Macos [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/11/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.15.sdk z3/4.9.1: 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.9.1: Forced build from source Installing package: z3/4.9.1 Requirements gmp/6.2.1 from 'conan-center' - Downloaded z3/4.9.1 from local cache - Cache Packages gmp/6.2.1:861f718f93d2a10accf6cced974c926e11465d05 - Download z3/4.9.1:7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448 - Build Installing (downloading, building) binaries... gmp/6.2.1: Retrieving package 861f718f93d2a10accf6cced974c926e11465d05 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz gmp/6.2.1: Package installed 861f718f93d2a10accf6cced974c926e11465d05 gmp/6.2.1: Downloaded package revision 121629b459cf1548a4b94b41394c7cea [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.9.1: Configuring sources in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/source [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.9.1: Copying sources to build folder z3/4.9.1: Building your package in /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448 z3/4.9.1: Generator cmake created conanbuildinfo.cmake z3/4.9.1: Aggregating env generators [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK. 'fPIC' option found and apparently well managed [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.9.1: Calling build() ----Running------ > cd '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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="11.0" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libc++" -DBUILD_SHARED_LIBS="OFF" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448" -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" -DCONAN_CMAKE_POSITION_INDEPENDENT_CODE="ON" -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="False" -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.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448' ----------------- -- The C compiler identification is AppleClang 11.0.3.11030032 -- The CXX compiler identification is AppleClang 11.0.3.11030032 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /Applications/conan/xcode/11/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/11/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/861f718f93d2a10accf6cced974c926e11465d05/lib/libgmpxx.a -- Library gmp found /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/861f718f93d2a10accf6cced974c926e11465d05/lib/libgmp.a -- Conan: Adjusting language standard -- Conan: Adjusting fPIC flag (ON) -- Conan: C++ stdlib: libc++ -- Z3 version 4.9.1.0 -- Failed to find git directory. -- CMake generator: Unix Makefiles -- Build type: Debug -- Found PythonInterp: /Users/jenkins/env_py_3_7_conan_1_49_0/bin/python3 (found suitable version "3.7.12", minimum required is "3") -- PYTHON_EXECUTABLE: /Users/jenkins/env_py_3_7_conan_1_49_0/bin/python3 -- Detected target architecture: x86_64 -- Platform: Darwin -- Using libgmp -- Found GMP: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/861f718f93d2a10accf6cced974c926e11465d05/lib/libgmp.a -- 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__Werror_non_virtual_dtor -- Performing Test HAS__Werror_non_virtual_dtor - Success -- C++ compiler supports -Werror=non-virtual-dtor -- Performing Test HAS__Werror_null_dereference -- Performing Test HAS__Werror_null_dereference - Success -- C++ compiler supports -Werror=null-dereference -- Performing Test HAS__Werror_no_unreachable_code_return -- Performing Test HAS__Werror_no_unreachable_code_return - Failed -- C++ compiler does not support -Werror=no-unreachable-code-return -- Performing Test HAS__fvisibility_hidden -- Performing Test HAS__fvisibility_hidden - Success -- C++ compiler supports -fvisibility=hidden -- Performing Test HAS__fvisibility_inlines_hidden -- Performing Test HAS__fvisibility_inlines_hidden - Success -- C++ compiler supports -fvisibility-inlines-hidden -- Performing Test HAS__fPIC -- Performing Test HAS__fPIC - Success -- C++ compiler supports -fPIC -- LTO disabled -- Performing Test BUILTIN_ATOMIC -- Performing Test BUILTIN_ATOMIC - Success -- CMAKE_CXX_FLAGS: " -m64 -stdlib=libc++ -Werror=odr -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference " -- 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;-fvisibility-inlines-hidden;-fPIC -- Z3_DEPENDENT_LIBS: GMP::GMP;Threads::Threads -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder;/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/gmp/6.2.1/_/_/package/861f718f93d2a10accf6cced974c926e11465d05/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 params -- 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 "fpa2bv_rewriter_params.hpp" -- Adding rule to generate "pattern_inference_params_helper.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 rewriter -- Adding component normal_forms -- Adding rule to generate "nnf_params.hpp" -- Adding component macros -- 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 euf -- Adding component smt_params -- Adding rule to generate "smt_params_helper.hpp" -- 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 core_tactics -- Adding component subpaving_tactic -- Adding component aig_tactic -- Adding component arith_tactics -- 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 cmd_context -- Adding component extra_cmds -- Adding component smt2parser -- Adding component mbp -- Adding component qe_lite -- Adding component solver_assertions -- Adding component pattern -- Adding component bit_blaster -- Adding component lp -- Adding component sat_smt -- Adding component sat_tactic -- 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 proofs -- Adding component fpa -- 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.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder ----Running------ > cmake --build '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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 [ 1%] 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 [ 3%] 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 [ 4%] 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 [ 5%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/state_graph.cpp.o [ 5%] 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 [ 6%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/z3_exception.cpp.o [ 7%] Building CXX object source_subfolder/src/util/CMakeFiles/util.dir/zstring.cpp.o [ 7%] Built target util [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/seq_rewriter_params.hpp" from "seq_rewriter_params.pyg" [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/math/polynomial/algebraic_params.hpp" from "algebraic_params.pyg" [ 7%] Building CXX object source_subfolder/src/math/automata/CMakeFiles/automata.dir/automaton.cpp.o [ 7%] Building CXX object source_subfolder/src/math/dd/CMakeFiles/dd.dir/dd_bdd.cpp.o [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/arith_rewriter_params.hpp" from "arith_rewriter_params.pyg" [ 7%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/algebraic_numbers.cpp.o [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/array_rewriter_params.hpp" from "array_rewriter_params.pyg" [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/bool_rewriter_params.hpp" from "bool_rewriter_params.pyg" [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/bv_rewriter_params.hpp" from "bv_rewriter_params.pyg" [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/fpa2bv_rewriter_params.hpp" from "fpa2bv_rewriter_params.pyg" [ 7%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/fpa_rewriter_params.hpp" from "fpa_rewriter_params.pyg" [ 8%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/pattern_inference_params_helper.hpp" from "pattern_inference_params_helper.pyg" [ 8%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/poly_rewriter_params.hpp" from "poly_rewriter_params.pyg" [ 8%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/rewriter_params.hpp" from "rewriter_params.pyg" [ 8%] Building CXX object source_subfolder/src/params/CMakeFiles/params.dir/pattern_inference_params.cpp.o [ 8%] Building CXX object source_subfolder/src/params/CMakeFiles/params.dir/context_params.cpp.o [ 8%] Built target automata [ 8%] Building CXX object source_subfolder/src/math/dd/CMakeFiles/dd.dir/dd_pdd.cpp.o [ 8%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/simplex.cpp.o [ 8%] Built target params [ 9%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/polynomial_cache.cpp.o [ 9%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/model_based_opt.cpp.o [ 9%] Built target dd [ 9%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/polynomial.cpp.o [ 9%] Building CXX object source_subfolder/src/math/simplex/CMakeFiles/simplex.dir/bit_matrix.cpp.o [ 9%] Building CXX object source_subfolder/src/math/hilbert/CMakeFiles/hilbert.dir/hilbert_basis.cpp.o [ 9%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/rpolynomial.cpp.o [ 9%] Built target simplex [ 9%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/sexpr2upolynomial.cpp.o [ 9%] Building CXX object source_subfolder/src/math/interval/CMakeFiles/interval.dir/interval_mpq.cpp.o [ 9%] Built target hilbert [ 9%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial.cpp.o [ 10%] Building CXX object source_subfolder/src/math/interval/CMakeFiles/interval.dir/dep_intervals.cpp.o [ 10%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/smt/params/smt_params_helper.hpp" from "smt_params_helper.pyg" [ 10%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/dyn_ack_params.cpp.o [ 10%] Built target interval [ 10%] Building CXX object source_subfolder/src/math/polynomial/CMakeFiles/polynomial.dir/upolynomial_factorization.cpp.o [ 10%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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/smt/params/CMakeFiles/smt_params.dir/preprocessor_params.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving.cpp.o [ 10%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/qi_params.cpp.o [ 10%] Building CXX object source_subfolder/src/math/realclosure/CMakeFiles/realclosure.dir/realclosure.cpp.o [ 10%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/smt_params.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/smt/params/CMakeFiles/smt_params.dir/theory_arith_params.cpp.o [ 10%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpf.cpp.o [ 11%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_array_params.cpp.o [ 11%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_bv_params.cpp.o [ 11%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_pb_params.cpp.o [ 11%] Built target realclosure [ 11%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpff.cpp.o [ 11%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_seq_params.cpp.o [ 11%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpfx.cpp.o [ 11%] Building CXX object source_subfolder/src/smt/params/CMakeFiles/smt_params.dir/theory_str_params.cpp.o [ 11%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ast/pp_params.hpp" from "pp_params.pyg" [ 11%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/act_cache.cpp.o [ 11%] Built target smt_params [ 11%] Building CXX object source_subfolder/src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpq.cpp.o [ 11%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/arith_decl_plugin.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/array_decl_plugin.cpp.o [ 12%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/ast.cpp.o [ 12%] Built target subpaving [ 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%] 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 [ 13%] 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/char_decl_plugin.cpp.o [ 13%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/cost_evaluator.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 [ 14%] Building CXX object source_subfolder/src/ast/CMakeFiles/ast.dir/display_dimacs.cpp.o [ 14%] 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 [ 15%] 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 [ 16%] 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/quantifier_stat.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 [ 17%] 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.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/parsers/util/parser_params.hpp" from "parser_params.pyg" [ 17%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/grobner.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/euf/CMakeFiles/euf.dir/euf_enode.cpp.o [ 17%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/arith_rewriter.cpp.o [ 17%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/cost_parser.cpp.o [ 18%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/pattern_validation.cpp.o [ 18%] Building CXX object source_subfolder/src/ast/euf/CMakeFiles/euf.dir/euf_etable.cpp.o [ 18%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/pdd_simplifier.cpp.o [ 18%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/scanner.cpp.o [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/array_rewriter.cpp.o [ 18%] Building CXX object source_subfolder/src/ast/euf/CMakeFiles/euf.dir/euf_egraph.cpp.o [ 18%] Building CXX object source_subfolder/src/math/grobner/CMakeFiles/grobner.dir/pdd_solver.cpp.o [ 18%] Building CXX object source_subfolder/src/parsers/util/CMakeFiles/parser_util.dir/simple_parser.cpp.o [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/ast_counter.cpp.o [ 18%] Built target grobner [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bit2int.cpp.o [ 18%] Built target euf [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bool_rewriter.cpp.o [ 18%] Built target parser_util [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_bounds.cpp.o [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_simplifier_params.hpp" from "sat_simplifier_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_asymm_branch_params.hpp" from "sat_asymm_branch_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_params.hpp" from "sat_params.pyg" [ 18%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_scc_params.hpp" from "sat_scc_params.pyg" [ 18%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/dimacs.cpp.o [ 18%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_aig_cuts.cpp.o [ 18%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_elim.cpp.o [ 19%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_aig_finder.cpp.o [ 19%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_anf_simplifier.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/bv_rewriter.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/cached_var_subst.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_asymm_branch.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_bcd.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/char_rewriter.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_big.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_binspr.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/datatype_rewriter.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/der.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/distribute_forall.cpp.o [ 20%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause_set.cpp.o [ 20%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/dl_rewriter.cpp.o [ 21%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_clause_use_list.cpp.o [ 21%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cleaner.cpp.o [ 21%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_config.cpp.o [ 21%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/elim_bounds.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/enum2bv_rewriter.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/expr_replacer.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cut_simplifier.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_cutset.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/expr_safe_replace.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_ddfw.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_drat.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/factor_equivs.cpp.o [ 22%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/factor_rewriter.cpp.o [ 22%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_elim_eqs.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_elim_vars.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_gc.cpp.o [ 23%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/fpa_rewriter.cpp.o [ 23%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/func_decl_replace.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_integrity_checker.cpp.o [ 23%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/hoist_rewriter.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_local_search.cpp.o [ 23%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_lookahead.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/inj_axiom.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_lut_finder.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/label_rewriter.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_model_converter.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/maximize_ac_sharing.cpp.o [ 24%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/mk_simplified_app.cpp.o [ 24%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_mus.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_npn3_finder.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_parallel.cpp.o [ 25%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/pb_rewriter.cpp.o [ 25%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/pb2bv_rewriter.cpp.o [ 25%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/push_app_ite.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_prob.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_probing.cpp.o [ 25%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_scc.cpp.o [ 25%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/quant_hoist.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/recfun_rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_simplifier.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/rewriter.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_solver.cpp.o [ 26%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_watched.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/seq_axioms.cpp.o [ 26%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/seq_eq_solver.cpp.o [ 27%] Building CXX object source_subfolder/src/sat/CMakeFiles/sat.dir/sat_xor_finder.cpp.o [ 27%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/seq_rewriter.cpp.o [ 27%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/seq_skolem.cpp.o [ 27%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/th_rewriter.cpp.o [ 27%] Built target sat [ 27%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/value_sweep.cpp.o [ 27%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/nlsat/nlsat_params.hpp" from "nlsat_params.pyg" [ 27%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_clause.cpp.o [ 27%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_evaluator.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/var_subst.cpp.o [ 28%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_explain.cpp.o [ 28%] Building CXX object source_subfolder/src/ast/rewriter/CMakeFiles/rewriter.dir/mk_extract_proc.cpp.o [ 28%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_interval_set.cpp.o [ 28%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_solver.cpp.o [ 28%] Building CXX object source_subfolder/src/nlsat/CMakeFiles/nlsat.dir/nlsat_types.cpp.o [ 28%] Built target rewriter [ 28%] Building CXX object source_subfolder/src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/bit_blaster.cpp.o [ 28%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ast/normal_forms/nnf_params.hpp" from "nnf_params.pyg" [ 28%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/defined_names.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/rewriter/bit_blaster/CMakeFiles/bit_blaster.dir/bit_blaster_rewriter.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_finder.cpp.o [ 29%] Built target nlsat [ 29%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/elim_term_ite.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_manager.cpp.o [ 29%] Built target bit_blaster [ 29%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/name_exprs.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/matcher.cpp.o [ 29%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/binary_heap_priority_queue.cpp.o [ 29%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/binary_heap_upair_queue.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/quantifier_macro_info.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/substitution.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/nnf.cpp.o [ 29%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/core_solver_pretty_printer.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/macro_util.cpp.o [ 29%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/substitution_tree.cpp.o [ 30%] Building CXX object source_subfolder/src/ast/normal_forms/CMakeFiles/normal_forms.dir/pull_quant.cpp.o [ 30%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/dense_matrix.cpp.o [ 30%] Building CXX object source_subfolder/src/ast/macros/CMakeFiles/macros.dir/quasi_macros.cpp.o [ 30%] Building CXX object source_subfolder/src/ast/substitution/CMakeFiles/substitution.dir/unifier.cpp.o [ 30%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/eta_matrix.cpp.o [ 30%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/emonics.cpp.o [ 30%] Built target normal_forms [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/factorization.cpp.o [ 31%] Built target macros [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/factorization_factory_imp.cpp.o [ 31%] Built target substitution [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/gomory.cpp.o [ 31%] Building CXX object source_subfolder/src/ast/proofs/CMakeFiles/proofs.dir/proof_checker.cpp.o [ 31%] Building CXX object source_subfolder/src/ast/proofs/CMakeFiles/proofs.dir/proof_utils.cpp.o [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/hnf_cutter.cpp.o [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/horner.cpp.o [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/indexed_vector.cpp.o [ 31%] Built target proofs [ 31%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_branch.cpp.o [ 31%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/model/model_params.hpp" from "model_params.pyg" [ 31%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/model/model_evaluator_params.hpp" from "model_evaluator_params.pyg" [ 31%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/array_factory.cpp.o [ 31%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/datatype_factory.cpp.o [ 32%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/func_interp.cpp.o [ 32%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_cube.cpp.o [ 33%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_gcd_test.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model2expr.cpp.o [ 33%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/int_solver.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_core.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_evaluator.cpp.o [ 33%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lar_solver.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_implicant.cpp.o [ 33%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lar_core_solver.cpp.o [ 33%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_core_solver_base.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_macro_solver.cpp.o [ 33%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_pp.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_smt2_pp.cpp.o [ 34%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_dual_core_solver.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/model_v2_pp.cpp.o [ 34%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_dual_simplex.cpp.o [ 34%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_primal_core_solver.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/numeral_factory.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/struct_factory.cpp.o [ 34%] Building CXX object source_subfolder/src/model/CMakeFiles/model.dir/value_factory.cpp.o [ 35%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_primal_simplex.cpp.o [ 35%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_settings.cpp.o [ 35%] Built target model [ 35%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_solver.cpp.o [ 35%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/tactic/tactic_params.hpp" from "tactic_params.pyg" [ 36%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/dependency_converter.cpp.o [ 36%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_arith.cpp.o [ 36%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/equiv_proof_converter.cpp.o [ 36%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_arrays.cpp.o [ 36%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/generic_model_converter.cpp.o [ 36%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lu.cpp.o [ 36%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/bv2fpa_converter.cpp.o [ 37%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_datatypes.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal.cpp.o [ 37%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/fpa2bv_converter.cpp.o [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/lp_utils.cpp.o [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/matrix.cpp.o [ 37%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_plugin.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_num_occurs.cpp.o [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/mon_eq.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_shared_occs.cpp.o [ 37%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_solve_plugin.cpp.o [ 37%] Building CXX object source_subfolder/src/ast/fpa/CMakeFiles/fpa.dir/fpa2bv_rewriter.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/goal_util.cpp.o [ 37%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/monomial_bounds.cpp.o [ 37%] Building CXX object source_subfolder/src/qe/mbp/CMakeFiles/mbp.dir/mbp_term_graph.cpp.o [ 37%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/horn_subsume_model_converter.cpp.o [ 37%] Built target fpa [ 38%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nex_creator.cpp.o [ 38%] Built target mbp [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/model_converter.cpp.o [ 39%] Building CXX object source_subfolder/src/smt/proto_model/CMakeFiles/proto_model.dir/proto_model.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_basics_lemmas.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 [ 39%] Built target proto_model [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_common.cpp.o [ 39%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/arith_axioms.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/replace_proof_converter.cpp.o [ 39%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/arith_diagnostics.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/tactical.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_core.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/CMakeFiles/tactic.dir/tactic.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_intervals.cpp.o [ 39%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/arith_internalize.cpp.o [ 39%] Built target tactic [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_monotone_lemmas.cpp.o [ 39%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/arith_solver.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/blast_term_ite_tactic.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_order_lemmas.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/aig/CMakeFiles/aig_tactic.dir/aig.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/cofactor_elim_term_ite.cpp.o [ 39%] Building CXX object source_subfolder/src/tactic/aig/CMakeFiles/aig_tactic.dir/aig_tactic.cpp.o [ 39%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_solver.cpp.o [ 39%] Built target aig_tactic [ 39%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/cofactor_term_ite_tactic.cpp.o [ 40%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nla_tangent_lemmas.cpp.o [ 40%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/solver_params.hpp" from "solver_params.pyg" [ 40%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/combined_solver_params.hpp" from "combined_solver_params.pyg" [ 41%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/parallel_params.hpp" from "parallel_params.pyg" [ 41%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/collect_statistics_tactic.cpp.o [ 41%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/check_sat_result.cpp.o [ 41%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/array_axioms.cpp.o [ 41%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/check_logic.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/nra_solver.cpp.o [ 41%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/ctx_simplify_tactic.cpp.o [ 41%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/array_diagnostics.cpp.o [ 41%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/combined_solver.cpp.o [ 41%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/der_tactic.cpp.o [ 41%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/mus.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/permutation_matrix.cpp.o [ 41%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/array_internalize.cpp.o [ 41%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/distribute_forall_tactic.cpp.o [ 41%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/random_updater.cpp.o [ 41%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/parallel_tactic.cpp.o [ 42%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/array_model.cpp.o [ 43%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/dom_simplify_tactic.cpp.o [ 43%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/row_eta_matrix.cpp.o [ 43%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/smt_logics.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/scaler.cpp.o [ 44%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/array_solver.cpp.o [ 44%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/elim_term_ite_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver_na2as.cpp.o [ 44%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/square_dense_submatrix.cpp.o [ 44%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/atom2bool_var.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver_pool.cpp.o [ 44%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/square_sparse_matrix.cpp.o [ 44%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/elim_uncnstr_tactic.cpp.o [ 44%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/bv_ackerman.cpp.o [ 44%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/solver2tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/math/lp/CMakeFiles/lp.dir/static_matrix.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/injectivity_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/bv_delay_internalize.cpp.o [ 45%] Building CXX object source_subfolder/src/solver/CMakeFiles/solver.dir/tactic2solver.cpp.o [ 45%] Built target lp [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/nnf_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/bv_internalize.cpp.o [ 45%] Built target solver [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/occf_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/qe/lite/CMakeFiles/qe_lite.dir/qe_lite.cpp.o [ 45%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/bv_invariant.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/pb_preprocess_tactic.cpp.o [ 45%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.hpp" from "ackermannize_bv_tactic_params.pyg" [ 45%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ackermannization/ackermannization_params.hpp" from "ackermannization_params.pyg" [ 45%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackermannize_bv_model_converter.cpp.o [ 45%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/propagate_values_tactic.cpp.o [ 45%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackermannize_bv_tactic.cpp.o [ 45%] Built target qe_lite [ 45%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/bv_solver.cpp.o [ 46%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/reduce_args_tactic.cpp.o [ 46%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackr_bound_probe.cpp.o [ 46%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/basic_cmds.cpp.o [ 47%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/dt_solver.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/reduce_invertible_tactic.cpp.o [ 47%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/ackr_model_converter.cpp.o [ 47%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/cmd_context.cpp.o [ 47%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_ackerman.cpp.o [ 48%] Building CXX object source_subfolder/src/ackermannization/CMakeFiles/ackermannization.dir/lackr.cpp.o [ 48%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/simplify_tactic.cpp.o [ 48%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/solve_eqs_tactic.cpp.o [ 48%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_internalize.cpp.o [ 48%] 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/sat/smt/CMakeFiles/sat_smt.dir/euf_invariant.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/tactic/core/CMakeFiles/core_tactics.dir/special_relations_tactic.cpp.o [ 49%] Built target ackermannization [ 49%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_model.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/echo_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/split_clause_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/eval_cmd.cpp.o [ 49%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_proof.cpp.o [ 49%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/symmetry_reduce_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_relevancy.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/parametric_cmd.cpp.o [ 49%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/tseitin_cnf_tactic.cpp.o [ 49%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/euf_solver.cpp.o [ 49%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/pdecl.cpp.o [ 50%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/fpa_solver.cpp.o [ 51%] Building CXX object source_subfolder/src/tactic/core/CMakeFiles/core_tactics.dir/collect_occs.cpp.o [ 51%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/simplify_cmd.cpp.o [ 51%] Building CXX object source_subfolder/src/cmd_context/CMakeFiles/cmd_context.dir/tactic_cmds.cpp.o [ 51%] Built target core_tactics [ 51%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/pb_card.cpp.o [ 51%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bit_blaster_model_converter.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/tactic/arith/CMakeFiles/arith_tactics.dir/add_bounds_tactic.cpp.o [ 52%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/pb_constraint.cpp.o [ 52%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bit_blaster_tactic.cpp.o [ 52%] Built target cmd_context [ 52%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/arith_bounds_tactic.cpp.o [ 52%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bv1_blaster_tactic.cpp.o [ 52%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/pb_internalize.cpp.o [ 53%] Building CXX object source_subfolder/src/math/subpaving/tactic/CMakeFiles/subpaving_tactic.dir/expr2subpaving.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bound_manager.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/sat/smt/CMakeFiles/sat_smt.dir/pb_pb.cpp.o [ 53%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bvarray2uf_rewriter.cpp.o [ 54%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bound_propagator.cpp.o [ 54%] Built target subpaving_tactic [ 54%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/pb_solver.cpp.o [ 54%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/bvarray2uf_tactic.cpp.o [ 54%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/bv2int_rewriter.cpp.o [ 54%] Building CXX object source_subfolder/src/parsers/smt2/CMakeFiles/smt2parser.dir/marshal.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/tactic/arith/CMakeFiles/arith_tactics.dir/bv2real_rewriter.cpp.o [ 55%] Building CXX object source_subfolder/src/parsers/smt2/CMakeFiles/smt2parser.dir/smt2parser.cpp.o [ 55%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_clause.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/sat/smt/CMakeFiles/sat_smt.dir/q_ematch.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/card2bv_tactic.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/parsers/smt2/CMakeFiles/smt2parser.dir/smt2scanner.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/degree_shift_tactic.cpp.o [ 56%] Building CXX object source_subfolder/src/tactic/bv/CMakeFiles/bv_tactics.dir/dt2bv_tactic.cpp.o [ 56%] Built target smt2parser [ 57%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_eval.cpp.o [ 57%] Building CXX object source_subfolder/src/solver/assertions/CMakeFiles/solver_assertions.dir/asserted_formulas.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/tactic/arith/CMakeFiles/arith_tactics.dir/diff_neq_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_mam.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/tactic/bv/CMakeFiles/bv_tactics.dir/max_bv_sharing_tactic.cpp.o [ 57%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_mbi.cpp.o [ 57%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/factor_tactic.cpp.o [ 57%] Built target bv_tactics [ 57%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_model_fixer.cpp.o [ 57%] Built target solver_assertions [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/fix_dl_var_tactic.cpp.o [ 58%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_queue.cpp.o [ 58%] Generating "database.h" [ 58%] Building CXX object source_subfolder/src/ast/pattern/CMakeFiles/pattern.dir/expr_pattern_match.cpp.o [ 58%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/fm_tactic.cpp.o [ 59%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/tactic/sls/sls_params.hpp" from "sls_params.pyg" [ 59%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/bvsls_opt_engine.cpp.o [ 59%] Building CXX object source_subfolder/src/ast/pattern/CMakeFiles/pattern.dir/pattern_inference.cpp.o [ 59%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/q_solver.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/lia2card_tactic.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_engine.cpp.o [ 59%] Built target pattern [ 59%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/recfun_solver.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/sls/CMakeFiles/sls_tactic.dir/sls_tactic.cpp.o [ 59%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/arith_eq_adapter.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/lia2pb_tactic.cpp.o [ 59%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/sat_th.cpp.o [ 59%] Built target sls_tactic [ 59%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/arith_eq_solver.cpp.o [ 59%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/linear_equation.cpp.o [ 60%] Building CXX object source_subfolder/src/sat/smt/CMakeFiles/sat_smt.dir/user_solver.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/dyn_ack.cpp.o [ 60%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/nla2bv_tactic.cpp.o [ 60%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/expr_context_simplifier.cpp.o [ 60%] Built target sat_smt [ 60%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/normalize_bounds_tactic.cpp.o [ 61%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/fingerprints.cpp.o [ 61%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/pb2bv_model_converter.cpp.o [ 61%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/goal2sat.cpp.o [ 61%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/mam.cpp.o [ 62%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/pb2bv_tactic.cpp.o [ 62%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/sat2goal.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/old_interval.cpp.o [ 62%] Building CXX object source_subfolder/src/sat/tactic/CMakeFiles/sat_tactic.dir/sat_tactic.cpp.o [ 62%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/probe_arith.cpp.o [ 62%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/propagate_ineqs_tactic.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/qi_queue.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_axioms.cpp.o [ 62%] Built target sat_tactic [ 62%] Building CXX object source_subfolder/src/tactic/arith/CMakeFiles/arith_tactics.dir/purify_arith_tactic.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/tactic/arith/CMakeFiles/arith_tactics.dir/recover_01_tactic.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_ne_solver.cpp.o [ 62%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_offset_eq.cpp.o [ 62%] Built target arith_tactics [ 63%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/seq_regex.cpp.o [ 63%] Building CXX object source_subfolder/src/sat/sat_solver/CMakeFiles/sat_solver.dir/inc_sat_solver.cpp.o [ 64%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/goal2nlsat.cpp.o [ 65%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/dbg_cmds.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_almost_cg_table.cpp.o [ 65%] Built target sat_solver [ 65%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/nlsat_tactic.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_arith_value.cpp.o [ 65%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/polynomial_cmds.cpp.o [ 65%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/bounded_int2bv_solver.cpp.o [ 65%] Building CXX object source_subfolder/src/nlsat/tactic/CMakeFiles/nlsat_tactic.dir/qfnra_nlsat_tactic.cpp.o [ 65%] Building CXX object source_subfolder/src/cmd_context/extra_cmds/CMakeFiles/extra_cmds.dir/subpaving_cmds.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_case_split_queue.cpp.o [ 65%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/enum2bv_solver.cpp.o [ 65%] Built target nlsat_tactic [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_cg_table.cpp.o [ 65%] Built target extra_cmds [ 65%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/fd_solver.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_checker.cpp.o [ 65%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/pb2bv_solver.cpp.o [ 65%] Building CXX object source_subfolder/src/tactic/fd_solver/CMakeFiles/fd_solver.dir/smtfd_solver.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_clause.cpp.o [ 65%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_clause_proof.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_conflict_resolution.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_consequences.cpp.o [ 66%] Built target fd_solver [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_inv.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_pp.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_context_stat.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_enode.cpp.o [ 66%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_farkas_util.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_for_each_relevant_expr.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_implied_equalities.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_internalizer.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_justification.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_kernel.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_literal.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_lookahead.cpp.o [ 67%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_checker.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_finder.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_model_generator.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_parallel.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_quantifier.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_quick_checker.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_relevancy.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_setup.cpp.o [ 68%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_solver.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_statistics.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_theory.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt_value_sort.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/smt2_extra_cmds.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_arith.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_bapa.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_base.cpp.o [ 69%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_array_full.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_bv.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_char.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_datatype.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dense_diff_logic.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_diff_logic.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dl.cpp.o [ 70%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_dummy.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_fpa.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_lra.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_opt.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_pb.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_recfun.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_seq.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_special_relations.cpp.o [ 71%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str_mc.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_str_regex.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_user_propagator.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_utvpi.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/theory_wmaxsat.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/uses_theory.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/CMakeFiles/smt.dir/watch_list.cpp.o [ 72%] Built target smt [ 72%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/ctx_solver_simplify_tactic.cpp.o [ 72%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/nlarith_util.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/smt_tactic_core.cpp.o [ 72%] Building CXX object source_subfolder/src/smt/tactic/CMakeFiles/smt_tactic.dir/unit_subsumption_tactic.cpp.o [ 72%] 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_plugin.cpp.o [ 72%] Built target smt_tactic [ 73%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_array_plugin.cpp.o [ 73%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/macro_finder_tactic.cpp.o [ 74%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/quasi_macros_tactic.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_bool_plugin.cpp.o [ 74%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_rewriter.cpp.o [ 74%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_rewriter_tactic.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_bv_plugin.cpp.o [ 74%] Building CXX object source_subfolder/src/tactic/ufbv/CMakeFiles/ufbv_tactic.dir/ufbv_tactic.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_cmd.cpp.o [ 74%] 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_dl_plugin.cpp.o [ 74%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_mbi.cpp.o [ 75%] Building CXX object source_subfolder/src/qe/CMakeFiles/qe.dir/qe_mbp.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/qsat.cpp.o [ 75%] Built target qe [ 75%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/muz/base/fp_params.hpp" from "fp_params.pyg" [ 75%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/bind_variables.cpp.o [ 75%] 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/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 [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule_subsumption_index.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_rule_transformer.cpp.o [ 76%] Building CXX object source_subfolder/src/muz/base/CMakeFiles/muz.dir/dl_util.cpp.o [ 76%] 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 [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_bit_blast.cpp.o [ 78%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_coalesce.cpp.o [ 78%] 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 [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_magic_symbolic.cpp.o [ 79%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_quantifier_abstraction.cpp.o [ 79%] 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 [ 80%] Building CXX object source_subfolder/src/muz/transforms/CMakeFiles/transforms.dir/dl_mk_unbound_compressor.cpp.o [ 80%] 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 [ 80%] Building CXX object source_subfolder/src/muz/bmc/CMakeFiles/bmc.dir/dl_bmc_engine.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/tab/CMakeFiles/tab.dir/tab_context.cpp.o [ 80%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/aig_exporter.cpp.o [ 80%] 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 [ 81%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_base.cpp.o [ 81%] Built target bmc [ 81%] 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 [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_check_table.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_compiler.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_dl_interface.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_farkas_learner.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_external_relation.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_finite_product_relation.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_instruction.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_generalizers.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_manager.cpp.o [ 82%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_prop_solver.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_interval_relation.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_lazy_table.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_explanations.cpp.o [ 83%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_sym_mux.cpp.o [ 83%] 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 [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_similarity_compressor.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_mk_simple_joins.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_product_relation.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_relation_manager.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_legacy_mbp.cpp.o [ 84%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_proof_utils.cpp.o [ 84%] 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/rel/CMakeFiles/rel.dir/dl_sieve_relation.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_sparse_table.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_table.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_unsat_core_plugin.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_matrix.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_antiunify.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/dl_table_relation.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/doc.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/karr_relation.cpp.o [ 85%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_mev_array.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_qe_project.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/rel_context.cpp.o [ 86%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/tbv.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/rel/CMakeFiles/rel.dir/udoc_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/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/spacer/CMakeFiles/spacer.dir/spacer_callback.cpp.o [ 87%] Built target rel [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_json.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/ddnf/CMakeFiles/ddnf.dir/ddnf.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_iuc_proof.cpp.o [ 87%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_mbc.cpp.o [ 88%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_pdr.cpp.o [ 88%] Building CXX object source_subfolder/src/muz/spacer/CMakeFiles/spacer.dir/spacer_sat_answer.cpp.o [ 88%] Built target ddnf [ 88%] Built target spacer [ 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_cmds.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/dl_register_engine.cpp.o [ 89%] Building CXX object source_subfolder/src/muz/fp/CMakeFiles/fp.dir/horn_tactic.cpp.o [ 89%] Built target fp [ 90%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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/nra_tactic.cpp.o [ 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/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%] Building CXX object source_subfolder/src/tactic/smtlogics/CMakeFiles/smtlogic_tactics.dir/smt_tactic.cpp.o [ 91%] Built target smtlogic_tactics [ 91%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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_model_converter.cpp.o [ 92%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/fpa2bv_tactic.cpp.o [ 92%] Building CXX object source_subfolder/src/tactic/fpa/CMakeFiles/fpa_tactics.dir/qffp_tactic.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/maxcore.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/maxlex.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/opt/CMakeFiles/opt.dir/opt_context.cpp.o [ 92%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/default_tactic.cpp.o [ 92%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/smt_strategic_solver.cpp.o [ 92%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_cores.cpp.o [ 93%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/solver2lookahead.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_lns.cpp.o [ 94%] Building CXX object source_subfolder/src/tactic/portfolio/CMakeFiles/portfolio.dir/solver_subsumption_tactic.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_pareto.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_parse.cpp.o [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/opt_preprocess.cpp.o [ 94%] Built target portfolio [ 94%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/optsmt.cpp.o [ 94%] 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 [ 95%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/totalizer.cpp.o [ 95%] Building CXX object source_subfolder/src/opt/CMakeFiles/opt.dir/wmax.cpp.o [ 95%] Built target opt [ 95%] 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.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/api_log_macros.h' Generated '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/api_log_macros.cpp' Generated '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/api_commands.cpp' Generated '8' [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_algebraic.cpp.o [ 95%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_arith.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_array.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast_map.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_ast_vector.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_bv.cpp.o [ 96%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_config_params.cpp.o [ 96%] 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 [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_datatype.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_fpa.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_goal.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_log.cpp.o [ 97%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_model.cpp.o [ 97%] 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 [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_parsers.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_pb.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_polynomial.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_qe.cpp.o [ 98%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_quant.cpp.o [ 98%] 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 [ 99%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_special_relations.cpp.o [ 99%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_stats.cpp.o [ 99%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/api_tactic.cpp.o [ 99%] Building CXX object source_subfolder/src/api/CMakeFiles/api.dir/z3_replayer.cpp.o [ 99%] 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 [100%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/mem_initializer.cpp" [100%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/gparams_register_modules.cpp" [100%] Generating "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/install_tactic.cpp" [100%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/dll.cpp.o [100%] Building CXX object source_subfolder/src/api/dll/CMakeFiles/api_dll.dir/gparams_register_modules.cpp.o [100%] 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 static library ../../lib/libz3.a [100%] Built target libz3 z3/4.9.1: Package '7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448' built z3/4.9.1: Build folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448 z3/4.9.1: Generated conaninfo.txt z3/4.9.1: Generated conanbuildinfo.txt z3/4.9.1: Generating the package z3/4.9.1: Package folder /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448 z3/4.9.1: Calling package() ----Running------ > cmake --build '/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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 params [ 7%] Built target automata [ 7%] Built target dd [ 8%] Built target params Consolidate compiler generated dependencies of target simplex Consolidate compiler generated dependencies of target hilbert Consolidate compiler generated dependencies of target polynomial Consolidate compiler generated dependencies of target interval [ 8%] Built target simplex [ 8%] Built target hilbert [ 9%] Built target interval [ 10%] Built target polynomial Consolidate compiler generated dependencies of target realclosure Consolidate compiler generated dependencies of target subpaving [ 10%] Built target realclosure [ 10%] Built target subpaving Consolidate compiler generated dependencies of target smt_params [ 11%] Built target smt_params Consolidate compiler generated dependencies of target ast [ 17%] Built target ast Consolidate compiler generated dependencies of target grobner Consolidate compiler generated dependencies of target euf Consolidate compiler generated dependencies of target parser_util [ 17%] Built target euf [ 17%] Built target grobner [ 18%] Built target parser_util Consolidate compiler generated dependencies of target sat [ 23%] Built target sat Consolidate compiler generated dependencies of target rewriter Consolidate compiler generated dependencies of target nlsat [ 23%] Built target nlsat [ 28%] Built target rewriter Consolidate compiler generated dependencies of target bit_blaster Consolidate compiler generated dependencies of target normal_forms [ 29%] Built target bit_blaster Consolidate compiler generated dependencies of target macros [ 30%] Built target normal_forms [ 30%] Built target macros Consolidate compiler generated dependencies of target substitution Consolidate compiler generated dependencies of target proofs [ 30%] Built target substitution [ 30%] Built target proofs Consolidate compiler generated dependencies of target model [ 32%] Built target model Consolidate compiler generated dependencies of target fpa Consolidate compiler generated dependencies of target mbp [ 32%] Built target fpa [ 33%] Built target mbp Consolidate compiler generated dependencies of target proto_model [ 33%] Built target proto_model Consolidate compiler generated dependencies of target tactic [ 35%] Built target tactic Consolidate compiler generated dependencies of target aig_tactic [ 35%] Built target aig_tactic Consolidate compiler generated dependencies of target solver [ 37%] Built target solver Consolidate compiler generated dependencies of target qe_lite [ 37%] Built target qe_lite Consolidate compiler generated dependencies of target lp Consolidate compiler generated dependencies of target core_tactics Consolidate compiler generated dependencies of target ackermannization [ 43%] Built target lp [ 44%] Built target ackermannization [ 47%] Built target core_tactics Consolidate compiler generated dependencies of target bv_tactics Consolidate compiler generated dependencies of target cmd_context [ 48%] Built target bv_tactics [ 50%] Built target cmd_context Consolidate compiler generated dependencies of target subpaving_tactic Consolidate compiler generated dependencies of target smt2parser [ 51%] Built target subpaving_tactic [ 52%] Built target smt2parser Consolidate compiler generated dependencies of target solver_assertions Consolidate compiler generated dependencies of target sls_tactic [ 52%] Built target solver_assertions [ 53%] Built target sls_tactic Consolidate compiler generated dependencies of target pattern [ 53%] Built target pattern Consolidate compiler generated dependencies of target sat_smt Consolidate compiler generated dependencies of target arith_tactics [ 56%] Built target arith_tactics [ 61%] Built target sat_smt Consolidate compiler generated dependencies of target extra_cmds Consolidate compiler generated dependencies of target sat_tactic [ 62%] Built target extra_cmds [ 62%] Built target sat_tactic Consolidate compiler generated dependencies of target sat_solver Consolidate compiler generated dependencies of target nlsat_tactic [ 62%] Built target sat_solver [ 63%] Built target nlsat_tactic Consolidate compiler generated dependencies of target fd_solver [ 63%] Built target fd_solver Consolidate compiler generated dependencies of target smt [ 72%] Built target smt Consolidate compiler generated dependencies of target smt_tactic [ 72%] Built target smt_tactic Consolidate compiler generated dependencies of target ufbv_tactic [ 73%] Built target ufbv_tactic Consolidate compiler generated dependencies of target qe [ 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 clp Consolidate compiler generated dependencies of target bmc Consolidate compiler generated dependencies of target tab [ 80%] Built target clp [ 80%] Built target bmc [ 80%] Built target tab Consolidate compiler generated dependencies of target rel [ 84%] Built target rel Consolidate compiler generated dependencies of target ddnf Consolidate compiler generated dependencies of target spacer [ 84%] Built target ddnf [ 88%] 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 [ 92%] Built target fpa_tactics Consolidate compiler generated dependencies of target portfolio [ 93%] Built target portfolio Consolidate compiler generated dependencies of target opt [ 95%] 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.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/cmake/z3/Z3Targets.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/cmake/z3/Z3Targets-debug.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/cmake/z3/Z3Config.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/cmake/z3/Z3ConfigVersion.cmake -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/pkgconfig/z3.pc -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/libz3.a -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_algebraic.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_api.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_ast_containers.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_fixedpoint.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_fpa.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3++.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_macros.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_optimization.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_polynomial.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_rcf.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_v1.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/include/z3_spacer.h -- Installing: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/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.9.1 package(): Packaged 1 '.txt' file: LICENSE.txt z3/4.9.1 package(): Packaged 14 '.h' files z3/4.9.1 package(): Packaged 1 '.a' file: libz3.a z3/4.9.1: Package '7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448' created z3/4.9.1: Created package revision 6935aa0faa6a9bfb41ff564fc28078ed [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:51 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): source_subfolder/CMakeLists.txt:100 (disable_git_describe) CMake Warning at source_subfolder/CMakeLists.txt:55 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): source_subfolder/CMakeLists.txt:101 (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.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/math/polynomial/algebraic_params.pyg INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/seq_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/seq_rewriter_params.hpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/math/polynomial/algebraic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/arith_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/arith_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/array_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/array_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/bool_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/bool_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/bv_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/bv_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/fpa2bv_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/fpa2bv_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/fpa_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/fpa_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/pattern_inference_params_helper.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/pattern_inference_params_helper.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/poly_rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/poly_rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/params/rewriter_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/params/rewriter_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/smt/params/smt_params_helper.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/smt/params/smt_params_helper.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/math/realclosure/rcf_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/math/realclosure/rcf_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/ast/pp_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ast/pp_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/parsers/util/parser_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/parsers/util/parser_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/sat/sat_simplifier_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_simplifier_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/sat/sat_asymm_branch_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_asymm_branch_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/sat/sat_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/sat/sat_scc_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/sat/sat_scc_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/nlsat/nlsat_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/nlsat/nlsat_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/ast/normal_forms/nnf_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ast/normal_forms/nnf_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/model/model_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/model/model_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/model/model_evaluator_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/model/model_evaluator_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/tactic/tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/tactic/tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/solver/solver_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/solver_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/solver/combined_solver_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/combined_solver_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/solver/parallel_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/solver/parallel_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ackermannization/ackermannize_bv_tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/ackermannization/ackermannization_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ackermannization/ackermannization_params.hpp" /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/tactic/bv/bv_size_reduction_tactic.cpp:115:14: warning: unused variable 'match_bitmask' [-Wunused-variable] auto match_bitmask = [&](expr* lhs, expr* rhs) { ^ 1 warning generated. INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/ast/pattern/database.h" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/tactic/sls/sls_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/tactic/sls/sls_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/muz/base/fp_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/muz/base/fp_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/tactic/smtlogics/qfufbv_tactic_params.hpp" INFO:root:Using /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/source_subfolder/src/opt/opt_params.pyg INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/opt/opt_params.hpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/mem_initializer.cpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/gparams_register_modules.cpp" INFO:root:Generated "/Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/build/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/build_subfolder/source_subfolder/src/api/dll/install_tactic.cpp" /Applications/conan/xcode/11/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: ../../lib/libz3.a(dll.cpp.o) has no symbols /Applications/conan/xcode/11/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: ../../lib/libz3.a(dll.cpp.o) has no symbols /Applications/conan/xcode/11/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: /Users/jenkins/w/prod/BuildSingleReference@3/.conan/data/z3/4.9.1/_/_/package/7b8f2c9481cfee1333a1d2a0b4bd8d72ec64e448/lib/libz3.a(dll.cpp.o) has no symbols