2026-01-14T10:23:44,662 Created temporary directory: /tmp/pip-ephem-wheel-cache-5ajl59dg 2026-01-14T10:23:44,664 Created temporary directory: /tmp/pip-build-tracker-znbrmrrc 2026-01-14T10:23:44,665 Initialized build tracking at /tmp/pip-build-tracker-znbrmrrc 2026-01-14T10:23:44,665 Created build tracker: /tmp/pip-build-tracker-znbrmrrc 2026-01-14T10:23:44,666 Entered build tracker: /tmp/pip-build-tracker-znbrmrrc 2026-01-14T10:23:44,666 Created temporary directory: /tmp/pip-wheel-mcr4ntgr 2026-01-14T10:23:44,670 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-01-14T10:23:44,672 Created temporary directory: /tmp/pip-ephem-wheel-cache-tcnjoc0e 2026-01-14T10:23:44,694 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-01-14T10:23:44,698 2 location(s) to search for versions of auto-verify: 2026-01-14T10:23:44,698 * https://pypi.org/simple/auto-verify/ 2026-01-14T10:23:44,698 * https://www.piwheels.org/simple/auto-verify/ 2026-01-14T10:23:44,699 Fetching project page and analyzing links: https://pypi.org/simple/auto-verify/ 2026-01-14T10:23:44,699 Getting page https://pypi.org/simple/auto-verify/ 2026-01-14T10:23:44,701 Found index url https://pypi.org/simple 2026-01-14T10:23:44,915 Fetched page https://pypi.org/simple/auto-verify/ as application/vnd.pypi.simple.v1+json 2026-01-14T10:23:44,919 Found link https://files.pythonhosted.org/packages/41/a8/7f578dd27fd22a302880ce3df208a326ff39eaaab7a48b657581151a8ce5/auto-verify-0.0.1.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.9), version: 0.0.1 2026-01-14T10:23:44,920 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/b7/01/77a15aa790511f1d2d0b7c9955cf0a9b2e3073058fa4f682d37e9220cc44/auto_verify-0.0.1-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.9) 2026-01-14T10:23:44,921 Found link https://files.pythonhosted.org/packages/02/12/7cf9c6bb365a35c429d8172c93ae88438f48c91757175e27f1bb2338a128/auto-verify-0.1.0.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 0.1.0 2026-01-14T10:23:44,921 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/4d/3f/98cb69e2d55968a83b0505e06f1640ca2d737382f4ddf24b78cc59c942f0/auto_verify-0.1.0-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,923 Found link https://files.pythonhosted.org/packages/33/48/392808c42795a861cdc358666b74dc59b4808d6e128578e57024b464cc65/auto-verify-0.1.1.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 0.1.1 2026-01-14T10:23:44,923 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/b6/08/0ed0e9a58be055bd83ec4573c62c4bc55d4cbdd9a5c644fe938b1bac75e4/auto_verify-0.1.1-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,924 Found link https://files.pythonhosted.org/packages/a1/49/dd4d115e1b04a91f644106f3ef99d77bb7a454827a41e7de60cf3ec92047/auto-verify-0.1.2.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 0.1.2 2026-01-14T10:23:44,925 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/36/22/e1c3a512917294c644ef70f5d21fa309c7d3075fc8166bac5be0ed321ac9/auto_verify-0.1.2-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,926 Found link https://files.pythonhosted.org/packages/20/f3/362fa6a60708a52403142ed044cc4cc7f1307f7d784308258c7920ea5be2/auto-verify-0.1.3.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 0.1.3 2026-01-14T10:23:44,927 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/3c/30/496d91a7df82d18ffdf5e9fcf2d21de99a3140f253b4bc1bfd04cf8b8c7c/auto_verify-0.1.3-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,927 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/43/c0/9d5c22347caf62afe013cb07a6bb08eb7c0655cc1ed66577aa82f7800e87/auto_verify-0.1.4-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,928 Found link https://files.pythonhosted.org/packages/91/d1/4e70b73877547dbac69b7d6ef74e3a2927968af3747a708ee290c683dd77/auto_verify-0.1.4.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 0.1.4 2026-01-14T10:23:44,929 Skipping link: No binaries permitted for auto-verify: https://files.pythonhosted.org/packages/8d/b0/c41222217f9b466cd2561ff72e9ef2b156d79184d03025e24b78efb3bc1f/auto_verify-1.0.0-py3-none-any.whl (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:44,930 Found link https://files.pythonhosted.org/packages/a8/e8/54363c1c32c8593c198cb0572e9a76c745be74bfcc8404fa5eb2b2bfcc45/auto_verify-1.0.0.tar.gz (from https://pypi.org/simple/auto-verify/) (requires-python:>=3.10), version: 1.0.0 2026-01-14T10:23:44,930 Fetching project page and analyzing links: https://www.piwheels.org/simple/auto-verify/ 2026-01-14T10:23:44,931 Getting page https://www.piwheels.org/simple/auto-verify/ 2026-01-14T10:23:44,932 Found index url https://www.piwheels.org/simple 2026-01-14T10:23:45,084 Fetched page https://www.piwheels.org/simple/auto-verify/ as text/html 2026-01-14T10:23:45,087 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.1.4-py3-none-any.whl#sha256=a794b4b227cb4c814b6dead8829dc406065a173e93f0fd87355bb2758f5fb547 (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:45,088 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.1.3-py3-none-any.whl#sha256=dcb41157015f206e1869af7917cbff91758767334a2a067da71c81bc8b59c44b (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:45,088 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.1.2-py3-none-any.whl#sha256=86ffbc1466305448991a7e21e31e58ea14685b6524054345dee060c8342c551f (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:45,089 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.1.1-py3-none-any.whl#sha256=7bea4c036a7e660c602b9af7f674fff843e6ea46c35b0fb62e6184d01504161d (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:45,090 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.1.0-py3-none-any.whl#sha256=cb4b1b7e7923cec1cd64e382016c6d73ac96e2787e2185ec66e2f107d5a8bbfc (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.10) 2026-01-14T10:23:45,090 Skipping link: No binaries permitted for auto-verify: https://archive1.piwheels.org/simple/auto-verify/auto_verify-0.0.1-py3-none-any.whl#sha256=9e6520cabd5954cd081e67c40d6b0f1fa79003e98057132edf9ef7a675f9d716 (from https://www.piwheels.org/simple/auto-verify/) (requires-python:>=3.9) 2026-01-14T10:23:45,091 Skipping link: not a file: https://www.piwheels.org/simple/auto-verify/ 2026-01-14T10:23:45,091 Skipping link: not a file: https://pypi.org/simple/auto-verify/ 2026-01-14T10:23:45,111 Given no hashes to check 1 links for project 'auto-verify': discarding no candidates 2026-01-14T10:23:45,129 Collecting auto-verify==1.0.0 2026-01-14T10:23:45,132 Created temporary directory: /tmp/pip-unpack-cfye7uzl 2026-01-14T10:23:45,345 Downloading auto_verify-1.0.0.tar.gz (79 kB) 2026-01-14T10:23:45,624 Added auto-verify==1.0.0 from https://files.pythonhosted.org/packages/a8/e8/54363c1c32c8593c198cb0572e9a76c745be74bfcc8404fa5eb2b2bfcc45/auto_verify-1.0.0.tar.gz to build tracker '/tmp/pip-build-tracker-znbrmrrc' 2026-01-14T10:23:45,631 Created temporary directory: /tmp/pip-build-env-mbfckm_1 2026-01-14T10:23:45,635 Installing build dependencies: started 2026-01-14T10:23:45,636 Running command pip subprocess to install build dependencies 2026-01-14T10:23:46,774 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2026-01-14T10:23:47,428 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-01-14T10:23:47,452 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2026-01-14T10:23:49,181 Collecting setuptools>=61.0 2026-01-14T10:23:49,268 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2026-01-14T10:23:49,544 Collecting wheel 2026-01-14T10:23:49,562 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2026-01-14T10:23:52,586 Installing collected packages: wheel, setuptools 2026-01-14T10:23:52,854 Creating /tmp/pip-build-env-mbfckm_1/overlay/local/bin 2026-01-14T10:23:52,858 changing mode of /tmp/pip-build-env-mbfckm_1/overlay/local/bin/wheel to 755 2026-01-14T10:23:56,799 Successfully installed setuptools-80.9.0 wheel-0.45.1 2026-01-14T10:23:57,071 Installing build dependencies: finished with status 'done' 2026-01-14T10:23:57,077 Getting requirements to build wheel: started 2026-01-14T10:23:57,079 Running command Getting requirements to build wheel 2026-01-14T10:23:57,808 running egg_info 2026-01-14T10:23:57,815 writing auto_verify.egg-info/PKG-INFO 2026-01-14T10:23:57,822 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2026-01-14T10:23:57,824 writing entry points to auto_verify.egg-info/entry_points.txt 2026-01-14T10:23:57,828 writing requirements to auto_verify.egg-info/requires.txt 2026-01-14T10:23:57,830 writing top-level names to auto_verify.egg-info/top_level.txt 2026-01-14T10:23:57,885 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:57,893 reading manifest template 'MANIFEST.in' 2026-01-14T10:23:57,911 adding license file 'LICENSE' 2026-01-14T10:23:57,918 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:58,015 Getting requirements to build wheel: finished with status 'done' 2026-01-14T10:23:58,019 Created temporary directory: /tmp/pip-modern-metadata-2ob6uttt 2026-01-14T10:23:58,022 Preparing metadata (pyproject.toml): started 2026-01-14T10:23:58,023 Running command Preparing metadata (pyproject.toml) 2026-01-14T10:23:58,703 running dist_info 2026-01-14T10:23:58,715 creating /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info 2026-01-14T10:23:58,716 writing /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/PKG-INFO 2026-01-14T10:23:58,724 writing dependency_links to /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/dependency_links.txt 2026-01-14T10:23:58,726 writing entry points to /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/entry_points.txt 2026-01-14T10:23:58,730 writing requirements to /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/requires.txt 2026-01-14T10:23:58,731 writing top-level names to /tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/top_level.txt 2026-01-14T10:23:58,733 writing manifest file '/tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:58,777 reading manifest file '/tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:58,779 reading manifest template 'MANIFEST.in' 2026-01-14T10:23:58,796 adding license file 'LICENSE' 2026-01-14T10:23:58,802 writing manifest file '/tmp/pip-modern-metadata-2ob6uttt/auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:58,803 creating '/tmp/pip-modern-metadata-2ob6uttt/auto_verify-1.0.0.dist-info' 2026-01-14T10:23:58,930 Preparing metadata (pyproject.toml): finished with status 'done' 2026-01-14T10:23:58,936 Source in /tmp/pip-wheel-mcr4ntgr/auto-verify_8d5dff3d26b0465085d0e2a12f42486a has version 1.0.0, which satisfies requirement auto-verify==1.0.0 from https://files.pythonhosted.org/packages/a8/e8/54363c1c32c8593c198cb0572e9a76c745be74bfcc8404fa5eb2b2bfcc45/auto_verify-1.0.0.tar.gz 2026-01-14T10:23:58,937 Removed auto-verify==1.0.0 from https://files.pythonhosted.org/packages/a8/e8/54363c1c32c8593c198cb0572e9a76c745be74bfcc8404fa5eb2b2bfcc45/auto_verify-1.0.0.tar.gz from build tracker '/tmp/pip-build-tracker-znbrmrrc' 2026-01-14T10:23:58,944 Created temporary directory: /tmp/pip-unpack-yciarbie 2026-01-14T10:23:58,944 Building wheels for collected packages: auto-verify 2026-01-14T10:23:58,948 Created temporary directory: /tmp/pip-wheel-zekhgkd9 2026-01-14T10:23:58,949 Destination directory: /tmp/pip-wheel-zekhgkd9 2026-01-14T10:23:58,951 Building wheel for auto-verify (pyproject.toml): started 2026-01-14T10:23:58,952 Running command Building wheel for auto-verify (pyproject.toml) 2026-01-14T10:23:59,611 running bdist_wheel 2026-01-14T10:23:59,631 running build 2026-01-14T10:23:59,632 running build_py 2026-01-14T10:23:59,639 creating build/lib/autoverify 2026-01-14T10:23:59,641 copying autoverify/types.py -> build/lib/autoverify 2026-01-14T10:23:59,644 copying autoverify/__init__.py -> build/lib/autoverify 2026-01-14T10:23:59,646 copying autoverify/config.py -> build/lib/autoverify 2026-01-14T10:23:59,649 creating build/lib/autoverify/verify 2026-01-14T10:23:59,650 copying autoverify/verify/__init__.py -> build/lib/autoverify/verify 2026-01-14T10:23:59,653 copying autoverify/verify/eval_verifier.py -> build/lib/autoverify/verify 2026-01-14T10:23:59,655 creating build/lib/autoverify/cli 2026-01-14T10:23:59,656 copying autoverify/cli/__main__.py -> build/lib/autoverify/cli 2026-01-14T10:23:59,659 copying autoverify/cli/main.py -> build/lib/autoverify/cli 2026-01-14T10:23:59,662 copying autoverify/cli/__init__.py -> build/lib/autoverify/cli 2026-01-14T10:23:59,664 creating build/lib/autoverify/tune 2026-01-14T10:23:59,665 copying autoverify/tune/__init__.py -> build/lib/autoverify/tune 2026-01-14T10:23:59,667 copying autoverify/tune/tune_hydra.py -> build/lib/autoverify/tune 2026-01-14T10:23:59,669 copying autoverify/tune/tune_verifier.py -> build/lib/autoverify/tune 2026-01-14T10:23:59,671 creating build/lib/autoverify/verifier 2026-01-14T10:23:59,673 copying autoverify/verifier/__init__.py -> build/lib/autoverify/verifier 2026-01-14T10:23:59,675 copying autoverify/verifier/verification_result.py -> build/lib/autoverify/verifier 2026-01-14T10:23:59,677 copying autoverify/verifier/verifier.py -> build/lib/autoverify/verifier 2026-01-14T10:23:59,680 creating build/lib/autoverify/util 2026-01-14T10:23:59,681 copying autoverify/util/resource_strategy.py -> build/lib/autoverify/util 2026-01-14T10:23:59,683 copying autoverify/util/vnncomp_filters.py -> build/lib/autoverify/util 2026-01-14T10:23:59,686 copying autoverify/util/path.py -> build/lib/autoverify/util 2026-01-14T10:23:59,688 copying autoverify/util/vnncomp.py -> build/lib/autoverify/util 2026-01-14T10:23:59,691 copying autoverify/util/__init__.py -> build/lib/autoverify/util 2026-01-14T10:23:59,693 copying autoverify/util/conda.py -> build/lib/autoverify/util 2026-01-14T10:23:59,696 copying autoverify/util/dataclass.py -> build/lib/autoverify/util 2026-01-14T10:23:59,698 copying autoverify/util/target_function.py -> build/lib/autoverify/util 2026-01-14T10:23:59,700 copying autoverify/util/configs.py -> build/lib/autoverify/util 2026-01-14T10:23:59,702 copying autoverify/util/proc.py -> build/lib/autoverify/util 2026-01-14T10:23:59,705 copying autoverify/util/resources.py -> build/lib/autoverify/util 2026-01-14T10:23:59,707 copying autoverify/util/tempfiles.py -> build/lib/autoverify/util 2026-01-14T10:23:59,709 copying autoverify/util/dict.py -> build/lib/autoverify/util 2026-01-14T10:23:59,712 copying autoverify/util/verification_instance.py -> build/lib/autoverify/util 2026-01-14T10:23:59,714 copying autoverify/util/cost_dict.py -> build/lib/autoverify/util 2026-01-14T10:23:59,716 copying autoverify/util/verifiers.py -> build/lib/autoverify/util 2026-01-14T10:23:59,718 copying autoverify/util/cli.py -> build/lib/autoverify/util 2026-01-14T10:23:59,720 copying autoverify/util/onnx.py -> build/lib/autoverify/util 2026-01-14T10:23:59,723 copying autoverify/util/env.py -> build/lib/autoverify/util 2026-01-14T10:23:59,725 copying autoverify/util/loggers.py -> build/lib/autoverify/util 2026-01-14T10:23:59,727 copying autoverify/util/smac.py -> build/lib/autoverify/util 2026-01-14T10:23:59,729 copying autoverify/util/instances.py -> build/lib/autoverify/util 2026-01-14T10:23:59,733 creating build/lib/autoverify/portfolio 2026-01-14T10:23:59,734 copying autoverify/portfolio/portfolio.py -> build/lib/autoverify/portfolio 2026-01-14T10:23:59,737 copying autoverify/portfolio/__init__.py -> build/lib/autoverify/portfolio 2026-01-14T10:23:59,740 copying autoverify/portfolio/portfolio_runner.py -> build/lib/autoverify/portfolio 2026-01-14T10:23:59,743 creating build/lib/autoverify/cli/util 2026-01-14T10:23:59,745 copying autoverify/cli/util/__init__.py -> build/lib/autoverify/cli/util 2026-01-14T10:23:59,747 copying autoverify/cli/util/git.py -> build/lib/autoverify/cli/util 2026-01-14T10:23:59,750 creating build/lib/autoverify/cli/install 2026-01-14T10:23:59,751 copying autoverify/cli/install/__init__.py -> build/lib/autoverify/cli/install 2026-01-14T10:23:59,754 copying autoverify/cli/install/install.py -> build/lib/autoverify/cli/install 2026-01-14T10:23:59,757 creating build/lib/autoverify/cli/install/venv_installers 2026-01-14T10:23:59,758 copying autoverify/cli/install/venv_installers/__init__.py -> build/lib/autoverify/cli/install/venv_installers 2026-01-14T10:23:59,761 copying autoverify/cli/install/venv_installers/venv_install.py -> build/lib/autoverify/cli/install/venv_installers 2026-01-14T10:23:59,764 creating build/lib/autoverify/cli/install/installers 2026-01-14T10:23:59,766 copying autoverify/cli/install/installers/__init__.py -> build/lib/autoverify/cli/install/installers 2026-01-14T10:23:59,769 creating build/lib/autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:23:59,770 copying autoverify/cli/install/venv_installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:23:59,773 copying autoverify/cli/install/venv_installers/ovalbab/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:23:59,776 creating build/lib/autoverify/cli/install/venv_installers/verinet 2026-01-14T10:23:59,777 copying autoverify/cli/install/venv_installers/verinet/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/verinet 2026-01-14T10:23:59,780 creating build/lib/autoverify/cli/install/venv_installers/mnbab 2026-01-14T10:23:59,782 copying autoverify/cli/install/venv_installers/mnbab/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/mnbab 2026-01-14T10:23:59,785 creating build/lib/autoverify/cli/install/venv_installers/abcrown 2026-01-14T10:23:59,786 copying autoverify/cli/install/venv_installers/abcrown/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/abcrown 2026-01-14T10:23:59,789 creating build/lib/autoverify/cli/install/venv_installers/nnenum 2026-01-14T10:23:59,790 copying autoverify/cli/install/venv_installers/nnenum/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/nnenum 2026-01-14T10:23:59,793 creating build/lib/autoverify/cli/install/installers/ovalbab 2026-01-14T10:23:59,795 copying autoverify/cli/install/installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/installers/ovalbab 2026-01-14T10:23:59,797 copying autoverify/cli/install/installers/ovalbab/install.py -> build/lib/autoverify/cli/install/installers/ovalbab 2026-01-14T10:23:59,800 creating build/lib/autoverify/cli/install/installers/verinet 2026-01-14T10:23:59,801 copying autoverify/cli/install/installers/verinet/__init__.py -> build/lib/autoverify/cli/install/installers/verinet 2026-01-14T10:23:59,803 copying autoverify/cli/install/installers/verinet/install.py -> build/lib/autoverify/cli/install/installers/verinet 2026-01-14T10:23:59,806 creating build/lib/autoverify/cli/install/installers/mnbab 2026-01-14T10:23:59,807 copying autoverify/cli/install/installers/mnbab/__init__.py -> build/lib/autoverify/cli/install/installers/mnbab 2026-01-14T10:23:59,809 copying autoverify/cli/install/installers/mnbab/install.py -> build/lib/autoverify/cli/install/installers/mnbab 2026-01-14T10:23:59,812 creating build/lib/autoverify/cli/install/installers/abcrown 2026-01-14T10:23:59,813 copying autoverify/cli/install/installers/abcrown/__init__.py -> build/lib/autoverify/cli/install/installers/abcrown 2026-01-14T10:23:59,815 copying autoverify/cli/install/installers/abcrown/install.py -> build/lib/autoverify/cli/install/installers/abcrown 2026-01-14T10:23:59,818 creating build/lib/autoverify/cli/install/installers/sdpcrown 2026-01-14T10:23:59,819 copying autoverify/cli/install/installers/sdpcrown/__init__.py -> build/lib/autoverify/cli/install/installers/sdpcrown 2026-01-14T10:23:59,821 copying autoverify/cli/install/installers/sdpcrown/install.py -> build/lib/autoverify/cli/install/installers/sdpcrown 2026-01-14T10:23:59,824 creating build/lib/autoverify/cli/install/installers/nnenum 2026-01-14T10:23:59,825 copying autoverify/cli/install/installers/nnenum/__init__.py -> build/lib/autoverify/cli/install/installers/nnenum 2026-01-14T10:23:59,827 copying autoverify/cli/install/installers/nnenum/install.py -> build/lib/autoverify/cli/install/installers/nnenum 2026-01-14T10:23:59,830 creating build/lib/autoverify/verifier/complete 2026-01-14T10:23:59,831 copying autoverify/verifier/complete/__init__.py -> build/lib/autoverify/verifier/complete 2026-01-14T10:23:59,833 creating build/lib/autoverify/verifier/incomplete 2026-01-14T10:23:59,835 copying autoverify/verifier/incomplete/__init__.py -> build/lib/autoverify/verifier/incomplete 2026-01-14T10:23:59,837 creating build/lib/autoverify/verifier/complete/ovalbab 2026-01-14T10:23:59,839 copying autoverify/verifier/complete/ovalbab/__init__.py -> build/lib/autoverify/verifier/complete/ovalbab 2026-01-14T10:23:59,841 copying autoverify/verifier/complete/ovalbab/configspace.py -> build/lib/autoverify/verifier/complete/ovalbab 2026-01-14T10:23:59,843 copying autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/lib/autoverify/verifier/complete/ovalbab 2026-01-14T10:23:59,846 copying autoverify/verifier/complete/ovalbab/verifier.py -> build/lib/autoverify/verifier/complete/ovalbab 2026-01-14T10:23:59,848 creating build/lib/autoverify/verifier/complete/verinet 2026-01-14T10:23:59,850 copying autoverify/verifier/complete/verinet/__init__.py -> build/lib/autoverify/verifier/complete/verinet 2026-01-14T10:23:59,852 copying autoverify/verifier/complete/verinet/configspace.py -> build/lib/autoverify/verifier/complete/verinet 2026-01-14T10:23:59,854 copying autoverify/verifier/complete/verinet/verifier.py -> build/lib/autoverify/verifier/complete/verinet 2026-01-14T10:23:59,857 creating build/lib/autoverify/verifier/complete/mnbab 2026-01-14T10:23:59,858 copying autoverify/verifier/complete/mnbab/__init__.py -> build/lib/autoverify/verifier/complete/mnbab 2026-01-14T10:23:59,861 copying autoverify/verifier/complete/mnbab/configspace.py -> build/lib/autoverify/verifier/complete/mnbab 2026-01-14T10:23:59,863 copying autoverify/verifier/complete/mnbab/verifier.py -> build/lib/autoverify/verifier/complete/mnbab 2026-01-14T10:23:59,866 copying autoverify/verifier/complete/mnbab/mnbab_json.py -> build/lib/autoverify/verifier/complete/mnbab 2026-01-14T10:23:59,869 creating build/lib/autoverify/verifier/complete/abcrown 2026-01-14T10:23:59,870 copying autoverify/verifier/complete/abcrown/__init__.py -> build/lib/autoverify/verifier/complete/abcrown 2026-01-14T10:23:59,873 copying autoverify/verifier/complete/abcrown/configspace.py -> build/lib/autoverify/verifier/complete/abcrown 2026-01-14T10:23:59,875 copying autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/lib/autoverify/verifier/complete/abcrown 2026-01-14T10:23:59,878 copying autoverify/verifier/complete/abcrown/verifier.py -> build/lib/autoverify/verifier/complete/abcrown 2026-01-14T10:23:59,880 creating build/lib/autoverify/verifier/complete/sdpcrown 2026-01-14T10:23:59,881 copying autoverify/verifier/complete/sdpcrown/__init__.py -> build/lib/autoverify/verifier/complete/sdpcrown 2026-01-14T10:23:59,884 copying autoverify/verifier/complete/sdpcrown/configspace.py -> build/lib/autoverify/verifier/complete/sdpcrown 2026-01-14T10:23:59,886 copying autoverify/verifier/complete/sdpcrown/sdpcrown_yaml_config.py -> build/lib/autoverify/verifier/complete/sdpcrown 2026-01-14T10:23:59,888 copying autoverify/verifier/complete/sdpcrown/verifier.py -> build/lib/autoverify/verifier/complete/sdpcrown 2026-01-14T10:23:59,891 creating build/lib/autoverify/verifier/complete/nnenum 2026-01-14T10:23:59,892 copying autoverify/verifier/complete/nnenum/__init__.py -> build/lib/autoverify/verifier/complete/nnenum 2026-01-14T10:23:59,894 copying autoverify/verifier/complete/nnenum/configspace.py -> build/lib/autoverify/verifier/complete/nnenum 2026-01-14T10:23:59,897 copying autoverify/verifier/complete/nnenum/verifier.py -> build/lib/autoverify/verifier/complete/nnenum 2026-01-14T10:23:59,900 creating build/lib/autoverify/portfolio/hydra 2026-01-14T10:23:59,901 copying autoverify/portfolio/hydra/__init__.py -> build/lib/autoverify/portfolio/hydra 2026-01-14T10:23:59,903 copying autoverify/portfolio/hydra/hydra.py -> build/lib/autoverify/portfolio/hydra 2026-01-14T10:23:59,906 copying autoverify/portfolio/hydra/cost_matrix.py -> build/lib/autoverify/portfolio/hydra 2026-01-14T10:23:59,909 running egg_info 2026-01-14T10:23:59,920 writing auto_verify.egg-info/PKG-INFO 2026-01-14T10:23:59,927 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2026-01-14T10:23:59,929 writing entry points to auto_verify.egg-info/entry_points.txt 2026-01-14T10:23:59,933 writing requirements to auto_verify.egg-info/requires.txt 2026-01-14T10:23:59,934 writing top-level names to auto_verify.egg-info/top_level.txt 2026-01-14T10:23:59,966 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:23:59,973 reading manifest template 'MANIFEST.in' 2026-01-14T10:24:00,012 adding license file 'LICENSE' 2026-01-14T10:24:00,018 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2026-01-14T10:24:00,035 copying autoverify/cli/install/installers/ovalbab/environment.yml -> build/lib/autoverify/cli/install/installers/ovalbab 2026-01-14T10:24:00,037 copying autoverify/cli/install/installers/verinet/environment.yml -> build/lib/autoverify/cli/install/installers/verinet 2026-01-14T10:24:00,040 copying autoverify/cli/install/installers/mnbab/environment.yml -> build/lib/autoverify/cli/install/installers/mnbab 2026-01-14T10:24:00,042 copying autoverify/cli/install/installers/abcrown/environment.yml -> build/lib/autoverify/cli/install/installers/abcrown 2026-01-14T10:24:00,045 copying autoverify/cli/install/installers/sdpcrown/environment.yml -> build/lib/autoverify/cli/install/installers/sdpcrown 2026-01-14T10:24:00,047 copying autoverify/cli/install/installers/nnenum/environment.yml -> build/lib/autoverify/cli/install/installers/nnenum 2026-01-14T10:24:00,071 installing to build/bdist.linux-armv7l/wheel 2026-01-14T10:24:00,072 running install 2026-01-14T10:24:00,095 running install_lib 2026-01-14T10:24:00,101 creating build/bdist.linux-armv7l/wheel 2026-01-14T10:24:00,103 creating build/bdist.linux-armv7l/wheel/autoverify 2026-01-14T10:24:00,104 copying build/lib/autoverify/types.py -> build/bdist.linux-armv7l/wheel/./autoverify 2026-01-14T10:24:00,106 creating build/bdist.linux-armv7l/wheel/autoverify/verify 2026-01-14T10:24:00,107 copying build/lib/autoverify/verify/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verify 2026-01-14T10:24:00,109 copying build/lib/autoverify/verify/eval_verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verify 2026-01-14T10:24:00,111 copying build/lib/autoverify/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify 2026-01-14T10:24:00,113 creating build/bdist.linux-armv7l/wheel/autoverify/cli 2026-01-14T10:24:00,114 copying build/lib/autoverify/cli/__main__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2026-01-14T10:24:00,116 copying build/lib/autoverify/cli/main.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2026-01-14T10:24:00,119 copying build/lib/autoverify/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2026-01-14T10:24:00,121 creating build/bdist.linux-armv7l/wheel/autoverify/cli/util 2026-01-14T10:24:00,122 copying build/lib/autoverify/cli/util/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/util 2026-01-14T10:24:00,124 copying build/lib/autoverify/cli/util/git.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/util 2026-01-14T10:24:00,126 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install 2026-01-14T10:24:00,128 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers 2026-01-14T10:24:00,129 copying build/lib/autoverify/cli/install/venv_installers/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers 2026-01-14T10:24:00,131 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:24:00,132 copying build/lib/autoverify/cli/install/venv_installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:24:00,134 copying build/lib/autoverify/cli/install/venv_installers/ovalbab/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/ovalbab 2026-01-14T10:24:00,136 copying build/lib/autoverify/cli/install/venv_installers/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers 2026-01-14T10:24:00,139 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/verinet 2026-01-14T10:24:00,140 copying build/lib/autoverify/cli/install/venv_installers/verinet/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/verinet 2026-01-14T10:24:00,142 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/mnbab 2026-01-14T10:24:00,143 copying build/lib/autoverify/cli/install/venv_installers/mnbab/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/mnbab 2026-01-14T10:24:00,146 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/abcrown 2026-01-14T10:24:00,147 copying build/lib/autoverify/cli/install/venv_installers/abcrown/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/abcrown 2026-01-14T10:24:00,150 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/nnenum 2026-01-14T10:24:00,151 copying build/lib/autoverify/cli/install/venv_installers/nnenum/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/nnenum 2026-01-14T10:24:00,153 copying build/lib/autoverify/cli/install/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install 2026-01-14T10:24:00,155 copying build/lib/autoverify/cli/install/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install 2026-01-14T10:24:00,157 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2026-01-14T10:24:00,158 copying build/lib/autoverify/cli/install/installers/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers 2026-01-14T10:24:00,161 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2026-01-14T10:24:00,162 copying build/lib/autoverify/cli/install/installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2026-01-14T10:24:00,164 copying build/lib/autoverify/cli/install/installers/ovalbab/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2026-01-14T10:24:00,166 copying build/lib/autoverify/cli/install/installers/ovalbab/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2026-01-14T10:24:00,168 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2026-01-14T10:24:00,169 copying build/lib/autoverify/cli/install/installers/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2026-01-14T10:24:00,171 copying build/lib/autoverify/cli/install/installers/verinet/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2026-01-14T10:24:00,173 copying build/lib/autoverify/cli/install/installers/verinet/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2026-01-14T10:24:00,175 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2026-01-14T10:24:00,176 copying build/lib/autoverify/cli/install/installers/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2026-01-14T10:24:00,178 copying build/lib/autoverify/cli/install/installers/mnbab/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2026-01-14T10:24:00,180 copying build/lib/autoverify/cli/install/installers/mnbab/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2026-01-14T10:24:00,183 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2026-01-14T10:24:00,184 copying build/lib/autoverify/cli/install/installers/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2026-01-14T10:24:00,185 copying build/lib/autoverify/cli/install/installers/abcrown/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2026-01-14T10:24:00,188 copying build/lib/autoverify/cli/install/installers/abcrown/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2026-01-14T10:24:00,190 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/sdpcrown 2026-01-14T10:24:00,191 copying build/lib/autoverify/cli/install/installers/sdpcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/sdpcrown 2026-01-14T10:24:00,193 copying build/lib/autoverify/cli/install/installers/sdpcrown/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/sdpcrown 2026-01-14T10:24:00,195 copying build/lib/autoverify/cli/install/installers/sdpcrown/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/sdpcrown 2026-01-14T10:24:00,197 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2026-01-14T10:24:00,198 copying build/lib/autoverify/cli/install/installers/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2026-01-14T10:24:00,200 copying build/lib/autoverify/cli/install/installers/nnenum/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2026-01-14T10:24:00,202 copying build/lib/autoverify/cli/install/installers/nnenum/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2026-01-14T10:24:00,204 creating build/bdist.linux-armv7l/wheel/autoverify/tune 2026-01-14T10:24:00,206 copying build/lib/autoverify/tune/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2026-01-14T10:24:00,208 copying build/lib/autoverify/tune/tune_hydra.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2026-01-14T10:24:00,209 copying build/lib/autoverify/tune/tune_verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2026-01-14T10:24:00,212 creating build/bdist.linux-armv7l/wheel/autoverify/verifier 2026-01-14T10:24:00,213 copying build/lib/autoverify/verifier/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2026-01-14T10:24:00,215 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2026-01-14T10:24:00,216 copying build/lib/autoverify/verifier/complete/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete 2026-01-14T10:24:00,218 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2026-01-14T10:24:00,219 copying build/lib/autoverify/verifier/complete/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2026-01-14T10:24:00,221 copying build/lib/autoverify/verifier/complete/ovalbab/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2026-01-14T10:24:00,224 copying build/lib/autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2026-01-14T10:24:00,226 copying build/lib/autoverify/verifier/complete/ovalbab/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2026-01-14T10:24:00,228 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2026-01-14T10:24:00,229 copying build/lib/autoverify/verifier/complete/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2026-01-14T10:24:00,231 copying build/lib/autoverify/verifier/complete/verinet/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2026-01-14T10:24:00,233 copying build/lib/autoverify/verifier/complete/verinet/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2026-01-14T10:24:00,235 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2026-01-14T10:24:00,237 copying build/lib/autoverify/verifier/complete/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2026-01-14T10:24:00,239 copying build/lib/autoverify/verifier/complete/mnbab/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2026-01-14T10:24:00,241 copying build/lib/autoverify/verifier/complete/mnbab/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2026-01-14T10:24:00,243 copying build/lib/autoverify/verifier/complete/mnbab/mnbab_json.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2026-01-14T10:24:00,245 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2026-01-14T10:24:00,246 copying build/lib/autoverify/verifier/complete/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2026-01-14T10:24:00,249 copying build/lib/autoverify/verifier/complete/abcrown/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2026-01-14T10:24:00,251 copying build/lib/autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2026-01-14T10:24:00,253 copying build/lib/autoverify/verifier/complete/abcrown/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2026-01-14T10:24:00,255 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/sdpcrown 2026-01-14T10:24:00,256 copying build/lib/autoverify/verifier/complete/sdpcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/sdpcrown 2026-01-14T10:24:00,258 copying build/lib/autoverify/verifier/complete/sdpcrown/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/sdpcrown 2026-01-14T10:24:00,260 copying build/lib/autoverify/verifier/complete/sdpcrown/sdpcrown_yaml_config.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/sdpcrown 2026-01-14T10:24:00,262 copying build/lib/autoverify/verifier/complete/sdpcrown/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/sdpcrown 2026-01-14T10:24:00,265 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2026-01-14T10:24:00,266 copying build/lib/autoverify/verifier/complete/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2026-01-14T10:24:00,268 copying build/lib/autoverify/verifier/complete/nnenum/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2026-01-14T10:24:00,271 copying build/lib/autoverify/verifier/complete/nnenum/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2026-01-14T10:24:00,273 copying build/lib/autoverify/verifier/verification_result.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2026-01-14T10:24:00,275 copying build/lib/autoverify/verifier/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2026-01-14T10:24:00,278 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2026-01-14T10:24:00,279 copying build/lib/autoverify/verifier/incomplete/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/incomplete 2026-01-14T10:24:00,280 copying build/lib/autoverify/config.py -> build/bdist.linux-armv7l/wheel/./autoverify 2026-01-14T10:24:00,283 creating build/bdist.linux-armv7l/wheel/autoverify/util 2026-01-14T10:24:00,284 copying build/lib/autoverify/util/resource_strategy.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,286 copying build/lib/autoverify/util/vnncomp_filters.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,288 copying build/lib/autoverify/util/path.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,289 copying build/lib/autoverify/util/vnncomp.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,291 copying build/lib/autoverify/util/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,293 copying build/lib/autoverify/util/conda.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,295 copying build/lib/autoverify/util/dataclass.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,297 copying build/lib/autoverify/util/target_function.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,299 copying build/lib/autoverify/util/configs.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,301 copying build/lib/autoverify/util/proc.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,303 copying build/lib/autoverify/util/resources.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,305 copying build/lib/autoverify/util/tempfiles.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,307 copying build/lib/autoverify/util/dict.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,309 copying build/lib/autoverify/util/verification_instance.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,311 copying build/lib/autoverify/util/cost_dict.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,313 copying build/lib/autoverify/util/verifiers.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,315 copying build/lib/autoverify/util/cli.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,317 copying build/lib/autoverify/util/onnx.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,319 copying build/lib/autoverify/util/env.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,321 copying build/lib/autoverify/util/loggers.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,323 copying build/lib/autoverify/util/smac.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,324 copying build/lib/autoverify/util/instances.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2026-01-14T10:24:00,327 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio 2026-01-14T10:24:00,328 copying build/lib/autoverify/portfolio/portfolio.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2026-01-14T10:24:00,331 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2026-01-14T10:24:00,332 copying build/lib/autoverify/portfolio/hydra/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2026-01-14T10:24:00,334 copying build/lib/autoverify/portfolio/hydra/hydra.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2026-01-14T10:24:00,337 copying build/lib/autoverify/portfolio/hydra/cost_matrix.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2026-01-14T10:24:00,339 copying build/lib/autoverify/portfolio/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2026-01-14T10:24:00,341 copying build/lib/autoverify/portfolio/portfolio_runner.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2026-01-14T10:24:00,343 running install_egg_info 2026-01-14T10:24:00,349 Copying auto_verify.egg-info to build/bdist.linux-armv7l/wheel/./auto_verify-1.0.0-py3.11.egg-info 2026-01-14T10:24:00,362 running install_scripts 2026-01-14T10:24:00,375 creating build/bdist.linux-armv7l/wheel/auto_verify-1.0.0.dist-info/WHEEL 2026-01-14T10:24:00,377 creating '/tmp/pip-wheel-zekhgkd9/.tmp-8z5s_x8s/auto_verify-1.0.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2026-01-14T10:24:00,381 adding 'auto_verify-1.0.0.dist-info/licenses/LICENSE' 2026-01-14T10:24:00,383 adding 'autoverify/__init__.py' 2026-01-14T10:24:00,384 adding 'autoverify/config.py' 2026-01-14T10:24:00,386 adding 'autoverify/types.py' 2026-01-14T10:24:00,388 adding 'autoverify/cli/__init__.py' 2026-01-14T10:24:00,389 adding 'autoverify/cli/__main__.py' 2026-01-14T10:24:00,393 adding 'autoverify/cli/main.py' 2026-01-14T10:24:00,395 adding 'autoverify/cli/install/__init__.py' 2026-01-14T10:24:00,396 adding 'autoverify/cli/install/install.py' 2026-01-14T10:24:00,398 adding 'autoverify/cli/install/installers/__init__.py' 2026-01-14T10:24:00,400 adding 'autoverify/cli/install/installers/abcrown/__init__.py' 2026-01-14T10:24:00,401 adding 'autoverify/cli/install/installers/abcrown/environment.yml' 2026-01-14T10:24:00,403 adding 'autoverify/cli/install/installers/abcrown/install.py' 2026-01-14T10:24:00,404 adding 'autoverify/cli/install/installers/mnbab/__init__.py' 2026-01-14T10:24:00,406 adding 'autoverify/cli/install/installers/mnbab/environment.yml' 2026-01-14T10:24:00,407 adding 'autoverify/cli/install/installers/mnbab/install.py' 2026-01-14T10:24:00,409 adding 'autoverify/cli/install/installers/nnenum/__init__.py' 2026-01-14T10:24:00,410 adding 'autoverify/cli/install/installers/nnenum/environment.yml' 2026-01-14T10:24:00,412 adding 'autoverify/cli/install/installers/nnenum/install.py' 2026-01-14T10:24:00,413 adding 'autoverify/cli/install/installers/ovalbab/__init__.py' 2026-01-14T10:24:00,415 adding 'autoverify/cli/install/installers/ovalbab/environment.yml' 2026-01-14T10:24:00,416 adding 'autoverify/cli/install/installers/ovalbab/install.py' 2026-01-14T10:24:00,418 adding 'autoverify/cli/install/installers/sdpcrown/__init__.py' 2026-01-14T10:24:00,419 adding 'autoverify/cli/install/installers/sdpcrown/environment.yml' 2026-01-14T10:24:00,421 adding 'autoverify/cli/install/installers/sdpcrown/install.py' 2026-01-14T10:24:00,422 adding 'autoverify/cli/install/installers/verinet/__init__.py' 2026-01-14T10:24:00,424 adding 'autoverify/cli/install/installers/verinet/environment.yml' 2026-01-14T10:24:00,425 adding 'autoverify/cli/install/installers/verinet/install.py' 2026-01-14T10:24:00,427 adding 'autoverify/cli/install/venv_installers/__init__.py' 2026-01-14T10:24:00,429 adding 'autoverify/cli/install/venv_installers/venv_install.py' 2026-01-14T10:24:00,431 adding 'autoverify/cli/install/venv_installers/abcrown/venv_install.py' 2026-01-14T10:24:00,433 adding 'autoverify/cli/install/venv_installers/mnbab/venv_install.py' 2026-01-14T10:24:00,434 adding 'autoverify/cli/install/venv_installers/nnenum/venv_install.py' 2026-01-14T10:24:00,436 adding 'autoverify/cli/install/venv_installers/ovalbab/__init__.py' 2026-01-14T10:24:00,437 adding 'autoverify/cli/install/venv_installers/ovalbab/venv_install.py' 2026-01-14T10:24:00,439 adding 'autoverify/cli/install/venv_installers/verinet/venv_install.py' 2026-01-14T10:24:00,441 adding 'autoverify/cli/util/__init__.py' 2026-01-14T10:24:00,442 adding 'autoverify/cli/util/git.py' 2026-01-14T10:24:00,444 adding 'autoverify/portfolio/__init__.py' 2026-01-14T10:24:00,446 adding 'autoverify/portfolio/portfolio.py' 2026-01-14T10:24:00,448 adding 'autoverify/portfolio/portfolio_runner.py' 2026-01-14T10:24:00,450 adding 'autoverify/portfolio/hydra/__init__.py' 2026-01-14T10:24:00,452 adding 'autoverify/portfolio/hydra/cost_matrix.py' 2026-01-14T10:24:00,454 adding 'autoverify/portfolio/hydra/hydra.py' 2026-01-14T10:24:00,455 adding 'autoverify/tune/__init__.py' 2026-01-14T10:24:00,457 adding 'autoverify/tune/tune_hydra.py' 2026-01-14T10:24:00,458 adding 'autoverify/tune/tune_verifier.py' 2026-01-14T10:24:00,460 adding 'autoverify/util/__init__.py' 2026-01-14T10:24:00,461 adding 'autoverify/util/cli.py' 2026-01-14T10:24:00,463 adding 'autoverify/util/conda.py' 2026-01-14T10:24:00,464 adding 'autoverify/util/configs.py' 2026-01-14T10:24:00,465 adding 'autoverify/util/cost_dict.py' 2026-01-14T10:24:00,467 adding 'autoverify/util/dataclass.py' 2026-01-14T10:24:00,468 adding 'autoverify/util/dict.py' 2026-01-14T10:24:00,469 adding 'autoverify/util/env.py' 2026-01-14T10:24:00,471 adding 'autoverify/util/instances.py' 2026-01-14T10:24:00,472 adding 'autoverify/util/loggers.py' 2026-01-14T10:24:00,473 adding 'autoverify/util/onnx.py' 2026-01-14T10:24:00,475 adding 'autoverify/util/path.py' 2026-01-14T10:24:00,476 adding 'autoverify/util/proc.py' 2026-01-14T10:24:00,477 adding 'autoverify/util/resource_strategy.py' 2026-01-14T10:24:00,479 adding 'autoverify/util/resources.py' 2026-01-14T10:24:00,480 adding 'autoverify/util/smac.py' 2026-01-14T10:24:00,482 adding 'autoverify/util/target_function.py' 2026-01-14T10:24:00,483 adding 'autoverify/util/tempfiles.py' 2026-01-14T10:24:00,484 adding 'autoverify/util/verification_instance.py' 2026-01-14T10:24:00,486 adding 'autoverify/util/verifiers.py' 2026-01-14T10:24:00,487 adding 'autoverify/util/vnncomp.py' 2026-01-14T10:24:00,489 adding 'autoverify/util/vnncomp_filters.py' 2026-01-14T10:24:00,490 adding 'autoverify/verifier/__init__.py' 2026-01-14T10:24:00,492 adding 'autoverify/verifier/verification_result.py' 2026-01-14T10:24:00,494 adding 'autoverify/verifier/verifier.py' 2026-01-14T10:24:00,496 adding 'autoverify/verifier/complete/__init__.py' 2026-01-14T10:24:00,497 adding 'autoverify/verifier/complete/abcrown/__init__.py' 2026-01-14T10:24:00,499 adding 'autoverify/verifier/complete/abcrown/abcrown_yaml_config.py' 2026-01-14T10:24:00,501 adding 'autoverify/verifier/complete/abcrown/configspace.py' 2026-01-14T10:24:00,502 adding 'autoverify/verifier/complete/abcrown/verifier.py' 2026-01-14T10:24:00,504 adding 'autoverify/verifier/complete/mnbab/__init__.py' 2026-01-14T10:24:00,506 adding 'autoverify/verifier/complete/mnbab/configspace.py' 2026-01-14T10:24:00,507 adding 'autoverify/verifier/complete/mnbab/mnbab_json.py' 2026-01-14T10:24:00,509 adding 'autoverify/verifier/complete/mnbab/verifier.py' 2026-01-14T10:24:00,510 adding 'autoverify/verifier/complete/nnenum/__init__.py' 2026-01-14T10:24:00,512 adding 'autoverify/verifier/complete/nnenum/configspace.py' 2026-01-14T10:24:00,513 adding 'autoverify/verifier/complete/nnenum/verifier.py' 2026-01-14T10:24:00,515 adding 'autoverify/verifier/complete/ovalbab/__init__.py' 2026-01-14T10:24:00,516 adding 'autoverify/verifier/complete/ovalbab/configspace.py' 2026-01-14T10:24:00,518 adding 'autoverify/verifier/complete/ovalbab/ovalbab_json_config.py' 2026-01-14T10:24:00,519 adding 'autoverify/verifier/complete/ovalbab/verifier.py' 2026-01-14T10:24:00,521 adding 'autoverify/verifier/complete/sdpcrown/__init__.py' 2026-01-14T10:24:00,522 adding 'autoverify/verifier/complete/sdpcrown/configspace.py' 2026-01-14T10:24:00,524 adding 'autoverify/verifier/complete/sdpcrown/sdpcrown_yaml_config.py' 2026-01-14T10:24:00,525 adding 'autoverify/verifier/complete/sdpcrown/verifier.py' 2026-01-14T10:24:00,527 adding 'autoverify/verifier/complete/verinet/__init__.py' 2026-01-14T10:24:00,528 adding 'autoverify/verifier/complete/verinet/configspace.py' 2026-01-14T10:24:00,529 adding 'autoverify/verifier/complete/verinet/verifier.py' 2026-01-14T10:24:00,531 adding 'autoverify/verifier/incomplete/__init__.py' 2026-01-14T10:24:00,533 adding 'autoverify/verify/__init__.py' 2026-01-14T10:24:00,534 adding 'autoverify/verify/eval_verifier.py' 2026-01-14T10:24:00,536 adding 'auto_verify-1.0.0.dist-info/METADATA' 2026-01-14T10:24:00,537 adding 'auto_verify-1.0.0.dist-info/WHEEL' 2026-01-14T10:24:00,538 adding 'auto_verify-1.0.0.dist-info/entry_points.txt' 2026-01-14T10:24:00,539 adding 'auto_verify-1.0.0.dist-info/top_level.txt' 2026-01-14T10:24:00,541 adding 'auto_verify-1.0.0.dist-info/RECORD' 2026-01-14T10:24:00,545 removing build/bdist.linux-armv7l/wheel 2026-01-14T10:24:00,675 Building wheel for auto-verify (pyproject.toml): finished with status 'done' 2026-01-14T10:24:00,682 Created wheel for auto-verify: filename=auto_verify-1.0.0-py3-none-any.whl size=115954 sha256=eff4b1e727379eb6c76f4c96ed260ca7c36471f359bbeeade6d7f55477e83c6a 2026-01-14T10:24:00,683 Stored in directory: /tmp/pip-ephem-wheel-cache-tcnjoc0e/wheels/45/05/b6/149ffb9596ec7f6610c14523ee9f15009ee2c4947f1180d978 2026-01-14T10:24:00,700 Successfully built auto-verify 2026-01-14T10:24:00,707 Removed build tracker: '/tmp/pip-build-tracker-znbrmrrc'