2026-08-16T12:17:54,026 Created temporary directory: /tmp/pip-ephem-wheel-cache-57nvgaym 2026-08-16T12:17:54,028 Created temporary directory: /tmp/pip-build-tracker-10e7pnwa 2026-08-16T12:17:54,029 Initialized build tracking at /tmp/pip-build-tracker-10e7pnwa 2026-08-16T12:17:54,029 Created build tracker: /tmp/pip-build-tracker-10e7pnwa 2026-08-16T12:17:54,030 Entered build tracker: /tmp/pip-build-tracker-10e7pnwa 2026-08-16T12:17:54,031 Created temporary directory: /tmp/pip-wheel-ceigo6ty 2026-08-16T12:17:54,033 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-08-16T12:17:54,036 Created temporary directory: /tmp/pip-ephem-wheel-cache-w9kvogx2 2026-08-16T12:17:54,058 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-08-16T12:17:54,062 2 location(s) to search for versions of eqbool: 2026-08-16T12:17:54,062 * https://pypi.org/simple/eqbool/ 2026-08-16T12:17:54,062 * https://www.piwheels.org/simple/eqbool/ 2026-08-16T12:17:54,063 Fetching project page and analyzing links: https://pypi.org/simple/eqbool/ 2026-08-16T12:17:54,064 Getting page https://pypi.org/simple/eqbool/ 2026-08-16T12:17:54,065 Found index url https://pypi.org/simple 2026-08-16T12:17:54,296 Fetched page https://pypi.org/simple/eqbool/ as application/vnd.pypi.simple.v1+json 2026-08-16T12:17:54,304 Found link https://files.pythonhosted.org/packages/37/e9/9ef34c0a75bda5cf3b3a4ffe7fcf3b5952230f41fdb3b504050db95404f7/eqbool-0.1a1.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.1a1 2026-08-16T12:17:54,305 Found link https://files.pythonhosted.org/packages/7b/e9/2f84af2a9d5285107249fa0c845479fd353b687f451e166e7bec33799b10/eqbool-0.2.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.2 2026-08-16T12:17:54,306 Found link https://files.pythonhosted.org/packages/63/82/9139bf0a7da0eb237dd83855b18e4b5b68bc45d20b181fa2dd170b1d8969/eqbool-0.3.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.7), version: 0.3 2026-08-16T12:17:54,307 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/6d/37/af4e890163f66175703223db1b490de1e26187569493e6b79a1d73ca69f9/eqbool-0.4-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,307 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/d7/cf/7597037c8a3c910eb6972a368e1d92984340e3a24516c155814e879b5915/eqbool-0.4-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,308 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/fd/28/493b5cfe53ae4f1916f8fec2075f7694749c5d9301da3e331dc1d0cf7b7d/eqbool-0.4-cp310-cp310-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,309 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/cf/07/73e2e7da123aa5714fa34ce12d74c8e8386a584e27d19ebd9afd41f3182e/eqbool-0.4-cp310-cp310-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,310 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/d7/70/5e89acbff9c5d19c3104b04311f83b32638ec741cc24e8904c0d27648acb/eqbool-0.4-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,310 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/27/01/962fa86fdea027177f35fc7bb7f2828e6ed5ef8b88a8d66bb09b367b2374/eqbool-0.4-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,311 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/8b/02/e365ddc95353b0f49881af336f0e157b4a53ece8bf8b1eee4bc3e34cc8e1/eqbool-0.4-cp311-cp311-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,312 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/ce/13/972dbc0faee1b745215963f42288cbc66b94306720e97b2d43e0b770754b/eqbool-0.4-cp311-cp311-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,312 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/b3/f5/f240621a945e48f2582d6c25b8e3dd25e823a4a88fb4853cb3d887b7f2a8/eqbool-0.4-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,313 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/54/3c/ca58fc072687e82c1670d90926cfacf2e4ba8dd1b4744f655cbd25858fc5/eqbool-0.4-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,313 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/a2/18/f0de3eea2aeac8520a5a468fcce722a59346ed0c678f3948988fed8e2295/eqbool-0.4-cp312-cp312-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,314 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/e4/75/58fb053219bef577539c8ec8e8e414ecf1369856b3f7b7563d99692e9983/eqbool-0.4-cp312-cp312-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,314 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/91/f9/ce459525aec58ae544bd7790240cafe158c76443ede546ec0995e142546b/eqbool-0.4-cp313-cp313-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,315 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/e7/56/a875359275012b1313946b400075dc0040293e417a5093ccacdfacc4e1d6/eqbool-0.4-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,315 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/59/df/62bd32c04988edd561b261546300a9720ae3e224dc8ce0615e63bf6c5a80/eqbool-0.4-cp313-cp313-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,316 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/59/15/f4ecb32edad2ae83ef1e9457ad0175facf2950bce4246f742421c609ae07/eqbool-0.4-cp313-cp313-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,317 Found link https://files.pythonhosted.org/packages/ac/73/c42b321196ace274033222cdbc65b379ae9e856352fea94cdc5dada40568/eqbool-0.4.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10), version: 0.4 2026-08-16T12:17:54,318 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/88/9f/d5ce204c6976424b8b22b6e81c95796dcb5101d4c906ae34bb55dafe65c3/eqbool-0.5-cp310-cp310-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,318 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/8b/65/0084e35afab60aae0908cc4d37a6260d70438f9a4acbe338ace971185b1a/eqbool-0.5-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,319 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/ba/1f/94f28c0fc94192d49fe988a4eec793118bce98413ac1a124cfb3186f81fa/eqbool-0.5-cp310-cp310-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,320 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/e9/49/0e45e0d5ea0028d95910fa21035114c5b34ca51ebb4d8d425cac7bfcd3fd/eqbool-0.5-cp310-cp310-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,321 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/11/b9/e0269daf9674cf16cbfd731d4737a72db3e700c91548e901cb8962aca30c/eqbool-0.5-cp311-cp311-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,321 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/fd/76/793beb337f21537cf546433c4bb8a7b9ca7a4899ad42c83dda9477e824db/eqbool-0.5-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,321 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/0f/54/74e5c4d8f4597c179746b833bc0f9753814141bdc87ae7c6cb2b343e8bd4/eqbool-0.5-cp311-cp311-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,322 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/4b/b4/ea5760f1bb72f8d8c368306ef154360a61aabdb86c8bf1590c5ec32ef84b/eqbool-0.5-cp311-cp311-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,322 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/bf/b7/6be0ff9cb7105d3bfdf8c4795b26e93e9f35e05d54a5470d72803eae9857/eqbool-0.5-cp312-cp312-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,323 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/d9/3b/c7b7c83382a5e13ffb36615ac5b687e75922675bbc41b7e01ff4908a2ffd/eqbool-0.5-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,323 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/c1/8f/5ee101b08796f5ef9a911be629249e15e24084df3246c0b35135a926fb98/eqbool-0.5-cp312-cp312-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,324 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/71/3e/2eb92d490578ac8b954aebb6f14c7c88f4b84dcd3480c0c3af2c797899ba/eqbool-0.5-cp312-cp312-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,325 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/09/8c/1d200d10930a8f5d9c1fa3549c5829d580e4b8c4f67f5a394cb78fd47d67/eqbool-0.5-cp313-cp313-manylinux_2_17_i686.manylinux2014_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,325 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/87/af/359c7b0428bd5c4abcad871f7ab71c53d127560aa77eb1b83b25ce4c6be3/eqbool-0.5-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,326 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/6d/87/10e58185ff3c2deb334d96f751dea6f467d3be4d68f0bd37705e3a788d56/eqbool-0.5-cp313-cp313-musllinux_1_2_i686.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,327 Skipping link: No binaries permitted for eqbool: https://files.pythonhosted.org/packages/32/2b/4543479d24d1fffe26be9eb6f02587e025f7eba04be9f7547ce96f532e01/eqbool-0.5-cp313-cp313-musllinux_1_2_x86_64.whl (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,328 Found link https://files.pythonhosted.org/packages/89/18/c4f951c23555f3df7836c7154f4d54095e4b8768e3e92b688b447e973f00/eqbool-0.5.tar.gz (from https://pypi.org/simple/eqbool/) (requires-python:>=3.10), version: 0.5 2026-08-16T12:17:54,329 Fetching project page and analyzing links: https://www.piwheels.org/simple/eqbool/ 2026-08-16T12:17:54,329 Getting page https://www.piwheels.org/simple/eqbool/ 2026-08-16T12:17:54,331 Found index url https://www.piwheels.org/simple 2026-08-16T12:17:54,716 Fetched page https://www.piwheels.org/simple/eqbool/ as text/html 2026-08-16T12:17:54,719 Skipping link: No binaries permitted for eqbool: https://www.piwheels.org/simple/eqbool/eqbool-0.4-cp311-cp311-linux_armv6l.whl#sha256=a5c266f2bbab57500e4cc0dcb33de8481b24848b897f08ee9ff921dfd6614ea5 (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,720 Skipping link: No binaries permitted for eqbool: https://www.piwheels.org/simple/eqbool/eqbool-0.4-cp311-cp311-linux_armv7l.whl#sha256=a5c266f2bbab57500e4cc0dcb33de8481b24848b897f08ee9ff921dfd6614ea5 (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,720 Skipping link: No binaries permitted for eqbool: https://www.piwheels.org/simple/eqbool/eqbool-0.4-cp313-cp313-linux_armv6l.whl#sha256=3723a8374bf05a0abb666e6be3115981d7254932ba6d6e22bcdcffa152347078 (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,721 Skipping link: No binaries permitted for eqbool: https://www.piwheels.org/simple/eqbool/eqbool-0.4-cp313-cp313-linux_armv7l.whl#sha256=3723a8374bf05a0abb666e6be3115981d7254932ba6d6e22bcdcffa152347078 (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.10) 2026-08-16T12:17:54,721 Skipping link: No binaries permitted for eqbool: https://archive1.piwheels.org/simple/eqbool/eqbool-0.1a1-py3-none-any.whl#sha256=e29da09a7b8c828bd275f985acf9f0d3e9f81bb6534cb1f4e5870fa89002864e (from https://www.piwheels.org/simple/eqbool/) (requires-python:>=3.7) 2026-08-16T12:17:54,722 Skipping link: not a file: https://www.piwheels.org/simple/eqbool/ 2026-08-16T12:17:54,722 Skipping link: not a file: https://pypi.org/simple/eqbool/ 2026-08-16T12:17:54,742 Given no hashes to check 1 links for project 'eqbool': discarding no candidates 2026-08-16T12:17:54,759 Collecting eqbool==0.5 2026-08-16T12:17:54,762 Created temporary directory: /tmp/pip-unpack-wsrbeo16 2026-08-16T12:17:54,915 Downloading eqbool-0.5.tar.gz (337 kB) 2026-08-16T12:17:55,353 Added eqbool==0.5 from https://files.pythonhosted.org/packages/89/18/c4f951c23555f3df7836c7154f4d54095e4b8768e3e92b688b447e973f00/eqbool-0.5.tar.gz to build tracker '/tmp/pip-build-tracker-10e7pnwa' 2026-08-16T12:17:55,359 Created temporary directory: /tmp/pip-build-env-ojsn6tou 2026-08-16T12:17:55,364 Installing build dependencies: started 2026-08-16T12:17:55,366 Running command pip subprocess to install build dependencies 2026-08-16T12:17:56,542 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2026-08-16T12:17:56,953 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2026-08-16T12:17:56,976 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-08-16T12:17:58,789 Collecting setuptools>=61.0 2026-08-16T12:17:58,790 Obtaining dependency information for setuptools>=61.0 from https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl.metadata 2026-08-16T12:17:58,808 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl.metadata (6.6 kB) 2026-08-16T12:17:59,058 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl (818 kB) 2026-08-16T12:17:59,143 Using cached https://www.piwheels.org/simple/setuptools/setuptools-84.0.0-py3-none-any.whl (818 kB) 2026-08-16T12:18:02,100 Installing collected packages: setuptools 2026-08-16T12:18:04,403 Successfully installed setuptools-84.0.0 2026-08-16T12:18:04,672 Installing build dependencies: finished with status 'done' 2026-08-16T12:18:04,678 Getting requirements to build wheel: started 2026-08-16T12:18:04,679 Running command Getting requirements to build wheel 2026-08-16T12:18:05,288 /tmp/pip-build-env-ojsn6tou/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-16T12:18:05,289 corresp(dist, value, root_dir) 2026-08-16T12:18:05,375 running egg_info 2026-08-16T12:18:05,381 writing eqbool.egg-info/PKG-INFO 2026-08-16T12:18:05,384 writing dependency_links to eqbool.egg-info/dependency_links.txt 2026-08-16T12:18:05,386 writing entry points to eqbool.egg-info/entry_points.txt 2026-08-16T12:18:05,388 writing top-level names to eqbool.egg-info/top_level.txt 2026-08-16T12:18:05,423 reading manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:05,440 reading manifest template 'MANIFEST.in' 2026-08-16T12:18:05,523 adding license file 'LICENSE' 2026-08-16T12:18:05,532 writing manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:05,630 Getting requirements to build wheel: finished with status 'done' 2026-08-16T12:18:05,634 Created temporary directory: /tmp/pip-modern-metadata-nvmhqso4 2026-08-16T12:18:05,637 Preparing metadata (pyproject.toml): started 2026-08-16T12:18:05,638 Running command Preparing metadata (pyproject.toml) 2026-08-16T12:18:06,207 /tmp/pip-build-env-ojsn6tou/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-16T12:18:06,207 corresp(dist, value, root_dir) 2026-08-16T12:18:06,289 running dist_info 2026-08-16T12:18:06,299 creating /tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info 2026-08-16T12:18:06,300 writing /tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/PKG-INFO 2026-08-16T12:18:06,303 writing dependency_links to /tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/dependency_links.txt 2026-08-16T12:18:06,305 writing entry points to /tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/entry_points.txt 2026-08-16T12:18:06,307 writing top-level names to /tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/top_level.txt 2026-08-16T12:18:06,308 writing manifest file '/tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:06,331 reading manifest file '/tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:06,333 reading manifest template 'MANIFEST.in' 2026-08-16T12:18:06,416 adding license file 'LICENSE' 2026-08-16T12:18:06,422 writing manifest file '/tmp/pip-modern-metadata-nvmhqso4/eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:06,423 creating '/tmp/pip-modern-metadata-nvmhqso4/eqbool-0.5.dist-info' 2026-08-16T12:18:06,546 Preparing metadata (pyproject.toml): finished with status 'done' 2026-08-16T12:18:06,552 Source in /tmp/pip-wheel-ceigo6ty/eqbool_2ad9d787860943b895ecf6c69431cb85 has version 0.5, which satisfies requirement eqbool==0.5 from https://files.pythonhosted.org/packages/89/18/c4f951c23555f3df7836c7154f4d54095e4b8768e3e92b688b447e973f00/eqbool-0.5.tar.gz 2026-08-16T12:18:06,553 Removed eqbool==0.5 from https://files.pythonhosted.org/packages/89/18/c4f951c23555f3df7836c7154f4d54095e4b8768e3e92b688b447e973f00/eqbool-0.5.tar.gz from build tracker '/tmp/pip-build-tracker-10e7pnwa' 2026-08-16T12:18:06,559 Created temporary directory: /tmp/pip-unpack-muhnxtj0 2026-08-16T12:18:06,560 Building wheels for collected packages: eqbool 2026-08-16T12:18:06,565 Created temporary directory: /tmp/pip-wheel-5tbl4swp 2026-08-16T12:18:06,565 Destination directory: /tmp/pip-wheel-5tbl4swp 2026-08-16T12:18:06,568 Building wheel for eqbool (pyproject.toml): started 2026-08-16T12:18:06,569 Running command Building wheel for eqbool (pyproject.toml) 2026-08-16T12:18:07,124 /tmp/pip-build-env-ojsn6tou/overlay/local/lib/python3.11/dist-packages/setuptools/config/_apply_pyprojecttoml.py:82: SetuptoolsWarning: `license` overwritten by `pyproject.toml` 2026-08-16T12:18:07,125 corresp(dist, value, root_dir) 2026-08-16T12:18:07,197 running bdist_wheel 2026-08-16T12:18:07,214 running build 2026-08-16T12:18:07,215 running build_py 2026-08-16T12:18:07,221 creating build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,223 copying eqbool/_main.py -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,225 copying eqbool/__init__.py -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,227 running egg_info 2026-08-16T12:18:07,237 writing eqbool.egg-info/PKG-INFO 2026-08-16T12:18:07,240 writing dependency_links to eqbool.egg-info/dependency_links.txt 2026-08-16T12:18:07,241 writing entry points to eqbool.egg-info/entry_points.txt 2026-08-16T12:18:07,242 writing top-level names to eqbool.egg-info/top_level.txt 2026-08-16T12:18:07,253 reading manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:07,262 reading manifest template 'MANIFEST.in' 2026-08-16T12:18:07,358 adding license file 'LICENSE' 2026-08-16T12:18:07,366 writing manifest file 'eqbool.egg-info/SOURCES.txt' 2026-08-16T12:18:07,371 copying eqbool/_eqbool.cpp -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,374 copying eqbool/_eqbool.pyi -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,377 copying eqbool/py.typed -> build/lib.linux-armv7l-cpython-311/eqbool 2026-08-16T12:18:07,379 running build_ext 2026-08-16T12:18:07,388 building 'eqbool._eqbool' extension 2026-08-16T12:18:07,410 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/analyze.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/analyze.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:11,648 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:18:11,648 from /usr/include/c++/12/queue:61, 2026-08-16T12:18:11,649 from cadical/src/internal.hpp:34, 2026-08-16T12:18:11,650 from cadical/src/analyze.cpp:1: 2026-08-16T12:18:11,650 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:18:11,651 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:18:11,652 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:18:11,652 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:11,856 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:18:11,856 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:11,857 inlined from ‘CaDiCaL::Clause* CaDiCaL::Internal::on_the_fly_strengthen(CaDiCaL::Clause*, int)’ at cadical/src/analyze.cpp:776:28: 2026-08-16T12:18:11,858 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:11,858 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:11,859 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:11,860 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:11,861 inlined from ‘CaDiCaL::Clause* CaDiCaL::Internal::on_the_fly_strengthen(CaDiCaL::Clause*, int)’ at cadical/src/analyze.cpp:782:28: 2026-08-16T12:18:11,861 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:11,862 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:11,862 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:12,042 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:18:12,043 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:18:12,044 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:18:12,044 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:12,079 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:12,080 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:18:12,080 inlined from ‘void CaDiCaL::Internal::learn_empty_clause()’ at cadical/src/analyze.cpp:27:24: 2026-08-16T12:18:12,081 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:12,082 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:18:12,082 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:14,614 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,614 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:326:26, 2026-08-16T12:18:14,615 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-16T12:18:14,616 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,617 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,617 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,618 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,619 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:270:26, 2026-08-16T12:18:14,619 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-16T12:18:14,620 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-16T12:18:14,621 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,622 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,622 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,623 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,624 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:295:28, 2026-08-16T12:18:14,625 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-16T12:18:14,625 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1013:20: 2026-08-16T12:18:14,626 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,627 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,627 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,628 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,628 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1038:32: 2026-08-16T12:18:14,629 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,630 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,630 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,631 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,632 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:326:26, 2026-08-16T12:18:14,632 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-16T12:18:14,633 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,634 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,635 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,635 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,636 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:270:26, 2026-08-16T12:18:14,637 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-16T12:18:14,637 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-16T12:18:14,638 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,639 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,640 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,640 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,641 inlined from ‘void CaDiCaL::Internal::analyze_literal(int, int&, int&, int&)’ at cadical/src/analyze.cpp:295:28, 2026-08-16T12:18:14,642 inlined from ‘void CaDiCaL::Internal::analyze_reason(int, CaDiCaL::Clause*, int&, int&, int&)’ at cadical/src/analyze.cpp:329:23, 2026-08-16T12:18:14,642 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1089:22: 2026-08-16T12:18:14,643 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,644 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,645 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:14,645 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:14,646 inlined from ‘void CaDiCaL::Internal::analyze()’ at cadical/src/analyze.cpp:1172:28: 2026-08-16T12:18:14,646 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:14,647 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:14,648 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:16,091 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/arena.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/arena.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:18,985 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/assume.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/assume.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:22,764 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:18:22,765 from /usr/include/c++/12/queue:61, 2026-08-16T12:18:22,766 from cadical/src/internal.hpp:34, 2026-08-16T12:18:22,767 from cadical/src/assume.cpp:1: 2026-08-16T12:18:22,767 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:18:22,768 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:18:22,769 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:18:22,770 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:22,896 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:18:22,897 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,898 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26: 2026-08-16T12:18:22,899 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,899 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,900 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,901 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,901 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-16T12:18:22,902 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,903 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,904 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,905 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,905 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,906 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-16T12:18:22,906 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,907 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,908 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,908 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,909 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,909 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,910 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:48:26, 2026-08-16T12:18:22,910 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,911 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,911 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,912 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,913 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,913 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,914 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,915 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-16T12:18:22,916 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,916 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,917 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,918 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,918 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,919 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,920 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,920 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-16T12:18:22,921 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30, 2026-08-16T12:18:22,922 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,922 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,923 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,924 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,925 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,925 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26, 2026-08-16T12:18:22,926 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:55:30: 2026-08-16T12:18:22,926 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,926 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,927 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:22,928 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:22,928 inlined from ‘void CaDiCaL::Internal::assume_analyze_literal(int)’ at cadical/src/assume.cpp:57:26: 2026-08-16T12:18:22,929 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:22,929 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:22,930 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,068 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,068 inlined from ‘void CaDiCaL::Internal::assume_analyze_reason(int, CaDiCaL::Clause*)’ at cadical/src/assume.cpp:73:24: 2026-08-16T12:18:23,069 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,070 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,070 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,772 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,773 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:189:34: 2026-08-16T12:18:23,773 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,774 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,775 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,775 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,776 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:194:34: 2026-08-16T12:18:23,777 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,777 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,778 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,779 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,780 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:198:30: 2026-08-16T12:18:23,781 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,782 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,782 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,783 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,783 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:215:30: 2026-08-16T12:18:23,784 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,784 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,785 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,786 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,786 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:328:30: 2026-08-16T12:18:23,787 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,787 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,788 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,789 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,789 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:363:47: 2026-08-16T12:18:23,790 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,791 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,791 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,792 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,793 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:391:30: 2026-08-16T12:18:23,794 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,795 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,795 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,796 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,797 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:409:36: 2026-08-16T12:18:23,797 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,798 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,799 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,800 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,801 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:418:32: 2026-08-16T12:18:23,801 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,802 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,802 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,803 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,803 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:430:36: 2026-08-16T12:18:23,804 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,805 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,805 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,806 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,807 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:438:36: 2026-08-16T12:18:23,807 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,808 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,808 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:23,809 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:23,810 inlined from ‘void CaDiCaL::Internal::failing()’ at cadical/src/assume.cpp:442:32: 2026-08-16T12:18:23,811 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:23,811 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:23,812 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:25,862 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/averages.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/averages.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:28,818 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/backtrack.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/backtrack.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:32,873 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/backward.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/backward.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:35,973 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:18:35,974 from /usr/include/c++/12/queue:61, 2026-08-16T12:18:35,975 from cadical/src/internal.hpp:34, 2026-08-16T12:18:35,975 from cadical/src/backward.cpp:1: 2026-08-16T12:18:35,976 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:18:35,977 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:18:35,978 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:18:35,978 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:36,231 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:18:36,232 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:36,233 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:178:36, 2026-08-16T12:18:36,233 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-16T12:18:36,234 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:36,234 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:36,235 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:36,236 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:36,236 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:181:34, 2026-08-16T12:18:36,237 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-16T12:18:36,238 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:36,238 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:36,239 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:36,240 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:36,241 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:182:34, 2026-08-16T12:18:36,242 inlined from ‘void CaDiCaL::Internal::elim_backward_clause(CaDiCaL::Eliminator&, CaDiCaL::Clause*)’ at cadical/src/backward.cpp:40:6: 2026-08-16T12:18:36,242 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:36,243 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:36,244 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:36,831 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/bins.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/bins.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:40,679 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/block.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/block.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:46,494 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ccadical.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ccadical.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:47,350 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/checker.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/checker.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:53,029 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/clause.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/clause.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:18:56,822 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:18:56,822 from /usr/include/c++/12/queue:61, 2026-08-16T12:18:56,823 from cadical/src/internal.hpp:34, 2026-08-16T12:18:56,824 from cadical/src/clause.cpp:1: 2026-08-16T12:18:56,824 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:18:56,825 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:18:56,825 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:18:56,826 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:18:57,072 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:18:57,073 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:57,073 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:404:36: 2026-08-16T12:18:57,074 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:57,075 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:57,076 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:57,077 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:57,077 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:444:32: 2026-08-16T12:18:57,078 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:57,079 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:57,080 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:57,080 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:18:57,081 inlined from ‘void CaDiCaL::Internal::add_new_original_clause(uint64_t)’ at cadical/src/clause.cpp:472:28: 2026-08-16T12:18:57,082 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:18:57,082 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:18:57,083 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:18:57,968 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/collect.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/collect.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:02,747 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/compact.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/compact.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:13,424 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/condition.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/condition.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:19,314 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/config.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/config.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:22,270 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/constrain.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/constrain.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:25,674 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/contract.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/contract.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:28,273 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/cover.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/cover.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:33,260 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:19:33,261 from /usr/include/c++/12/queue:61, 2026-08-16T12:19:33,261 from cadical/src/internal.hpp:34, 2026-08-16T12:19:33,262 from cadical/src/cover.cpp:1: 2026-08-16T12:19:33,262 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:19:33,263 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:19:33,263 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:19:33,264 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:19:33,681 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:19:33,681 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:33,682 inlined from ‘bool CaDiCaL::Internal::cover_clause(CaDiCaL::Clause*, CaDiCaL::Coveror&)’ at cadical/src/cover.cpp:403:36: 2026-08-16T12:19:33,683 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:33,683 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:33,684 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:33,685 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:33,685 inlined from ‘bool CaDiCaL::Internal::cover_clause(CaDiCaL::Clause*, CaDiCaL::Coveror&)’ at cadical/src/cover.cpp:440:32: 2026-08-16T12:19:33,686 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:33,687 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:33,688 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:35,189 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/decide.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/decide.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:39,037 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/decompose.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/decompose.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:42,537 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:19:42,538 from /usr/include/c++/12/queue:61, 2026-08-16T12:19:42,538 from cadical/src/internal.hpp:34, 2026-08-16T12:19:42,539 from cadical/src/decompose.cpp:1: 2026-08-16T12:19:42,540 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:19:42,540 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:19:42,541 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:19:42,541 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:19:42,586 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:19:42,587 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,587 inlined from ‘void CaDiCaL::Internal::decompose_analyze_binary_chain(CaDiCaL::DFS*, int)’ at cadical/src/decompose.cpp:14:24: 2026-08-16T12:19:42,588 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,588 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,589 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,632 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,633 inlined from ‘void CaDiCaL::Internal::decompose_conflicting_scc_lrat(CaDiCaL::DFS*, std::vector&)’ at cadical/src/decompose.cpp:61:28: 2026-08-16T12:19:42,634 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,634 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,635 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,742 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,742 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:93:28: 2026-08-16T12:19:42,743 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,744 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,745 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,746 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,746 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:105:28: 2026-08-16T12:19:42,747 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,748 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,748 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,749 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,749 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:114:28: 2026-08-16T12:19:42,750 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,750 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,751 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,751 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,752 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:119:30: 2026-08-16T12:19:42,752 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,753 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,754 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:42,754 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:42,755 inlined from ‘void CaDiCaL::Internal::build_lrat_for_clause(const std::vector >&, bool)’ at cadical/src/decompose.cpp:122:30: 2026-08-16T12:19:42,755 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:42,756 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:42,757 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,667 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,668 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:320:44, 2026-08-16T12:19:43,668 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,669 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,670 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,671 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,676 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,676 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:544:30, 2026-08-16T12:19:43,677 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,677 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,678 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,679 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,679 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,680 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:559:34, 2026-08-16T12:19:43,680 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,681 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,681 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,682 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,682 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,683 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:565:32, 2026-08-16T12:19:43,684 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,684 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,685 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,686 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,687 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,687 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:583:32, 2026-08-16T12:19:43,688 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,689 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,689 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,690 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:43,691 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:43,691 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:588:28, 2026-08-16T12:19:43,692 inlined from ‘bool CaDiCaL::Internal::decompose_round()’ at cadical/src/decompose.cpp:144:6: 2026-08-16T12:19:43,693 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:43,693 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:43,694 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:45,226 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/deduplicate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/deduplicate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:48,182 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:19:48,182 from /usr/include/c++/12/queue:61, 2026-08-16T12:19:48,183 from cadical/src/internal.hpp:34, 2026-08-16T12:19:48,183 from cadical/src/deduplicate.cpp:1: 2026-08-16T12:19:48,184 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:19:48,184 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:19:48,185 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:19:48,185 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:19:48,319 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:19:48,319 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:48,320 inlined from ‘void CaDiCaL::Internal::mark_duplicated_binary_clauses_as_garbage()’ at cadical/src/deduplicate.cpp:113:34: 2026-08-16T12:19:48,320 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:48,321 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:48,322 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:48,322 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:48,323 inlined from ‘void CaDiCaL::Internal::mark_duplicated_binary_clauses_as_garbage()’ at cadical/src/deduplicate.cpp:122:36: 2026-08-16T12:19:48,324 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:48,325 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:48,325 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:48,847 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/drattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/drattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:52,336 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/elim.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/elim.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:19:56,823 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:19:56,824 from /usr/include/c++/12/queue:61, 2026-08-16T12:19:56,824 from cadical/src/internal.hpp:34, 2026-08-16T12:19:56,825 from cadical/src/elim.cpp:1: 2026-08-16T12:19:56,826 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:19:56,827 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:19:56,828 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:19:56,828 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:19:57,786 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:19:57,787 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:57,788 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:313:28: 2026-08-16T12:19:57,788 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:57,789 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:57,790 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:57,790 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:57,791 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:354:28: 2026-08-16T12:19:57,791 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:57,792 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:57,793 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:57,793 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:57,794 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:370:26: 2026-08-16T12:19:57,795 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:57,795 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:57,796 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:57,797 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:19:57,798 inlined from ‘bool CaDiCaL::Internal::resolve_clauses(CaDiCaL::Eliminator&, CaDiCaL::Clause*, int, CaDiCaL::Clause*, bool)’ at cadical/src/elim.cpp:371:26: 2026-08-16T12:19:57,798 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:19:57,799 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:19:57,800 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:19:59,583 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ema.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ema.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:02,463 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/extend.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/extend.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:06,963 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/external.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/external.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:11,935 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:20:11,936 from /usr/include/c++/12/queue:61, 2026-08-16T12:20:11,937 from cadical/src/internal.hpp:34, 2026-08-16T12:20:11,937 from cadical/src/external.cpp:1: 2026-08-16T12:20:11,938 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:20:11,938 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:20:11,939 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:20:11,939 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:12,496 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:20:12,497 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:20:12,613 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:12,614 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:20:12,614 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:45:25: 2026-08-16T12:20:12,615 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:12,616 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:20:12,617 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:12,618 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:12,619 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:20:12,619 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:46:25: 2026-08-16T12:20:12,628 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:12,629 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:20:12,630 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:12,630 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:12,631 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:20:12,632 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:60:25: 2026-08-16T12:20:12,633 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:12,634 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:20:12,634 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:12,635 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {long long unsigned int}; _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:12,638 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:20:12,639 inlined from ‘void CaDiCaL::External::init(int)’ at cadical/src/external.cpp:61:25: 2026-08-16T12:20:12,640 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:12,640 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:20:12,641 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:12,908 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:20:12,909 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:12,910 inlined from ‘void CaDiCaL::External::add(int)’ at cadical/src/external.cpp:185:40: 2026-08-16T12:20:12,910 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:12,911 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:12,912 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:14,076 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/external_propagate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/external_propagate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:19,204 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/file.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/file.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:22,832 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/flags.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/flags.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:26,099 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/flip.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/flip.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:29,525 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/format.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/format.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:32,281 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/frattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/frattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:37,278 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/gates.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/gates.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:40,773 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:20:40,774 from /usr/include/c++/12/queue:61, 2026-08-16T12:20:40,775 from cadical/src/internal.hpp:34, 2026-08-16T12:20:40,775 from cadical/src/gates.cpp:1: 2026-08-16T12:20:40,776 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:20:40,776 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:20:40,777 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:20:40,777 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:40,872 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:20:40,873 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:40,873 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:146:32, 2026-08-16T12:20:40,874 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-16T12:20:40,874 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:40,875 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:40,876 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:40,876 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:40,877 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:161:32, 2026-08-16T12:20:40,878 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-16T12:20:40,878 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:40,879 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:40,880 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:40,880 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:40,881 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:164:30, 2026-08-16T12:20:40,882 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-16T12:20:40,882 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:40,883 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:40,884 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:40,885 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:40,885 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:165:30, 2026-08-16T12:20:40,886 inlined from ‘void CaDiCaL::Internal::mark_binary_literals(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:106:6: 2026-08-16T12:20:40,886 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:40,886 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:40,887 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:41,340 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:41,341 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:248:32, 2026-08-16T12:20:41,342 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-16T12:20:41,342 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:41,343 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:41,343 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:41,344 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:41,345 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:263:32, 2026-08-16T12:20:41,346 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-16T12:20:41,346 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:41,347 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:41,348 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:41,349 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:41,349 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:266:30, 2026-08-16T12:20:41,350 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-16T12:20:41,350 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:41,351 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:41,352 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:41,352 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:41,353 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:267:30, 2026-08-16T12:20:41,354 inlined from ‘void CaDiCaL::Internal::find_equivalence(CaDiCaL::Eliminator&, int)’ at cadical/src/gates.cpp:201:6: 2026-08-16T12:20:41,355 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:41,355 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:41,356 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:42,062 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/idruptracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/idruptracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:47,767 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/instantiate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/instantiate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:20:50,950 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:20:50,951 from /usr/include/c++/12/queue:61, 2026-08-16T12:20:50,951 from cadical/src/internal.hpp:34, 2026-08-16T12:20:50,952 from cadical/src/instantiate.cpp:1: 2026-08-16T12:20:50,952 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:20:50,953 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:20:50,953 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:20:50,954 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:20:51,612 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:20:51,612 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:51,613 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:233:26: 2026-08-16T12:20:51,614 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:51,614 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:51,615 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:51,616 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:51,616 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:253:30: 2026-08-16T12:20:51,617 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:51,618 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:51,618 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:51,619 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:51,620 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:270:28: 2026-08-16T12:20:51,621 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:51,621 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:51,622 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:51,623 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:20:51,623 inlined from ‘bool CaDiCaL::Internal::instantiate_candidate(int, CaDiCaL::Clause*)’ at cadical/src/instantiate.cpp:284:28: 2026-08-16T12:20:51,624 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:20:51,624 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:20:51,625 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:20:52,332 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/internal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/internal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:00,597 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:00,597 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:00,598 from cadical/src/internal.hpp:34, 2026-08-16T12:21:00,598 from cadical/src/internal.cpp:1: 2026-08-16T12:21:00,599 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:21:00,600 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:00,600 523 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:00,601 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:00,718 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’: 2026-08-16T12:21:00,718 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:00,835 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]’: 2026-08-16T12:21:00,836 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:01,116 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:01,116 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:01,117 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long unsigned int]’ at cadical/src/internal.cpp:120:14, 2026-08-16T12:21:01,118 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long unsigned int]’ at cadical/src/internal.cpp:129:16, 2026-08-16T12:21:01,118 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:143:18: 2026-08-16T12:21:01,119 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:01,120 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-16T12:21:01,120 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:01,121 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-16T12:21:01,121 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]’ at cadical/src/internal.cpp:120:14, 2026-08-16T12:21:01,122 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]’ at cadical/src/internal.cpp:129:16, 2026-08-16T12:21:01,122 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:148:16: 2026-08-16T12:21:01,123 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:01,124 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-16T12:21:01,124 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:01,124 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-16T12:21:01,125 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = long long int]’ at cadical/src/internal.cpp:120:14, 2026-08-16T12:21:01,125 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = long long int]’ at cadical/src/internal.cpp:129:16, 2026-08-16T12:21:01,126 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:149:16: 2026-08-16T12:21:01,127 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:01,127 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-16T12:21:01,128 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:01,128 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-16T12:21:01,129 inlined from ‘void CaDiCaL::enlarge_init(std::vector<_Tp>&, size_t, const T&) [with T = double]’ at cadical/src/internal.cpp:120:14, 2026-08-16T12:21:01,130 inlined from ‘void CaDiCaL::enlarge_zero(std::vector<_Tp>&, size_t) [with T = double]’ at cadical/src/internal.cpp:129:16, 2026-08-16T12:21:01,130 inlined from ‘void CaDiCaL::Internal::enlarge(int)’ at cadical/src/internal.cpp:150:16: 2026-08-16T12:21:01,131 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:01,132 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-16T12:21:01,132 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:02,148 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ipasir.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ipasir.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:02,292 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lidruptracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lidruptracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:07,533 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:07,534 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:07,535 from cadical/src/internal.hpp:34, 2026-08-16T12:21:07,535 from cadical/src/lidruptracer.cpp:1: 2026-08-16T12:21:07,537 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:21:07,537 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:07,538 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:07,538 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:07,586 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:07,586 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:07,587 inlined from ‘CaDiCaL::LidrupClause* CaDiCaL::LidrupTracer::new_clause()’ at cadical/src/lidruptracer.cpp:81:26: 2026-08-16T12:21:07,588 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:07,588 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:07,589 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:07,650 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:07,651 inlined from ‘virtual void CaDiCaL::LidrupTracer::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/lidruptracer.cpp:486:30: 2026-08-16T12:21:07,651 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:07,652 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:07,652 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:07,681 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:07,682 inlined from ‘void CaDiCaL::LidrupTracer::lidrup_add_restored_clause(uint64_t)’ at cadical/src/lidruptracer.cpp:200:27: 2026-08-16T12:21:07,682 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:07,683 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:07,684 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:07,717 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:07,717 inlined from ‘bool CaDiCaL::LidrupTracer::find_and_delete(uint64_t)’ at cadical/src/lidruptracer.cpp:138:30: 2026-08-16T12:21:07,718 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:07,718 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:07,719 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:08,487 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:08,488 inlined from ‘virtual void CaDiCaL::LidrupTracer::delete_clause(uint64_t, bool, const std::vector&)’ at cadical/src/lidruptracer.cpp:502:28: 2026-08-16T12:21:08,489 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:08,490 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:08,490 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:08,491 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:08,491 inlined from ‘virtual void CaDiCaL::LidrupTracer::delete_clause(uint64_t, bool, const std::vector&)’ at cadical/src/lidruptracer.cpp:509:28: 2026-08-16T12:21:08,492 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:08,492 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:08,493 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:09,055 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/limit.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/limit.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:12,098 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/logging.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/logging.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:12,160 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lookahead.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lookahead.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:18,602 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lratbuilder.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lratbuilder.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:23,477 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:23,478 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:23,478 from cadical/src/internal.hpp:34, 2026-08-16T12:21:23,479 from cadical/src/lratbuilder.cpp:1: 2026-08-16T12:21:23,480 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:21:23,480 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:23,481 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:23,482 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:23,555 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:23,555 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,556 inlined from ‘void CaDiCaL::LratBuilder::construct_chain()’ at cadical/src/lratbuilder.cpp:564:29: 2026-08-16T12:21:23,557 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,558 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,558 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:23,559 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,560 inlined from ‘void CaDiCaL::LratBuilder::construct_chain()’ at cadical/src/lratbuilder.cpp:585:21: 2026-08-16T12:21:23,560 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,561 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,561 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:23,667 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,668 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:604:23: 2026-08-16T12:21:23,668 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,669 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,670 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:23,670 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,671 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:617:27, 2026-08-16T12:21:23,671 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:600:6: 2026-08-16T12:21:23,672 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,672 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,673 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:23,673 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,674 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:620:34, 2026-08-16T12:21:23,674 inlined from ‘void CaDiCaL::LratBuilder::proof_inconsistent_clause()’ at cadical/src/lratbuilder.cpp:600:6: 2026-08-16T12:21:23,675 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,676 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,677 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:23,728 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:23,729 inlined from ‘void CaDiCaL::LratBuilder::proof_clause()’ at cadical/src/lratbuilder.cpp:636:27: 2026-08-16T12:21:23,729 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:23,730 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:23,731 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:25,897 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lratchecker.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lratchecker.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:30,971 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:30,971 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:30,972 from cadical/src/internal.hpp:34, 2026-08-16T12:21:30,973 from cadical/src/lratchecker.cpp:1: 2026-08-16T12:21:30,973 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:21:30,974 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:30,974 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:30,975 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:31,020 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:31,021 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:31,021 inlined from ‘virtual void CaDiCaL::LratChecker::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/lratchecker.cpp:451:32: 2026-08-16T12:21:31,022 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:31,022 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:31,023 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:32,326 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lrattracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lrattracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:36,294 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/lucky.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/lucky.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:39,874 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/message.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/message.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:42,877 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/minimize.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/minimize.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:46,037 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:46,037 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:46,038 from cadical/src/internal.hpp:34, 2026-08-16T12:21:46,039 from cadical/src/minimize.cpp:1: 2026-08-16T12:21:46,040 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:21:46,040 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:46,041 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:46,042 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:46,382 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:46,383 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:46,384 inlined from ‘void CaDiCaL::Internal::calculate_minimize_chain(int, std::vector&)’ at cadical/src/minimize.cpp:163:28: 2026-08-16T12:21:46,384 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:46,385 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:46,385 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:46,386 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:46,386 inlined from ‘void CaDiCaL::Internal::calculate_minimize_chain(int, std::vector&)’ at cadical/src/minimize.cpp:181:28: 2026-08-16T12:21:46,387 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:46,388 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:46,388 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:46,731 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:46,731 inlined from ‘void CaDiCaL::Internal::minimize_clause()’ at cadical/src/minimize.cpp:126:36: 2026-08-16T12:21:46,732 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:46,733 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:46,733 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:46,734 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:21:46,735 inlined from ‘void CaDiCaL::Internal::minimize_clause()’ at cadical/src/minimize.cpp:140:26: 2026-08-16T12:21:46,735 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:46,736 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:21:46,737 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:21:47,203 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/occs.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/occs.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:21:50,867 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:21:50,868 from /usr/include/c++/12/queue:61, 2026-08-16T12:21:50,869 from cadical/src/internal.hpp:34, 2026-08-16T12:21:50,870 from cadical/src/occs.cpp:1: 2026-08-16T12:21:50,870 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_fill_insert(iterator, size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’: 2026-08-16T12:21:50,871 /usr/include/c++/12/bits/vector.tcc:523:5: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:21:50,872 523 | vector<_Tp, _Alloc>:: 2026-08-16T12:21:50,872 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:50,942 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:21:50,942 In member function ‘void std::vector<_Tp, _Alloc>::resize(size_type, const value_type&) [with _Tp = long long int; _Alloc = std::allocator]’, 2026-08-16T12:21:50,943 inlined from ‘void CaDiCaL::Internal::init_noccs()’ at cadical/src/occs.cpp:28:17: 2026-08-16T12:21:50,944 /usr/include/c++/12/bits/stl_vector.h:1032:25: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:21:50,944 1032 | _M_fill_insert(end(), __new_size - size(), __x); 2026-08-16T12:21:50,945 | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:21:51,364 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/options.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/options.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:21,388 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/parse.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/parse.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:26,332 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/phases.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/phases.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:29,271 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/probe.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/probe.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:33,542 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:22:33,543 from /usr/include/c++/12/queue:61, 2026-08-16T12:22:33,544 from cadical/src/internal.hpp:34, 2026-08-16T12:22:33,545 from cadical/src/probe.cpp:1: 2026-08-16T12:22:33,545 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:22:33,546 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:22:33,547 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:22:33,547 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:22:33,601 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:22:33,601 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:33,602 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:139:26, 2026-08-16T12:22:33,602 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:112:6: 2026-08-16T12:22:33,603 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:33,604 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:33,604 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:33,605 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:33,606 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:141:24, 2026-08-16T12:22:33,607 inlined from ‘void CaDiCaL::Internal::probe_dominator_lrat(int, CaDiCaL::Clause*)’ at cadical/src/probe.cpp:112:6: 2026-08-16T12:22:33,607 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:33,608 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:33,609 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:33,664 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:33,664 inlined from ‘void CaDiCaL::Internal::get_probehbr_lrat(int, int)’ at cadical/src/probe.cpp:93:24, 2026-08-16T12:22:33,665 inlined from ‘void CaDiCaL::Internal::get_probehbr_lrat(int, int)’ at cadical/src/probe.cpp:86:6: 2026-08-16T12:22:33,665 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:33,666 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:33,666 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,542 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,543 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-16T12:22:34,543 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,544 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-16T12:22:34,544 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:417:24: 2026-08-16T12:22:34,545 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,546 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,547 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,548 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,548 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-16T12:22:34,549 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,550 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-16T12:22:34,550 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:417:24: 2026-08-16T12:22:34,551 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,552 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,552 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,553 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,554 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-16T12:22:34,555 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,556 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:475:36: 2026-08-16T12:22:34,556 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,557 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,557 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,558 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,558 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-16T12:22:34,559 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,559 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:475:36: 2026-08-16T12:22:34,560 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,560 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,561 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,562 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,563 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:369:26, 2026-08-16T12:22:34,563 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,564 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-16T12:22:34,565 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:479:30: 2026-08-16T12:22:34,566 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,566 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,567 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:34,568 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:34,569 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:371:24, 2026-08-16T12:22:34,569 inlined from ‘void CaDiCaL::Internal::probe_lrat_for_units(int)’ at cadical/src/probe.cpp:353:13, 2026-08-16T12:22:34,570 inlined from ‘void CaDiCaL::Internal::probe_propagate2()’ at cadical/src/probe.cpp:402:30, 2026-08-16T12:22:34,570 inlined from ‘bool CaDiCaL::Internal::probe_propagate()’ at cadical/src/probe.cpp:479:30: 2026-08-16T12:22:34,571 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:34,572 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:34,572 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:35,953 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/profile.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/profile.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:36,015 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/proof.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/proof.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:41,169 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:22:41,170 from /usr/include/c++/12/queue:61, 2026-08-16T12:22:41,170 from cadical/src/internal.hpp:34, 2026-08-16T12:22:41,171 from cadical/src/proof.cpp:1: 2026-08-16T12:22:41,171 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:22:41,172 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:22:41,172 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:22:41,173 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:22:41,208 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:22:41,209 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,210 inlined from ‘void CaDiCaL::Proof::add_derived_empty_clause(uint64_t, const std::vector&)’ at cadical/src/proof.cpp:271:27: 2026-08-16T12:22:41,210 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,211 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,211 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,233 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,234 inlined from ‘void CaDiCaL::Proof::add_assumption_clause(uint64_t, int, const std::vector&)’ at cadical/src/proof.cpp:354:27: 2026-08-16T12:22:41,234 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,235 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,236 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,263 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,264 inlined from ‘void CaDiCaL::Proof::add_derived_unit_clause(uint64_t, int, const std::vector&)’ at cadical/src/proof.cpp:284:27: 2026-08-16T12:22:41,264 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,265 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,266 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,301 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,302 inlined from ‘void CaDiCaL::Proof::add_derived_clause(uint64_t, bool, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:312:27: 2026-08-16T12:22:41,303 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,304 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,305 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,347 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,348 inlined from ‘void CaDiCaL::Proof::add_derived_clause(CaDiCaL::Clause*, const std::vector&)’ at cadical/src/proof.cpp:298:27: 2026-08-16T12:22:41,348 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,349 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,349 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,388 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,388 inlined from ‘void CaDiCaL::Proof::add_assumption_clause(uint64_t, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:326:27: 2026-08-16T12:22:41,389 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,390 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,390 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,428 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,429 inlined from ‘void CaDiCaL::Proof::strengthen_clause(CaDiCaL::Clause*, int, const std::vector&)’ at cadical/src/proof.cpp:497:27: 2026-08-16T12:22:41,429 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,430 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,431 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,475 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,476 inlined from ‘void CaDiCaL::Proof::otfs_strengthen_clause(CaDiCaL::Clause*, const std::vector&, const std::vector&)’ at cadical/src/proof.cpp:515:27: 2026-08-16T12:22:41,477 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,477 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,478 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,535 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,536 inlined from ‘void CaDiCaL::Proof::flush_clause(CaDiCaL::Clause*)’ at cadical/src/proof.cpp:462:31: 2026-08-16T12:22:41,537 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,537 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,538 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:41,539 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:41,540 inlined from ‘void CaDiCaL::Proof::flush_clause(CaDiCaL::Clause*)’ at cadical/src/proof.cpp:468:25: 2026-08-16T12:22:41,540 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:41,541 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:41,541 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:42,246 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/propagate.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/propagate.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:45,489 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:22:45,490 from /usr/include/c++/12/queue:61, 2026-08-16T12:22:45,490 from cadical/src/internal.hpp:34, 2026-08-16T12:22:45,491 from cadical/src/propagate.cpp:1: 2026-08-16T12:22:45,491 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:22:45,492 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:22:45,492 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:22:45,493 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:22:45,537 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:22:45,538 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:45,539 inlined from ‘void CaDiCaL::Internal::build_chain_for_empty()’ at cadical/src/propagate.cpp:96:26: 2026-08-16T12:22:45,539 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:45,540 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:45,541 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:45,542 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:45,542 inlined from ‘void CaDiCaL::Internal::build_chain_for_empty()’ at cadical/src/propagate.cpp:98:24: 2026-08-16T12:22:45,543 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:45,544 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:45,544 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:45,593 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:45,594 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:77:26, 2026-08-16T12:22:45,594 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:60:6: 2026-08-16T12:22:45,595 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:45,596 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:45,597 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:45,597 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:22:45,598 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:79:24, 2026-08-16T12:22:45,598 inlined from ‘void CaDiCaL::Internal::build_chain_for_units(int, CaDiCaL::Clause*, bool)’ at cadical/src/propagate.cpp:60:6: 2026-08-16T12:22:45,599 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:22:45,599 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:22:45,600 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:22:46,741 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/queue.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/queue.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:50,003 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/random.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/random.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:52,790 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/reap.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/reap.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:53,819 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/reduce.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/reduce.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:22:58,213 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/rephase.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/rephase.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:01,435 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/report.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/report.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:04,314 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/resources.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/resources.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:07,246 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/restart.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/restart.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:10,322 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/restore.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/restore.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:13,354 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:23:13,355 from /usr/include/c++/12/queue:61, 2026-08-16T12:23:13,356 from cadical/src/internal.hpp:34, 2026-08-16T12:23:13,357 from cadical/src/restore.cpp:1: 2026-08-16T12:23:13,357 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:23:13,358 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:13,358 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:13,359 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:13,422 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:23:13,422 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:13,423 inlined from ‘void CaDiCaL::External::restore_clause(const std::vector::const_iterator&, const std::vector::const_iterator&, uint64_t)’ at cadical/src/restore.cpp:66:40: 2026-08-16T12:23:13,423 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:13,424 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:13,424 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:14,533 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/score.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/score.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:18,741 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/shrink.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/shrink.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:21,964 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:23:21,964 from /usr/include/c++/12/queue:61, 2026-08-16T12:23:21,965 from cadical/src/internal.hpp:34, 2026-08-16T12:23:21,966 from cadical/src/shrink.cpp:1: 2026-08-16T12:23:21,967 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:23:21,968 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:21,968 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:21,969 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:22,951 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:23:22,952 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:22,953 inlined from ‘void CaDiCaL::Internal::shrink_and_minimize_clause()’ at cadical/src/shrink.cpp:470:38: 2026-08-16T12:23:22,954 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:22,955 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:22,955 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:22,956 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:22,957 inlined from ‘void CaDiCaL::Internal::shrink_and_minimize_clause()’ at cadical/src/shrink.cpp:498:26: 2026-08-16T12:23:22,958 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:22,959 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:22,959 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:23,546 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/signal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/signal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:24,166 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/solution.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/solution.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:27,170 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/solver.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/solver.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:35,805 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/stats.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/stats.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:38,730 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/subsume.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/subsume.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:42,072 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:23:42,073 from /usr/include/c++/12/queue:61, 2026-08-16T12:23:42,073 from cadical/src/internal.hpp:34, 2026-08-16T12:23:42,074 from cadical/src/subsume.cpp:1: 2026-08-16T12:23:42,075 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:23:42,076 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:42,076 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:42,077 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:42,239 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:23:42,239 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:42,240 inlined from ‘int CaDiCaL::Internal::try_to_subsume_clause(CaDiCaL::Clause*, std::vector&)’ at cadical/src/subsume.cpp:320:28: 2026-08-16T12:23:42,241 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:42,241 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:42,242 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:42,243 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:42,244 inlined from ‘int CaDiCaL::Internal::try_to_subsume_clause(CaDiCaL::Clause*, std::vector&)’ at cadical/src/subsume.cpp:321:28: 2026-08-16T12:23:42,245 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:42,245 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:42,246 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:42,632 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {CaDiCaL::Bin}; _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’: 2026-08-16T12:23:42,632 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:42,633 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:42,634 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:43,297 In member function ‘void std::vector<_Tp, _Alloc>::emplace_back(_Args&& ...) [with _Args = {CaDiCaL::Bin}; _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’, 2026-08-16T12:23:43,298 inlined from ‘void std::vector<_Tp, _Alloc>::push_back(value_type&&) [with _Tp = CaDiCaL::Bin; _Alloc = std::allocator]’ at /usr/include/c++/12/bits/stl_vector.h:1294:21, 2026-08-16T12:23:43,298 inlined from ‘bool CaDiCaL::Internal::subsume_round()’ at cadical/src/subsume.cpp:604:31, 2026-08-16T12:23:43,299 inlined from ‘bool CaDiCaL::Internal::subsume_round()’ at cadical/src/subsume.cpp:381:6: 2026-08-16T12:23:43,299 /usr/include/c++/12/bits/vector.tcc:123:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:43,300 123 | _M_realloc_insert(end(), std::forward<_Args>(__args)...); 2026-08-16T12:23:43,301 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:44,164 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/terminal.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/terminal.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:46,832 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/ternary.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/ternary.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:49,920 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:23:49,921 from /usr/include/c++/12/queue:61, 2026-08-16T12:23:49,921 from cadical/src/internal.hpp:34, 2026-08-16T12:23:49,922 from cadical/src/ternary.cpp:1: 2026-08-16T12:23:49,923 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:23:49,923 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:49,924 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:49,924 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:50,064 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:23:50,065 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:50,066 inlined from ‘void CaDiCaL::Internal::ternary_lit(int, int64_t&, int64_t&)’ at cadical/src/ternary.cpp:196:32: 2026-08-16T12:23:50,067 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:50,067 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:50,068 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:50,068 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:50,069 inlined from ‘void CaDiCaL::Internal::ternary_lit(int, int64_t&, int64_t&)’ at cadical/src/ternary.cpp:197:32: 2026-08-16T12:23:50,069 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:50,070 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:50,070 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:50,812 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/transred.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/transred.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:53,692 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:23:53,693 from /usr/include/c++/12/queue:61, 2026-08-16T12:23:53,693 from cadical/src/internal.hpp:34, 2026-08-16T12:23:53,694 from cadical/src/transred.cpp:1: 2026-08-16T12:23:53,695 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:23:53,695 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:23:53,696 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:23:53,697 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:23:53,907 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:23:53,908 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:53,909 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:172:36: 2026-08-16T12:23:53,909 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:53,910 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:53,911 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:53,911 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:53,912 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:180:36: 2026-08-16T12:23:53,913 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:53,913 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:53,914 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:53,915 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:53,915 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:204:32: 2026-08-16T12:23:53,916 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:53,917 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:53,917 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:53,918 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:23:53,918 inlined from ‘void CaDiCaL::Internal::transred()’ at cadical/src/transred.cpp:207:32: 2026-08-16T12:23:53,919 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:23:53,919 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:23:53,920 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:23:54,600 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/util.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/util.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:23:57,399 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/var.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/var.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:00,323 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/veripbtracer.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/veripbtracer.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:04,852 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/version.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/version.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:04,955 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/vivify.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/vivify.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:09,688 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:24:09,689 from /usr/include/c++/12/queue:61, 2026-08-16T12:24:09,689 from cadical/src/internal.hpp:34, 2026-08-16T12:24:09,690 from cadical/src/vivify.cpp:1: 2026-08-16T12:24:09,690 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const long long unsigned int&}; _Tp = long long unsigned int; _Alloc = std::allocator]’: 2026-08-16T12:24:09,691 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:24:09,691 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:24:09,692 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:24:09,914 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:24:09,915 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:24:09,915 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1112:26, 2026-08-16T12:24:09,916 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1098:13, 2026-08-16T12:24:09,917 inlined from ‘bool CaDiCaL::Internal::vivify_propagate()’ at cadical/src/vivify.cpp:162:36: 2026-08-16T12:24:09,918 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:09,918 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:09,919 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:09,919 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:24:09,920 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1114:24, 2026-08-16T12:24:09,920 inlined from ‘void CaDiCaL::Internal::vivify_chain_for_units(int, CaDiCaL::Clause*)’ at cadical/src/vivify.cpp:1098:13, 2026-08-16T12:24:09,921 inlined from ‘bool CaDiCaL::Internal::vivify_propagate()’ at cadical/src/vivify.cpp:162:36: 2026-08-16T12:24:09,921 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:09,922 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:09,922 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:10,379 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:24:10,379 inlined from ‘void CaDiCaL::Internal::vivify_build_lrat(int, CaDiCaL::Clause*, std::vector >&)’ at cadical/src/vivify.cpp:1057:28: 2026-08-16T12:24:10,380 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:10,381 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:10,381 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:10,382 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = long long unsigned int; _Alloc = std::allocator]’, 2026-08-16T12:24:10,383 inlined from ‘void CaDiCaL::Internal::vivify_build_lrat(int, CaDiCaL::Clause*, std::vector >&)’ at cadical/src/vivify.cpp:1082:30: 2026-08-16T12:24:10,384 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:10,384 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:10,385 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:15,784 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/walk.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/walk.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:18,890 In file included from /usr/include/c++/12/vector:70, 2026-08-16T12:24:18,891 from /usr/include/c++/12/queue:61, 2026-08-16T12:24:18,892 from cadical/src/internal.hpp:34, 2026-08-16T12:24:18,893 from cadical/src/walk.cpp:1: 2026-08-16T12:24:18,893 /usr/include/c++/12/bits/vector.tcc: In member function ‘void std::vector<_Tp, _Alloc>::_M_realloc_insert(iterator, _Args&& ...) [with _Args = {const double&}; _Tp = double; _Alloc = std::allocator]’: 2026-08-16T12:24:18,894 /usr/include/c++/12/bits/vector.tcc:439:7: note: parameter passing for argument of type ‘std::vector::iterator’ changed in GCC 7.1 2026-08-16T12:24:18,895 439 | vector<_Tp, _Alloc>:: 2026-08-16T12:24:18,895 | ^~~~~~~~~~~~~~~~~~~ 2026-08-16T12:24:18,997 In file included from /usr/include/c++/12/vector:64: 2026-08-16T12:24:18,997 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-16T12:24:18,998 inlined from ‘int CaDiCaL::Internal::walk_pick_lit(CaDiCaL::Walker&, CaDiCaL::Clause*)’ at cadical/src/walk.cpp:203:29: 2026-08-16T12:24:18,998 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:18,999 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:18,999 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:19,069 In member function ‘void std::vector<_Tp, _Alloc>::push_back(const value_type&) [with _Tp = double; _Alloc = std::allocator]’, 2026-08-16T12:24:19,070 inlined from ‘CaDiCaL::Walker::Walker(CaDiCaL::Internal*, double, int64_t)’ at cadical/src/walk.cpp:79:21: 2026-08-16T12:24:19,071 /usr/include/c++/12/bits/stl_vector.h:1287:28: note: parameter passing for argument of type ‘__gnu_cxx::__normal_iterator >’ changed in GCC 7.1 2026-08-16T12:24:19,071 1287 | _M_realloc_insert(end(), __x); 2026-08-16T12:24:19,072 | ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ 2026-08-16T12:24:20,196 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c cadical/src/watch.cpp -o build/temp.linux-armv7l-cpython-311/cadical/src/watch.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:24,585 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c eqbool.cpp -o build/temp.linux-armv7l-cpython-311/eqbool.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:41,670 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -fPIC -I/usr/include/python3.11 -c eqbool/_eqbool.cpp -o build/temp.linux-armv7l-cpython-311/eqbool/_eqbool.o -std=c++11 -Wall -fno-exceptions -fno-rtti -O3 -DNDEBUG -DNBUILD -DQUIET -DNCLOSEFROM 2026-08-16T12:24:46,081 arm-linux-gnueabihf-g++ -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -fwrapv -O2 -shared -Wl,-O1 -Wl,-Bsymbolic-functions build/temp.linux-armv7l-cpython-311/cadical/src/analyze.o build/temp.linux-armv7l-cpython-311/cadical/src/arena.o build/temp.linux-armv7l-cpython-311/cadical/src/assume.o build/temp.linux-armv7l-cpython-311/cadical/src/averages.o build/temp.linux-armv7l-cpython-311/cadical/src/backtrack.o build/temp.linux-armv7l-cpython-311/cadical/src/backward.o build/temp.linux-armv7l-cpython-311/cadical/src/bins.o build/temp.linux-armv7l-cpython-311/cadical/src/block.o build/temp.linux-armv7l-cpython-311/cadical/src/ccadical.o build/temp.linux-armv7l-cpython-311/cadical/src/checker.o build/temp.linux-armv7l-cpython-311/cadical/src/clause.o build/temp.linux-armv7l-cpython-311/cadical/src/collect.o build/temp.linux-armv7l-cpython-311/cadical/src/compact.o build/temp.linux-armv7l-cpython-311/cadical/src/condition.o build/temp.linux-armv7l-cpython-311/cadical/src/config.o build/temp.linux-armv7l-cpython-311/cadical/src/constrain.o build/temp.linux-armv7l-cpython-311/cadical/src/contract.o build/temp.linux-armv7l-cpython-311/cadical/src/cover.o build/temp.linux-armv7l-cpython-311/cadical/src/decide.o build/temp.linux-armv7l-cpython-311/cadical/src/decompose.o build/temp.linux-armv7l-cpython-311/cadical/src/deduplicate.o build/temp.linux-armv7l-cpython-311/cadical/src/drattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/elim.o build/temp.linux-armv7l-cpython-311/cadical/src/ema.o build/temp.linux-armv7l-cpython-311/cadical/src/extend.o build/temp.linux-armv7l-cpython-311/cadical/src/external.o build/temp.linux-armv7l-cpython-311/cadical/src/external_propagate.o build/temp.linux-armv7l-cpython-311/cadical/src/file.o build/temp.linux-armv7l-cpython-311/cadical/src/flags.o build/temp.linux-armv7l-cpython-311/cadical/src/flip.o build/temp.linux-armv7l-cpython-311/cadical/src/format.o build/temp.linux-armv7l-cpython-311/cadical/src/frattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/gates.o build/temp.linux-armv7l-cpython-311/cadical/src/idruptracer.o build/temp.linux-armv7l-cpython-311/cadical/src/instantiate.o build/temp.linux-armv7l-cpython-311/cadical/src/internal.o build/temp.linux-armv7l-cpython-311/cadical/src/ipasir.o build/temp.linux-armv7l-cpython-311/cadical/src/lidruptracer.o build/temp.linux-armv7l-cpython-311/cadical/src/limit.o build/temp.linux-armv7l-cpython-311/cadical/src/logging.o build/temp.linux-armv7l-cpython-311/cadical/src/lookahead.o build/temp.linux-armv7l-cpython-311/cadical/src/lratbuilder.o build/temp.linux-armv7l-cpython-311/cadical/src/lratchecker.o build/temp.linux-armv7l-cpython-311/cadical/src/lrattracer.o build/temp.linux-armv7l-cpython-311/cadical/src/lucky.o build/temp.linux-armv7l-cpython-311/cadical/src/message.o build/temp.linux-armv7l-cpython-311/cadical/src/minimize.o build/temp.linux-armv7l-cpython-311/cadical/src/occs.o build/temp.linux-armv7l-cpython-311/cadical/src/options.o build/temp.linux-armv7l-cpython-311/cadical/src/parse.o build/temp.linux-armv7l-cpython-311/cadical/src/phases.o build/temp.linux-armv7l-cpython-311/cadical/src/probe.o build/temp.linux-armv7l-cpython-311/cadical/src/profile.o build/temp.linux-armv7l-cpython-311/cadical/src/proof.o build/temp.linux-armv7l-cpython-311/cadical/src/propagate.o build/temp.linux-armv7l-cpython-311/cadical/src/queue.o build/temp.linux-armv7l-cpython-311/cadical/src/random.o build/temp.linux-armv7l-cpython-311/cadical/src/reap.o build/temp.linux-armv7l-cpython-311/cadical/src/reduce.o build/temp.linux-armv7l-cpython-311/cadical/src/rephase.o build/temp.linux-armv7l-cpython-311/cadical/src/report.o build/temp.linux-armv7l-cpython-311/cadical/src/resources.o build/temp.linux-armv7l-cpython-311/cadical/src/restart.o build/temp.linux-armv7l-cpython-311/cadical/src/restore.o build/temp.linux-armv7l-cpython-311/cadical/src/score.o build/temp.linux-armv7l-cpython-311/cadical/src/shrink.o build/temp.linux-armv7l-cpython-311/cadical/src/signal.o build/temp.linux-armv7l-cpython-311/cadical/src/solution.o build/temp.linux-armv7l-cpython-311/cadical/src/solver.o build/temp.linux-armv7l-cpython-311/cadical/src/stats.o build/temp.linux-armv7l-cpython-311/cadical/src/subsume.o build/temp.linux-armv7l-cpython-311/cadical/src/terminal.o build/temp.linux-armv7l-cpython-311/cadical/src/ternary.o build/temp.linux-armv7l-cpython-311/cadical/src/transred.o build/temp.linux-armv7l-cpython-311/cadical/src/util.o build/temp.linux-armv7l-cpython-311/cadical/src/var.o build/temp.linux-armv7l-cpython-311/cadical/src/veripbtracer.o build/temp.linux-armv7l-cpython-311/cadical/src/version.o build/temp.linux-armv7l-cpython-311/cadical/src/vivify.o build/temp.linux-armv7l-cpython-311/cadical/src/walk.o build/temp.linux-armv7l-cpython-311/cadical/src/watch.o build/temp.linux-armv7l-cpython-311/eqbool.o build/temp.linux-armv7l-cpython-311/eqbool/_eqbool.o -L/usr/lib/arm-linux-gnueabihf -o build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so 2026-08-16T12:24:48,798 installing to build/bdist.linux-armv7l/wheel 2026-08-16T12:24:48,799 running install 2026-08-16T12:24:48,822 running install_lib 2026-08-16T12:24:48,828 creating build/bdist.linux-armv7l/wheel 2026-08-16T12:24:48,831 creating build/bdist.linux-armv7l/wheel/eqbool 2026-08-16T12:24:48,832 copying build/lib.linux-armv7l-cpython-311/eqbool/py.typed -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:48,834 copying build/lib.linux-armv7l-cpython-311/eqbool/_main.py -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:48,836 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpp -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:48,840 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.pyi -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:48,842 copying build/lib.linux-armv7l-cpython-311/eqbool/__init__.py -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:48,844 copying build/lib.linux-armv7l-cpython-311/eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel/./eqbool 2026-08-16T12:24:49,255 running install_egg_info 2026-08-16T12:24:49,260 Copying eqbool.egg-info to build/bdist.linux-armv7l/wheel/./eqbool-0.5-py3.11.egg-info 2026-08-16T12:24:49,270 running install_scripts 2026-08-16T12:24:49,315 creating build/bdist.linux-armv7l/wheel/eqbool-0.5.dist-info/WHEEL 2026-08-16T12:24:49,318 creating '/tmp/pip-wheel-5tbl4swp/.tmp-5mpgn7x4/eqbool-0.5-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-08-16T12:24:49,321 adding 'eqbool/__init__.py' 2026-08-16T12:24:49,324 adding 'eqbool/_eqbool.cpp' 2026-08-16T12:24:54,543 adding 'eqbool/_eqbool.cpython-311-arm-linux-gnueabihf.so' 2026-08-16T12:24:54,717 adding 'eqbool/_eqbool.pyi' 2026-08-16T12:24:54,719 adding 'eqbool/_main.py' 2026-08-16T12:24:54,720 adding 'eqbool/py.typed' 2026-08-16T12:24:54,723 adding 'eqbool-0.5.dist-info/licenses/LICENSE' 2026-08-16T12:24:54,724 adding 'eqbool-0.5.dist-info/METADATA' 2026-08-16T12:24:54,725 adding 'eqbool-0.5.dist-info/WHEEL' 2026-08-16T12:24:54,726 adding 'eqbool-0.5.dist-info/entry_points.txt' 2026-08-16T12:24:54,727 adding 'eqbool-0.5.dist-info/top_level.txt' 2026-08-16T12:24:54,728 adding 'eqbool-0.5.dist-info/RECORD' 2026-08-16T12:24:54,854 removing build/bdist.linux-armv7l/wheel 2026-08-16T12:24:54,972 Building wheel for eqbool (pyproject.toml): finished with status 'done' 2026-08-16T12:24:55,224 Created wheel for eqbool: filename=eqbool-0.5-cp311-cp311-linux_armv7l.whl size=11678135 sha256=3e911fa5f81649aad19bfe09fa8ee4e6fc98f38c5be63fb04d5881486422aaa8 2026-08-16T12:24:55,225 Stored in directory: /tmp/pip-ephem-wheel-cache-w9kvogx2/wheels/18/34/bd/8a487e9e323c5be6146479385c18ca41baa93b64293675c31e 2026-08-16T12:24:55,241 Successfully built eqbool 2026-08-16T12:24:55,553 Removed build tracker: '/tmp/pip-build-tracker-10e7pnwa'