2023-12-06T14:57:13,154 Created temporary directory: /tmp/pip-build-tracker-er7z1sjn 2023-12-06T14:57:13,156 Initialized build tracking at /tmp/pip-build-tracker-er7z1sjn 2023-12-06T14:57:13,156 Created build tracker: /tmp/pip-build-tracker-er7z1sjn 2023-12-06T14:57:13,157 Entered build tracker: /tmp/pip-build-tracker-er7z1sjn 2023-12-06T14:57:13,158 Created temporary directory: /tmp/pip-wheel-fn1g0ib2 2023-12-06T14:57:13,161 Created temporary directory: /tmp/pip-ephem-wheel-cache-q44vb1o5 2023-12-06T14:57:13,183 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-06T14:57:13,186 2 location(s) to search for versions of auto-verify: 2023-12-06T14:57:13,186 * https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:13,186 * https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:13,187 Fetching project page and analyzing links: https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:13,188 Getting page https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:13,189 Found index url https://pypi.org/simple/ 2023-12-06T14:57:13,328 Fetched page https://pypi.org/simple/auto-verify/ as application/vnd.pypi.simple.v1+json 2023-12-06T14:57:13,331 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 2023-12-06T14:57:13,332 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) 2023-12-06T14:57:13,333 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 2023-12-06T14:57:13,333 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) 2023-12-06T14:57:13,334 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 2023-12-06T14:57:13,335 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) 2023-12-06T14:57:13,336 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 2023-12-06T14:57:13,337 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) 2023-12-06T14:57:13,338 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 2023-12-06T14:57:13,338 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) 2023-12-06T14:57:13,339 Fetching project page and analyzing links: https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:13,340 Getting page https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:13,341 Found index url https://www.piwheels.org/simple/ 2023-12-06T14:57:13,495 Fetched page https://www.piwheels.org/simple/auto-verify/ as text/html 2023-12-06T14:57:13,498 Skipping link: No binaries permitted for auto-verify: https://www.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) 2023-12-06T14:57:13,498 Skipping link: No binaries permitted for auto-verify: https://www.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) 2023-12-06T14:57:13,499 Skipping link: No binaries permitted for auto-verify: https://www.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) 2023-12-06T14:57:13,499 Skipping link: not a file: https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:13,500 Skipping link: not a file: https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:13,520 Given no hashes to check 1 links for project 'auto-verify': discarding no candidates 2023-12-06T14:57:13,540 Collecting auto-verify==0.1.2 2023-12-06T14:57:13,542 Created temporary directory: /tmp/pip-unpack-gixqywec 2023-12-06T14:57:13,791 Downloading auto-verify-0.1.2.tar.gz (58 kB) 2023-12-06T14:57:14,013 Added auto-verify==0.1.2 from https://files.pythonhosted.org/packages/a1/49/dd4d115e1b04a91f644106f3ef99d77bb7a454827a41e7de60cf3ec92047/auto-verify-0.1.2.tar.gz to build tracker '/tmp/pip-build-tracker-er7z1sjn' 2023-12-06T14:57:14,020 Created temporary directory: /tmp/pip-build-env-jooxp607 2023-12-06T14:57:14,024 Installing build dependencies: started 2023-12-06T14:57:14,026 Running command pip subprocess to install build dependencies 2023-12-06T14:57:15,216 Using pip 23.3.1 from /home/piwheels/.local/lib/python3.11/site-packages/pip (python 3.11) 2023-12-06T14:57:15,761 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-06T14:57:17,186 Collecting setuptools>=61.0 2023-12-06T14:57:17,201 Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.0.2-py3-none-any.whl (819 kB) 2023-12-06T14:57:17,427 Collecting wheel 2023-12-06T14:57:17,440 Using cached https://www.piwheels.org/simple/wheel/wheel-0.42.0-py3-none-any.whl (65 kB) 2023-12-06T14:57:20,170 Installing collected packages: wheel, setuptools 2023-12-06T14:57:20,393 Creating /tmp/pip-build-env-jooxp607/overlay/local/bin 2023-12-06T14:57:20,395 changing mode of /tmp/pip-build-env-jooxp607/overlay/local/bin/wheel to 755 2023-12-06T14:57:22,587 Successfully installed setuptools-69.0.2 wheel-0.42.0 2023-12-06T14:57:23,111 Installing build dependencies: finished with status 'done' 2023-12-06T14:57:23,114 Getting requirements to build wheel: started 2023-12-06T14:57:23,115 Running command Getting requirements to build wheel 2023-12-06T14:57:23,952 running egg_info 2023-12-06T14:57:23,956 writing auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:23,963 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:23,965 writing entry points to auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:23,968 writing requirements to auto_verify.egg-info/requires.txt 2023-12-06T14:57:23,969 writing top-level names to auto_verify.egg-info/top_level.txt 2023-12-06T14:57:24,006 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:24,010 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:24,025 adding license file 'LICENSE' 2023-12-06T14:57:24,031 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:24,147 Getting requirements to build wheel: finished with status 'done' 2023-12-06T14:57:24,156 Created temporary directory: /tmp/pip-modern-metadata-0vjepqu3 2023-12-06T14:57:24,159 Preparing metadata (pyproject.toml): started 2023-12-06T14:57:24,160 Running command Preparing metadata (pyproject.toml) 2023-12-06T14:57:24,936 running dist_info 2023-12-06T14:57:24,941 creating /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info 2023-12-06T14:57:24,945 writing /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:24,952 writing dependency_links to /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:24,954 writing entry points to /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:24,958 writing requirements to /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/requires.txt 2023-12-06T14:57:24,959 writing top-level names to /tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/top_level.txt 2023-12-06T14:57:24,960 writing manifest file '/tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:24,993 reading manifest file '/tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:24,995 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:25,014 adding license file 'LICENSE' 2023-12-06T14:57:25,018 writing manifest file '/tmp/pip-modern-metadata-0vjepqu3/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:25,019 creating '/tmp/pip-modern-metadata-0vjepqu3/auto_verify-0.1.2.dist-info' 2023-12-06T14:57:25,171 Preparing metadata (pyproject.toml): finished with status 'done' 2023-12-06T14:57:25,175 Source in /tmp/pip-wheel-fn1g0ib2/auto-verify_2274631973834ad28b0883cf93867447 has version 0.1.2, which satisfies requirement auto-verify==0.1.2 from https://files.pythonhosted.org/packages/a1/49/dd4d115e1b04a91f644106f3ef99d77bb7a454827a41e7de60cf3ec92047/auto-verify-0.1.2.tar.gz 2023-12-06T14:57:25,176 Removed auto-verify==0.1.2 from https://files.pythonhosted.org/packages/a1/49/dd4d115e1b04a91f644106f3ef99d77bb7a454827a41e7de60cf3ec92047/auto-verify-0.1.2.tar.gz from build tracker '/tmp/pip-build-tracker-er7z1sjn' 2023-12-06T14:57:25,182 Created temporary directory: /tmp/pip-unpack-erxriaml 2023-12-06T14:57:25,183 Created temporary directory: /tmp/pip-unpack-lnmqqgxg 2023-12-06T14:57:25,230 Building wheels for collected packages: auto-verify 2023-12-06T14:57:25,234 Created temporary directory: /tmp/pip-wheel-cn91twui 2023-12-06T14:57:25,235 Destination directory: /tmp/pip-wheel-cn91twui 2023-12-06T14:57:25,237 Building wheel for auto-verify (pyproject.toml): started 2023-12-06T14:57:25,238 Running command Building wheel for auto-verify (pyproject.toml) 2023-12-06T14:57:25,996 running bdist_wheel 2023-12-06T14:57:26,011 running build 2023-12-06T14:57:26,012 running build_py 2023-12-06T14:57:26,016 creating build 2023-12-06T14:57:26,017 creating build/lib 2023-12-06T14:57:26,018 creating build/lib/autoverify 2023-12-06T14:57:26,019 copying autoverify/__init__.py -> build/lib/autoverify 2023-12-06T14:57:26,021 copying autoverify/types.py -> build/lib/autoverify 2023-12-06T14:57:26,023 creating build/lib/autoverify/verifier 2023-12-06T14:57:26,024 copying autoverify/verifier/__init__.py -> build/lib/autoverify/verifier 2023-12-06T14:57:26,025 copying autoverify/verifier/verifier.py -> build/lib/autoverify/verifier 2023-12-06T14:57:26,027 copying autoverify/verifier/verification_result.py -> build/lib/autoverify/verifier 2023-12-06T14:57:26,030 creating build/lib/autoverify/cli 2023-12-06T14:57:26,031 copying autoverify/cli/__init__.py -> build/lib/autoverify/cli 2023-12-06T14:57:26,032 copying autoverify/cli/__main__.py -> build/lib/autoverify/cli 2023-12-06T14:57:26,034 copying autoverify/cli/main.py -> build/lib/autoverify/cli 2023-12-06T14:57:26,036 creating build/lib/autoverify/tune 2023-12-06T14:57:26,037 copying autoverify/tune/__init__.py -> build/lib/autoverify/tune 2023-12-06T14:57:26,039 copying autoverify/tune/tune_hydra.py -> build/lib/autoverify/tune 2023-12-06T14:57:26,040 copying autoverify/tune/tune_verifier.py -> build/lib/autoverify/tune 2023-12-06T14:57:26,043 creating build/lib/autoverify/util 2023-12-06T14:57:26,044 copying autoverify/util/proc.py -> build/lib/autoverify/util 2023-12-06T14:57:26,046 copying autoverify/util/env.py -> build/lib/autoverify/util 2023-12-06T14:57:26,047 copying autoverify/util/dataclass.py -> build/lib/autoverify/util 2023-12-06T14:57:26,049 copying autoverify/util/tempfiles.py -> build/lib/autoverify/util 2023-12-06T14:57:26,051 copying autoverify/util/onnx.py -> build/lib/autoverify/util 2023-12-06T14:57:26,052 copying autoverify/util/smac.py -> build/lib/autoverify/util 2023-12-06T14:57:26,054 copying autoverify/util/cost_dict.py -> build/lib/autoverify/util 2023-12-06T14:57:26,055 copying autoverify/util/__init__.py -> build/lib/autoverify/util 2023-12-06T14:57:26,057 copying autoverify/util/resources.py -> build/lib/autoverify/util 2023-12-06T14:57:26,058 copying autoverify/util/vnncomp.py -> build/lib/autoverify/util 2023-12-06T14:57:26,060 copying autoverify/util/instances.py -> build/lib/autoverify/util 2023-12-06T14:57:26,062 copying autoverify/util/path.py -> build/lib/autoverify/util 2023-12-06T14:57:26,064 copying autoverify/util/configs.py -> build/lib/autoverify/util 2023-12-06T14:57:26,066 copying autoverify/util/verification_instance.py -> build/lib/autoverify/util 2023-12-06T14:57:26,067 copying autoverify/util/target_function.py -> build/lib/autoverify/util 2023-12-06T14:57:26,069 copying autoverify/util/verifiers.py -> build/lib/autoverify/util 2023-12-06T14:57:26,070 copying autoverify/util/vnncomp_filters.py -> build/lib/autoverify/util 2023-12-06T14:57:26,072 copying autoverify/util/cli.py -> build/lib/autoverify/util 2023-12-06T14:57:26,074 copying autoverify/util/conda.py -> build/lib/autoverify/util 2023-12-06T14:57:26,076 copying autoverify/util/loggers.py -> build/lib/autoverify/util 2023-12-06T14:57:26,077 copying autoverify/util/dict.py -> build/lib/autoverify/util 2023-12-06T14:57:26,079 copying autoverify/util/resource_strategy.py -> build/lib/autoverify/util 2023-12-06T14:57:26,081 creating build/lib/autoverify/verify 2023-12-06T14:57:26,082 copying autoverify/verify/eval_verifier.py -> build/lib/autoverify/verify 2023-12-06T14:57:26,084 copying autoverify/verify/__init__.py -> build/lib/autoverify/verify 2023-12-06T14:57:26,086 creating build/lib/autoverify/portfolio 2023-12-06T14:57:26,087 copying autoverify/portfolio/__init__.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:26,089 copying autoverify/portfolio/portfolio_runner.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:26,091 copying autoverify/portfolio/portfolio.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:26,094 creating build/lib/autoverify/verifier/complete 2023-12-06T14:57:26,095 copying autoverify/verifier/complete/__init__.py -> build/lib/autoverify/verifier/complete 2023-12-06T14:57:26,097 creating build/lib/autoverify/verifier/incomplete 2023-12-06T14:57:26,098 copying autoverify/verifier/incomplete/__init__.py -> build/lib/autoverify/verifier/incomplete 2023-12-06T14:57:26,100 creating build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,101 copying autoverify/verifier/complete/verinet/configspace.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,103 copying autoverify/verifier/complete/verinet/__init__.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,104 copying autoverify/verifier/complete/verinet/verifier.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,107 creating build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,108 copying autoverify/verifier/complete/mnbab/configspace.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,110 copying autoverify/verifier/complete/mnbab/__init__.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,112 copying autoverify/verifier/complete/mnbab/mnbab_json.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,113 copying autoverify/verifier/complete/mnbab/verifier.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,115 creating build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,116 copying autoverify/verifier/complete/nnenum/configspace.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,118 copying autoverify/verifier/complete/nnenum/__init__.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,120 copying autoverify/verifier/complete/nnenum/verifier.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,122 creating build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,123 copying autoverify/verifier/complete/ovalbab/configspace.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,125 copying autoverify/verifier/complete/ovalbab/__init__.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,127 copying autoverify/verifier/complete/ovalbab/verifier.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,129 copying autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,131 creating build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,132 copying autoverify/verifier/complete/abcrown/configspace.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,134 copying autoverify/verifier/complete/abcrown/__init__.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,136 copying autoverify/verifier/complete/abcrown/verifier.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,138 copying autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,140 creating build/lib/autoverify/cli/util 2023-12-06T14:57:26,141 copying autoverify/cli/util/__init__.py -> build/lib/autoverify/cli/util 2023-12-06T14:57:26,142 copying autoverify/cli/util/git.py -> build/lib/autoverify/cli/util 2023-12-06T14:57:26,144 creating build/lib/autoverify/cli/install 2023-12-06T14:57:26,145 copying autoverify/cli/install/__init__.py -> build/lib/autoverify/cli/install 2023-12-06T14:57:26,147 copying autoverify/cli/install/install.py -> build/lib/autoverify/cli/install 2023-12-06T14:57:26,149 creating build/lib/autoverify/cli/install/installers 2023-12-06T14:57:26,150 copying autoverify/cli/install/installers/__init__.py -> build/lib/autoverify/cli/install/installers 2023-12-06T14:57:26,153 creating build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,154 copying autoverify/cli/install/installers/verinet/__init__.py -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,155 copying autoverify/cli/install/installers/verinet/install.py -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,157 creating build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,158 copying autoverify/cli/install/installers/mnbab/__init__.py -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,160 copying autoverify/cli/install/installers/mnbab/install.py -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,162 creating build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,163 copying autoverify/cli/install/installers/nnenum/__init__.py -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,164 copying autoverify/cli/install/installers/nnenum/install.py -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,166 creating build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,167 copying autoverify/cli/install/installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,169 copying autoverify/cli/install/installers/ovalbab/install.py -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,171 creating build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,172 copying autoverify/cli/install/installers/abcrown/__init__.py -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,174 copying autoverify/cli/install/installers/abcrown/install.py -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,176 creating build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:26,176 copying autoverify/portfolio/hydra/__init__.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:26,178 copying autoverify/portfolio/hydra/cost_matrix.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:26,180 copying autoverify/portfolio/hydra/hydra.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:26,182 running egg_info 2023-12-06T14:57:26,186 writing auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:26,192 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:26,194 writing entry points to auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:26,197 writing requirements to auto_verify.egg-info/requires.txt 2023-12-06T14:57:26,198 writing top-level names to auto_verify.egg-info/top_level.txt 2023-12-06T14:57:26,221 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:26,224 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:26,254 adding license file 'LICENSE' 2023-12-06T14:57:26,259 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:26,270 copying autoverify/cli/install/installers/verinet/environment.yml -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,272 copying autoverify/cli/install/installers/mnbab/environment.yml -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,274 copying autoverify/cli/install/installers/nnenum/environment.yml -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,276 copying autoverify/cli/install/installers/ovalbab/environment.yml -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,278 copying autoverify/cli/install/installers/abcrown/environment.yml -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,296 installing to build/bdist.linux-armv7l/wheel 2023-12-06T14:57:26,297 running install 2023-12-06T14:57:26,321 running install_lib 2023-12-06T14:57:26,325 creating build/bdist.linux-armv7l 2023-12-06T14:57:26,326 creating build/bdist.linux-armv7l/wheel 2023-12-06T14:57:26,327 creating build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:26,328 copying build/lib/autoverify/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:26,331 creating build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:26,332 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2023-12-06T14:57:26,333 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,334 copying build/lib/autoverify/verifier/complete/verinet/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,336 copying build/lib/autoverify/verifier/complete/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,338 copying build/lib/autoverify/verifier/complete/verinet/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:26,340 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,341 copying build/lib/autoverify/verifier/complete/mnbab/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,344 copying build/lib/autoverify/verifier/complete/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,345 copying build/lib/autoverify/verifier/complete/mnbab/mnbab_json.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,348 copying build/lib/autoverify/verifier/complete/mnbab/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:26,350 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,351 copying build/lib/autoverify/verifier/complete/nnenum/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,353 copying build/lib/autoverify/verifier/complete/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,355 copying build/lib/autoverify/verifier/complete/nnenum/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:26,357 copying build/lib/autoverify/verifier/complete/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2023-12-06T14:57:26,359 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,360 copying build/lib/autoverify/verifier/complete/ovalbab/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,362 copying build/lib/autoverify/verifier/complete/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,364 copying build/lib/autoverify/verifier/complete/ovalbab/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,366 copying build/lib/autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:26,368 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,369 copying build/lib/autoverify/verifier/complete/abcrown/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,371 copying build/lib/autoverify/verifier/complete/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,373 copying build/lib/autoverify/verifier/complete/abcrown/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,375 copying build/lib/autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:26,377 copying build/lib/autoverify/verifier/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:26,379 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2023-12-06T14:57:26,380 copying build/lib/autoverify/verifier/incomplete/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2023-12-06T14:57:26,381 copying build/lib/autoverify/verifier/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:26,384 copying build/lib/autoverify/verifier/verification_result.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:26,386 copying build/lib/autoverify/types.py -> build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:26,388 creating build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:26,389 copying build/lib/autoverify/cli/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:26,390 copying build/lib/autoverify/cli/__main__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:26,392 copying build/lib/autoverify/cli/main.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:26,395 creating build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:26,395 copying build/lib/autoverify/cli/util/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:26,397 copying build/lib/autoverify/cli/util/git.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:26,399 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:26,400 copying build/lib/autoverify/cli/install/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:26,402 copying build/lib/autoverify/cli/install/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:26,404 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2023-12-06T14:57:26,406 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,407 copying build/lib/autoverify/cli/install/installers/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,408 copying build/lib/autoverify/cli/install/installers/verinet/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,410 copying build/lib/autoverify/cli/install/installers/verinet/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:26,412 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,413 copying build/lib/autoverify/cli/install/installers/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,415 copying build/lib/autoverify/cli/install/installers/mnbab/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,416 copying build/lib/autoverify/cli/install/installers/mnbab/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:26,419 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,419 copying build/lib/autoverify/cli/install/installers/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,421 copying build/lib/autoverify/cli/install/installers/nnenum/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,423 copying build/lib/autoverify/cli/install/installers/nnenum/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:26,424 copying build/lib/autoverify/cli/install/installers/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2023-12-06T14:57:26,426 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,427 copying build/lib/autoverify/cli/install/installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,429 copying build/lib/autoverify/cli/install/installers/ovalbab/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,431 copying build/lib/autoverify/cli/install/installers/ovalbab/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:26,433 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,434 copying build/lib/autoverify/cli/install/installers/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,436 copying build/lib/autoverify/cli/install/installers/abcrown/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,438 copying build/lib/autoverify/cli/install/installers/abcrown/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:26,440 creating build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:26,441 copying build/lib/autoverify/tune/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:26,442 copying build/lib/autoverify/tune/tune_hydra.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:26,444 copying build/lib/autoverify/tune/tune_verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:26,446 creating build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,447 copying build/lib/autoverify/util/proc.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,449 copying build/lib/autoverify/util/env.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,451 copying build/lib/autoverify/util/dataclass.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,453 copying build/lib/autoverify/util/tempfiles.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,454 copying build/lib/autoverify/util/onnx.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,456 copying build/lib/autoverify/util/smac.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,458 copying build/lib/autoverify/util/cost_dict.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,459 copying build/lib/autoverify/util/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,461 copying build/lib/autoverify/util/resources.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,463 copying build/lib/autoverify/util/vnncomp.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,465 copying build/lib/autoverify/util/instances.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,467 copying build/lib/autoverify/util/path.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,468 copying build/lib/autoverify/util/configs.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,470 copying build/lib/autoverify/util/verification_instance.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,472 copying build/lib/autoverify/util/target_function.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,474 copying build/lib/autoverify/util/verifiers.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,476 copying build/lib/autoverify/util/vnncomp_filters.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,477 copying build/lib/autoverify/util/cli.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,479 copying build/lib/autoverify/util/conda.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,481 copying build/lib/autoverify/util/loggers.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,483 copying build/lib/autoverify/util/dict.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,485 copying build/lib/autoverify/util/resource_strategy.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:26,487 creating build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:26,488 copying build/lib/autoverify/verify/eval_verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:26,490 copying build/lib/autoverify/verify/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:26,492 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:26,493 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:26,494 copying build/lib/autoverify/portfolio/hydra/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:26,496 copying build/lib/autoverify/portfolio/hydra/cost_matrix.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:26,499 copying build/lib/autoverify/portfolio/hydra/hydra.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:26,501 copying build/lib/autoverify/portfolio/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:26,503 copying build/lib/autoverify/portfolio/portfolio_runner.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:26,505 copying build/lib/autoverify/portfolio/portfolio.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:26,507 running install_egg_info 2023-12-06T14:57:26,511 Copying auto_verify.egg-info to build/bdist.linux-armv7l/wheel/auto_verify-0.1.2-py3.11.egg-info 2023-12-06T14:57:26,522 running install_scripts 2023-12-06T14:57:26,540 creating build/bdist.linux-armv7l/wheel/auto_verify-0.1.2.dist-info/WHEEL 2023-12-06T14:57:26,543 creating '/tmp/pip-wheel-cn91twui/.tmp-hajix_bg/auto_verify-0.1.2-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-12-06T14:57:26,546 adding 'autoverify/__init__.py' 2023-12-06T14:57:26,547 adding 'autoverify/types.py' 2023-12-06T14:57:26,548 adding 'autoverify/cli/__init__.py' 2023-12-06T14:57:26,549 adding 'autoverify/cli/__main__.py' 2023-12-06T14:57:26,551 adding 'autoverify/cli/main.py' 2023-12-06T14:57:26,552 adding 'autoverify/cli/install/__init__.py' 2023-12-06T14:57:26,554 adding 'autoverify/cli/install/install.py' 2023-12-06T14:57:26,556 adding 'autoverify/cli/install/installers/__init__.py' 2023-12-06T14:57:26,557 adding 'autoverify/cli/install/installers/abcrown/__init__.py' 2023-12-06T14:57:26,559 adding 'autoverify/cli/install/installers/abcrown/environment.yml' 2023-12-06T14:57:26,560 adding 'autoverify/cli/install/installers/abcrown/install.py' 2023-12-06T14:57:26,561 adding 'autoverify/cli/install/installers/mnbab/__init__.py' 2023-12-06T14:57:26,563 adding 'autoverify/cli/install/installers/mnbab/environment.yml' 2023-12-06T14:57:26,564 adding 'autoverify/cli/install/installers/mnbab/install.py' 2023-12-06T14:57:26,565 adding 'autoverify/cli/install/installers/nnenum/__init__.py' 2023-12-06T14:57:26,566 adding 'autoverify/cli/install/installers/nnenum/environment.yml' 2023-12-06T14:57:26,568 adding 'autoverify/cli/install/installers/nnenum/install.py' 2023-12-06T14:57:26,569 adding 'autoverify/cli/install/installers/ovalbab/__init__.py' 2023-12-06T14:57:26,571 adding 'autoverify/cli/install/installers/ovalbab/environment.yml' 2023-12-06T14:57:26,572 adding 'autoverify/cli/install/installers/ovalbab/install.py' 2023-12-06T14:57:26,573 adding 'autoverify/cli/install/installers/verinet/__init__.py' 2023-12-06T14:57:26,575 adding 'autoverify/cli/install/installers/verinet/environment.yml' 2023-12-06T14:57:26,576 adding 'autoverify/cli/install/installers/verinet/install.py' 2023-12-06T14:57:26,578 adding 'autoverify/cli/util/__init__.py' 2023-12-06T14:57:26,579 adding 'autoverify/cli/util/git.py' 2023-12-06T14:57:26,581 adding 'autoverify/portfolio/__init__.py' 2023-12-06T14:57:26,583 adding 'autoverify/portfolio/portfolio.py' 2023-12-06T14:57:26,585 adding 'autoverify/portfolio/portfolio_runner.py' 2023-12-06T14:57:26,586 adding 'autoverify/portfolio/hydra/__init__.py' 2023-12-06T14:57:26,588 adding 'autoverify/portfolio/hydra/cost_matrix.py' 2023-12-06T14:57:26,590 adding 'autoverify/portfolio/hydra/hydra.py' 2023-12-06T14:57:26,592 adding 'autoverify/tune/__init__.py' 2023-12-06T14:57:26,593 adding 'autoverify/tune/tune_hydra.py' 2023-12-06T14:57:26,594 adding 'autoverify/tune/tune_verifier.py' 2023-12-06T14:57:26,596 adding 'autoverify/util/__init__.py' 2023-12-06T14:57:26,597 adding 'autoverify/util/cli.py' 2023-12-06T14:57:26,599 adding 'autoverify/util/conda.py' 2023-12-06T14:57:26,600 adding 'autoverify/util/configs.py' 2023-12-06T14:57:26,601 adding 'autoverify/util/cost_dict.py' 2023-12-06T14:57:26,603 adding 'autoverify/util/dataclass.py' 2023-12-06T14:57:26,604 adding 'autoverify/util/dict.py' 2023-12-06T14:57:26,605 adding 'autoverify/util/env.py' 2023-12-06T14:57:26,607 adding 'autoverify/util/instances.py' 2023-12-06T14:57:26,608 adding 'autoverify/util/loggers.py' 2023-12-06T14:57:26,609 adding 'autoverify/util/onnx.py' 2023-12-06T14:57:26,610 adding 'autoverify/util/path.py' 2023-12-06T14:57:26,612 adding 'autoverify/util/proc.py' 2023-12-06T14:57:26,613 adding 'autoverify/util/resource_strategy.py' 2023-12-06T14:57:26,614 adding 'autoverify/util/resources.py' 2023-12-06T14:57:26,616 adding 'autoverify/util/smac.py' 2023-12-06T14:57:26,617 adding 'autoverify/util/target_function.py' 2023-12-06T14:57:26,618 adding 'autoverify/util/tempfiles.py' 2023-12-06T14:57:26,620 adding 'autoverify/util/verification_instance.py' 2023-12-06T14:57:26,621 adding 'autoverify/util/verifiers.py' 2023-12-06T14:57:26,622 adding 'autoverify/util/vnncomp.py' 2023-12-06T14:57:26,623 adding 'autoverify/util/vnncomp_filters.py' 2023-12-06T14:57:26,625 adding 'autoverify/verifier/__init__.py' 2023-12-06T14:57:26,626 adding 'autoverify/verifier/verification_result.py' 2023-12-06T14:57:26,628 adding 'autoverify/verifier/verifier.py' 2023-12-06T14:57:26,629 adding 'autoverify/verifier/complete/__init__.py' 2023-12-06T14:57:26,631 adding 'autoverify/verifier/complete/abcrown/__init__.py' 2023-12-06T14:57:26,632 adding 'autoverify/verifier/complete/abcrown/abcrown_yaml_config.py' 2023-12-06T14:57:26,633 adding 'autoverify/verifier/complete/abcrown/configspace.py' 2023-12-06T14:57:26,635 adding 'autoverify/verifier/complete/abcrown/verifier.py' 2023-12-06T14:57:26,636 adding 'autoverify/verifier/complete/mnbab/__init__.py' 2023-12-06T14:57:26,638 adding 'autoverify/verifier/complete/mnbab/configspace.py' 2023-12-06T14:57:26,639 adding 'autoverify/verifier/complete/mnbab/mnbab_json.py' 2023-12-06T14:57:26,641 adding 'autoverify/verifier/complete/mnbab/verifier.py' 2023-12-06T14:57:26,642 adding 'autoverify/verifier/complete/nnenum/__init__.py' 2023-12-06T14:57:26,643 adding 'autoverify/verifier/complete/nnenum/configspace.py' 2023-12-06T14:57:26,645 adding 'autoverify/verifier/complete/nnenum/verifier.py' 2023-12-06T14:57:26,647 adding 'autoverify/verifier/complete/ovalbab/__init__.py' 2023-12-06T14:57:26,648 adding 'autoverify/verifier/complete/ovalbab/configspace.py' 2023-12-06T14:57:26,649 adding 'autoverify/verifier/complete/ovalbab/ovalbab_json_config.py' 2023-12-06T14:57:26,651 adding 'autoverify/verifier/complete/ovalbab/verifier.py' 2023-12-06T14:57:26,653 adding 'autoverify/verifier/complete/verinet/__init__.py' 2023-12-06T14:57:26,654 adding 'autoverify/verifier/complete/verinet/configspace.py' 2023-12-06T14:57:26,655 adding 'autoverify/verifier/complete/verinet/verifier.py' 2023-12-06T14:57:26,657 adding 'autoverify/verifier/incomplete/__init__.py' 2023-12-06T14:57:26,658 adding 'autoverify/verify/__init__.py' 2023-12-06T14:57:26,660 adding 'autoverify/verify/eval_verifier.py' 2023-12-06T14:57:26,661 adding 'auto_verify-0.1.2.dist-info/LICENSE' 2023-12-06T14:57:26,662 adding 'auto_verify-0.1.2.dist-info/METADATA' 2023-12-06T14:57:26,663 adding 'auto_verify-0.1.2.dist-info/WHEEL' 2023-12-06T14:57:26,664 adding 'auto_verify-0.1.2.dist-info/entry_points.txt' 2023-12-06T14:57:26,664 adding 'auto_verify-0.1.2.dist-info/top_level.txt' 2023-12-06T14:57:26,666 adding 'auto_verify-0.1.2.dist-info/RECORD' 2023-12-06T14:57:26,669 removing build/bdist.linux-armv7l/wheel 2023-12-06T14:57:26,814 Building wheel for auto-verify (pyproject.toml): finished with status 'done' 2023-12-06T14:57:26,820 Created wheel for auto-verify: filename=auto_verify-0.1.2-py3-none-any.whl size=83293 sha256=86ffbc1466305448991a7e21e31e58ea14685b6524054345dee060c8342c551f 2023-12-06T14:57:26,822 Stored in directory: /tmp/pip-ephem-wheel-cache-q44vb1o5/wheels/21/b0/2e/b6d0a242a3fa30837e265d4a6b19e22c53965be6b51fc03b7a 2023-12-06T14:57:26,835 Successfully built auto-verify 2023-12-06T14:57:26,841 Removed build tracker: '/tmp/pip-build-tracker-er7z1sjn'