2025-09-17T03:12:59,338 Created temporary directory: /tmp/pip-ephem-wheel-cache-39ho0jof 2025-09-17T03:12:59,340 Created temporary directory: /tmp/pip-build-tracker-i5fjj2pi 2025-09-17T03:12:59,341 Initialized build tracking at /tmp/pip-build-tracker-i5fjj2pi 2025-09-17T03:12:59,341 Created build tracker: /tmp/pip-build-tracker-i5fjj2pi 2025-09-17T03:12:59,342 Entered build tracker: /tmp/pip-build-tracker-i5fjj2pi 2025-09-17T03:12:59,343 Created temporary directory: /tmp/pip-wheel-hr8qvawd 2025-09-17T03:12:59,346 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 2025-09-17T03:12:59,348 Created temporary directory: /tmp/pip-ephem-wheel-cache-us8xa4vz 2025-09-17T03:12:59,372 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-17T03:12:59,376 2 location(s) to search for versions of auto-verify: 2025-09-17T03:12:59,376 * https://pypi.org/simple/auto-verify/ 2025-09-17T03:12:59,376 * https://www.piwheels.org/simple/auto-verify/ 2025-09-17T03:12:59,376 Fetching project page and analyzing links: https://pypi.org/simple/auto-verify/ 2025-09-17T03:12:59,377 Getting page https://pypi.org/simple/auto-verify/ 2025-09-17T03:12:59,379 Found index url https://pypi.org/simple 2025-09-17T03:12:59,597 Fetched page https://pypi.org/simple/auto-verify/ as application/vnd.pypi.simple.v1+json 2025-09-17T03:12:59,601 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 2025-09-17T03:12:59,602 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) 2025-09-17T03:12:59,603 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 2025-09-17T03:12:59,603 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) 2025-09-17T03:12:59,605 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 2025-09-17T03:12:59,605 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) 2025-09-17T03:12:59,606 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 2025-09-17T03:12:59,607 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) 2025-09-17T03:12:59,608 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 2025-09-17T03:12:59,609 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) 2025-09-17T03:12:59,610 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) 2025-09-17T03:12:59,611 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 2025-09-17T03:12:59,612 Fetching project page and analyzing links: https://www.piwheels.org/simple/auto-verify/ 2025-09-17T03:12:59,612 Getting page https://www.piwheels.org/simple/auto-verify/ 2025-09-17T03:12:59,614 Found index url https://www.piwheels.org/simple 2025-09-17T03:12:59,781 Fetched page https://www.piwheels.org/simple/auto-verify/ as text/html 2025-09-17T03:12:59,784 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) 2025-09-17T03:12:59,785 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) 2025-09-17T03:12:59,785 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) 2025-09-17T03:12:59,786 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) 2025-09-17T03:12:59,786 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) 2025-09-17T03:12:59,787 Skipping link: not a file: https://www.piwheels.org/simple/auto-verify/ 2025-09-17T03:12:59,787 Skipping link: not a file: https://pypi.org/simple/auto-verify/ 2025-09-17T03:12:59,806 Given no hashes to check 1 links for project 'auto-verify': discarding no candidates 2025-09-17T03:12:59,824 Collecting auto-verify==0.1.4 2025-09-17T03:12:59,827 Created temporary directory: /tmp/pip-unpack-hjx8fy5e 2025-09-17T03:13:00,055 Downloading auto_verify-0.1.4.tar.gz (75 kB) 2025-09-17T03:13:00,312 Added auto-verify==0.1.4 from https://files.pythonhosted.org/packages/91/d1/4e70b73877547dbac69b7d6ef74e3a2927968af3747a708ee290c683dd77/auto_verify-0.1.4.tar.gz to build tracker '/tmp/pip-build-tracker-i5fjj2pi' 2025-09-17T03:13:00,319 Created temporary directory: /tmp/pip-build-env-f7xbrakx 2025-09-17T03:13:00,323 Installing build dependencies: started 2025-09-17T03:13:00,324 Running command pip subprocess to install build dependencies 2025-09-17T03:13:01,452 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-09-17T03:13:02,072 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 2025-09-17T03:13:02,259 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-09-17T03:13:04,008 Collecting setuptools>=61.0 2025-09-17T03:13:04,092 Using cached https://www.piwheels.org/simple/setuptools/setuptools-80.9.0-py3-none-any.whl (1.2 MB) 2025-09-17T03:13:04,567 Collecting wheel 2025-09-17T03:13:04,585 Using cached https://www.piwheels.org/simple/wheel/wheel-0.45.1-py3-none-any.whl (72 kB) 2025-09-17T03:13:07,823 Installing collected packages: wheel, setuptools 2025-09-17T03:13:08,083 Creating /tmp/pip-build-env-f7xbrakx/overlay/local/bin 2025-09-17T03:13:08,085 changing mode of /tmp/pip-build-env-f7xbrakx/overlay/local/bin/wheel to 755 2025-09-17T03:13:12,149 Successfully installed setuptools-80.9.0 wheel-0.45.1 2025-09-17T03:13:12,418 Installing build dependencies: finished with status 'done' 2025-09-17T03:13:12,425 Getting requirements to build wheel: started 2025-09-17T03:13:12,426 Running command Getting requirements to build wheel 2025-09-17T03:13:13,386 running egg_info 2025-09-17T03:13:13,393 writing auto_verify.egg-info/PKG-INFO 2025-09-17T03:13:13,401 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2025-09-17T03:13:13,403 writing entry points to auto_verify.egg-info/entry_points.txt 2025-09-17T03:13:13,407 writing requirements to auto_verify.egg-info/requires.txt 2025-09-17T03:13:13,408 writing top-level names to auto_verify.egg-info/top_level.txt 2025-09-17T03:13:13,458 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:13,465 reading manifest template 'MANIFEST.in' 2025-09-17T03:13:13,482 adding license file 'LICENSE' 2025-09-17T03:13:13,488 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:13,586 Getting requirements to build wheel: finished with status 'done' 2025-09-17T03:13:13,590 Created temporary directory: /tmp/pip-modern-metadata-trrcl8o3 2025-09-17T03:13:13,592 Preparing metadata (pyproject.toml): started 2025-09-17T03:13:13,593 Running command Preparing metadata (pyproject.toml) 2025-09-17T03:13:14,498 running dist_info 2025-09-17T03:13:14,510 creating /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info 2025-09-17T03:13:14,511 writing /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/PKG-INFO 2025-09-17T03:13:14,519 writing dependency_links to /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/dependency_links.txt 2025-09-17T03:13:14,521 writing entry points to /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/entry_points.txt 2025-09-17T03:13:14,525 writing requirements to /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/requires.txt 2025-09-17T03:13:14,526 writing top-level names to /tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/top_level.txt 2025-09-17T03:13:14,527 writing manifest file '/tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:14,569 reading manifest file '/tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:14,571 reading manifest template 'MANIFEST.in' 2025-09-17T03:13:14,587 adding license file 'LICENSE' 2025-09-17T03:13:14,592 writing manifest file '/tmp/pip-modern-metadata-trrcl8o3/auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:14,593 creating '/tmp/pip-modern-metadata-trrcl8o3/auto_verify-0.1.4.dist-info' 2025-09-17T03:13:14,719 Preparing metadata (pyproject.toml): finished with status 'done' 2025-09-17T03:13:14,724 Source in /tmp/pip-wheel-hr8qvawd/auto-verify_c440a3e9c7bb40d89b99bb83e0f8c7c1 has version 0.1.4, which satisfies requirement auto-verify==0.1.4 from https://files.pythonhosted.org/packages/91/d1/4e70b73877547dbac69b7d6ef74e3a2927968af3747a708ee290c683dd77/auto_verify-0.1.4.tar.gz 2025-09-17T03:13:14,725 Removed auto-verify==0.1.4 from https://files.pythonhosted.org/packages/91/d1/4e70b73877547dbac69b7d6ef74e3a2927968af3747a708ee290c683dd77/auto_verify-0.1.4.tar.gz from build tracker '/tmp/pip-build-tracker-i5fjj2pi' 2025-09-17T03:13:14,732 Created temporary directory: /tmp/pip-unpack-rifzl2fr 2025-09-17T03:13:14,733 Building wheels for collected packages: auto-verify 2025-09-17T03:13:14,737 Created temporary directory: /tmp/pip-wheel-mefkpj_4 2025-09-17T03:13:14,738 Destination directory: /tmp/pip-wheel-mefkpj_4 2025-09-17T03:13:14,740 Building wheel for auto-verify (pyproject.toml): started 2025-09-17T03:13:14,741 Running command Building wheel for auto-verify (pyproject.toml) 2025-09-17T03:13:16,116 running bdist_wheel 2025-09-17T03:13:16,136 running build 2025-09-17T03:13:16,136 running build_py 2025-09-17T03:13:16,143 creating build/lib/autoverify 2025-09-17T03:13:16,145 copying autoverify/types.py -> build/lib/autoverify 2025-09-17T03:13:16,147 copying autoverify/__init__.py -> build/lib/autoverify 2025-09-17T03:13:16,148 copying autoverify/config.py -> build/lib/autoverify 2025-09-17T03:13:16,151 creating build/lib/autoverify/tune 2025-09-17T03:13:16,152 copying autoverify/tune/tune_hydra.py -> build/lib/autoverify/tune 2025-09-17T03:13:16,154 copying autoverify/tune/__init__.py -> build/lib/autoverify/tune 2025-09-17T03:13:16,156 copying autoverify/tune/tune_verifier.py -> build/lib/autoverify/tune 2025-09-17T03:13:16,158 creating build/lib/autoverify/portfolio 2025-09-17T03:13:16,159 copying autoverify/portfolio/__init__.py -> build/lib/autoverify/portfolio 2025-09-17T03:13:16,161 copying autoverify/portfolio/portfolio.py -> build/lib/autoverify/portfolio 2025-09-17T03:13:16,163 copying autoverify/portfolio/portfolio_runner.py -> build/lib/autoverify/portfolio 2025-09-17T03:13:16,167 creating build/lib/autoverify/verify 2025-09-17T03:13:16,168 copying autoverify/verify/eval_verifier.py -> build/lib/autoverify/verify 2025-09-17T03:13:16,170 copying autoverify/verify/__init__.py -> build/lib/autoverify/verify 2025-09-17T03:13:16,172 creating build/lib/autoverify/verifier 2025-09-17T03:13:16,173 copying autoverify/verifier/verification_result.py -> build/lib/autoverify/verifier 2025-09-17T03:13:16,175 copying autoverify/verifier/__init__.py -> build/lib/autoverify/verifier 2025-09-17T03:13:16,177 copying autoverify/verifier/verifier.py -> build/lib/autoverify/verifier 2025-09-17T03:13:16,180 creating build/lib/autoverify/util 2025-09-17T03:13:16,181 copying autoverify/util/configs.py -> build/lib/autoverify/util 2025-09-17T03:13:16,183 copying autoverify/util/smac.py -> build/lib/autoverify/util 2025-09-17T03:13:16,185 copying autoverify/util/proc.py -> build/lib/autoverify/util 2025-09-17T03:13:16,186 copying autoverify/util/target_function.py -> build/lib/autoverify/util 2025-09-17T03:13:16,188 copying autoverify/util/tempfiles.py -> build/lib/autoverify/util 2025-09-17T03:13:16,190 copying autoverify/util/cli.py -> build/lib/autoverify/util 2025-09-17T03:13:16,192 copying autoverify/util/resource_strategy.py -> build/lib/autoverify/util 2025-09-17T03:13:16,194 copying autoverify/util/vnncomp.py -> build/lib/autoverify/util 2025-09-17T03:13:16,196 copying autoverify/util/verification_instance.py -> build/lib/autoverify/util 2025-09-17T03:13:16,198 copying autoverify/util/onnx.py -> build/lib/autoverify/util 2025-09-17T03:13:16,200 copying autoverify/util/cost_dict.py -> build/lib/autoverify/util 2025-09-17T03:13:16,202 copying autoverify/util/dict.py -> build/lib/autoverify/util 2025-09-17T03:13:16,203 copying autoverify/util/__init__.py -> build/lib/autoverify/util 2025-09-17T03:13:16,205 copying autoverify/util/resources.py -> build/lib/autoverify/util 2025-09-17T03:13:16,207 copying autoverify/util/instances.py -> build/lib/autoverify/util 2025-09-17T03:13:16,209 copying autoverify/util/env.py -> build/lib/autoverify/util 2025-09-17T03:13:16,211 copying autoverify/util/loggers.py -> build/lib/autoverify/util 2025-09-17T03:13:16,213 copying autoverify/util/path.py -> build/lib/autoverify/util 2025-09-17T03:13:16,215 copying autoverify/util/vnncomp_filters.py -> build/lib/autoverify/util 2025-09-17T03:13:16,217 copying autoverify/util/conda.py -> build/lib/autoverify/util 2025-09-17T03:13:16,218 copying autoverify/util/verifiers.py -> build/lib/autoverify/util 2025-09-17T03:13:16,220 copying autoverify/util/dataclass.py -> build/lib/autoverify/util 2025-09-17T03:13:16,222 creating build/lib/autoverify/cli 2025-09-17T03:13:16,223 copying autoverify/cli/__main__.py -> build/lib/autoverify/cli 2025-09-17T03:13:16,225 copying autoverify/cli/__init__.py -> build/lib/autoverify/cli 2025-09-17T03:13:16,226 copying autoverify/cli/main.py -> build/lib/autoverify/cli 2025-09-17T03:13:16,229 creating build/lib/autoverify/portfolio/hydra 2025-09-17T03:13:16,230 copying autoverify/portfolio/hydra/cost_matrix.py -> build/lib/autoverify/portfolio/hydra 2025-09-17T03:13:16,232 copying autoverify/portfolio/hydra/__init__.py -> build/lib/autoverify/portfolio/hydra 2025-09-17T03:13:16,234 copying autoverify/portfolio/hydra/hydra.py -> build/lib/autoverify/portfolio/hydra 2025-09-17T03:13:16,237 creating build/lib/autoverify/verifier/incomplete 2025-09-17T03:13:16,237 copying autoverify/verifier/incomplete/__init__.py -> build/lib/autoverify/verifier/incomplete 2025-09-17T03:13:16,239 creating build/lib/autoverify/verifier/complete 2025-09-17T03:13:16,240 copying autoverify/verifier/complete/__init__.py -> build/lib/autoverify/verifier/complete 2025-09-17T03:13:16,243 creating build/lib/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,244 copying autoverify/verifier/complete/abcrown/__init__.py -> build/lib/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,246 copying autoverify/verifier/complete/abcrown/verifier.py -> build/lib/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,248 copying autoverify/verifier/complete/abcrown/configspace.py -> build/lib/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,251 copying autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/lib/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,253 creating build/lib/autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,254 copying autoverify/verifier/complete/nnenum/__init__.py -> build/lib/autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,256 copying autoverify/verifier/complete/nnenum/verifier.py -> build/lib/autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,258 copying autoverify/verifier/complete/nnenum/configspace.py -> build/lib/autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,260 creating build/lib/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,261 copying autoverify/verifier/complete/mnbab/__init__.py -> build/lib/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,263 copying autoverify/verifier/complete/mnbab/verifier.py -> build/lib/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,265 copying autoverify/verifier/complete/mnbab/mnbab_json.py -> build/lib/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,267 copying autoverify/verifier/complete/mnbab/configspace.py -> build/lib/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,270 creating build/lib/autoverify/verifier/complete/verinet 2025-09-17T03:13:16,271 copying autoverify/verifier/complete/verinet/__init__.py -> build/lib/autoverify/verifier/complete/verinet 2025-09-17T03:13:16,273 copying autoverify/verifier/complete/verinet/verifier.py -> build/lib/autoverify/verifier/complete/verinet 2025-09-17T03:13:16,275 copying autoverify/verifier/complete/verinet/configspace.py -> build/lib/autoverify/verifier/complete/verinet 2025-09-17T03:13:16,277 creating build/lib/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,278 copying autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/lib/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,280 copying autoverify/verifier/complete/ovalbab/__init__.py -> build/lib/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,282 copying autoverify/verifier/complete/ovalbab/verifier.py -> build/lib/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,284 copying autoverify/verifier/complete/ovalbab/configspace.py -> build/lib/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,287 creating build/lib/autoverify/cli/install 2025-09-17T03:13:16,288 copying autoverify/cli/install/__init__.py -> build/lib/autoverify/cli/install 2025-09-17T03:13:16,289 copying autoverify/cli/install/install.py -> build/lib/autoverify/cli/install 2025-09-17T03:13:16,292 creating build/lib/autoverify/cli/util 2025-09-17T03:13:16,293 copying autoverify/cli/util/git.py -> build/lib/autoverify/cli/util 2025-09-17T03:13:16,295 copying autoverify/cli/util/__init__.py -> build/lib/autoverify/cli/util 2025-09-17T03:13:16,297 creating build/lib/autoverify/cli/install/venv_installers 2025-09-17T03:13:16,298 copying autoverify/cli/install/venv_installers/venv_install.py -> build/lib/autoverify/cli/install/venv_installers 2025-09-17T03:13:16,300 copying autoverify/cli/install/venv_installers/__init__.py -> build/lib/autoverify/cli/install/venv_installers 2025-09-17T03:13:16,302 creating build/lib/autoverify/cli/install/installers 2025-09-17T03:13:16,303 copying autoverify/cli/install/installers/__init__.py -> build/lib/autoverify/cli/install/installers 2025-09-17T03:13:16,306 creating build/lib/autoverify/cli/install/venv_installers/abcrown 2025-09-17T03:13:16,307 copying autoverify/cli/install/venv_installers/abcrown/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/abcrown 2025-09-17T03:13:16,309 creating build/lib/autoverify/cli/install/venv_installers/nnenum 2025-09-17T03:13:16,310 copying autoverify/cli/install/venv_installers/nnenum/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/nnenum 2025-09-17T03:13:16,312 creating build/lib/autoverify/cli/install/venv_installers/mnbab 2025-09-17T03:13:16,313 copying autoverify/cli/install/venv_installers/mnbab/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/mnbab 2025-09-17T03:13:16,315 creating build/lib/autoverify/cli/install/venv_installers/verinet 2025-09-17T03:13:16,316 copying autoverify/cli/install/venv_installers/verinet/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/verinet 2025-09-17T03:13:16,319 creating build/lib/autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,320 copying autoverify/cli/install/venv_installers/ovalbab/venv_install.py -> build/lib/autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,322 copying autoverify/cli/install/venv_installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,324 creating build/lib/autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,325 copying autoverify/cli/install/installers/abcrown/__init__.py -> build/lib/autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,326 copying autoverify/cli/install/installers/abcrown/install.py -> build/lib/autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,329 creating build/lib/autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,330 copying autoverify/cli/install/installers/nnenum/__init__.py -> build/lib/autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,331 copying autoverify/cli/install/installers/nnenum/install.py -> build/lib/autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,334 creating build/lib/autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,335 copying autoverify/cli/install/installers/mnbab/__init__.py -> build/lib/autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,337 copying autoverify/cli/install/installers/mnbab/install.py -> build/lib/autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,339 creating build/lib/autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,340 copying autoverify/cli/install/installers/verinet/__init__.py -> build/lib/autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,342 copying autoverify/cli/install/installers/verinet/install.py -> build/lib/autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,344 creating build/lib/autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,345 copying autoverify/cli/install/installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,346 copying autoverify/cli/install/installers/ovalbab/install.py -> build/lib/autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,348 running egg_info 2025-09-17T03:13:16,359 writing auto_verify.egg-info/PKG-INFO 2025-09-17T03:13:16,366 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2025-09-17T03:13:16,368 writing entry points to auto_verify.egg-info/entry_points.txt 2025-09-17T03:13:16,372 writing requirements to auto_verify.egg-info/requires.txt 2025-09-17T03:13:16,373 writing top-level names to auto_verify.egg-info/top_level.txt 2025-09-17T03:13:16,404 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:16,410 reading manifest template 'MANIFEST.in' 2025-09-17T03:13:16,445 adding license file 'LICENSE' 2025-09-17T03:13:16,452 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2025-09-17T03:13:16,466 copying autoverify/cli/install/installers/abcrown/environment.yml -> build/lib/autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,469 copying autoverify/cli/install/installers/nnenum/environment.yml -> build/lib/autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,471 copying autoverify/cli/install/installers/mnbab/environment.yml -> build/lib/autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,473 copying autoverify/cli/install/installers/verinet/environment.yml -> build/lib/autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,475 copying autoverify/cli/install/installers/ovalbab/environment.yml -> build/lib/autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,497 installing to build/bdist.linux-armv7l/wheel 2025-09-17T03:13:16,498 running install 2025-09-17T03:13:16,521 running install_lib 2025-09-17T03:13:16,527 creating build/bdist.linux-armv7l/wheel 2025-09-17T03:13:16,529 creating build/bdist.linux-armv7l/wheel/autoverify 2025-09-17T03:13:16,530 copying build/lib/autoverify/types.py -> build/bdist.linux-armv7l/wheel/./autoverify 2025-09-17T03:13:16,532 creating build/bdist.linux-armv7l/wheel/autoverify/tune 2025-09-17T03:13:16,533 copying build/lib/autoverify/tune/tune_hydra.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2025-09-17T03:13:16,534 copying build/lib/autoverify/tune/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2025-09-17T03:13:16,536 copying build/lib/autoverify/tune/tune_verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/tune 2025-09-17T03:13:16,538 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio 2025-09-17T03:13:16,539 copying build/lib/autoverify/portfolio/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2025-09-17T03:13:16,541 copying build/lib/autoverify/portfolio/portfolio.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2025-09-17T03:13:16,543 copying build/lib/autoverify/portfolio/portfolio_runner.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio 2025-09-17T03:13:16,546 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2025-09-17T03:13:16,547 copying build/lib/autoverify/portfolio/hydra/cost_matrix.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2025-09-17T03:13:16,549 copying build/lib/autoverify/portfolio/hydra/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2025-09-17T03:13:16,551 copying build/lib/autoverify/portfolio/hydra/hydra.py -> build/bdist.linux-armv7l/wheel/./autoverify/portfolio/hydra 2025-09-17T03:13:16,554 creating build/bdist.linux-armv7l/wheel/autoverify/verify 2025-09-17T03:13:16,555 copying build/lib/autoverify/verify/eval_verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verify 2025-09-17T03:13:16,557 copying build/lib/autoverify/verify/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verify 2025-09-17T03:13:16,559 copying build/lib/autoverify/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify 2025-09-17T03:13:16,560 copying build/lib/autoverify/config.py -> build/bdist.linux-armv7l/wheel/./autoverify 2025-09-17T03:13:16,563 creating build/bdist.linux-armv7l/wheel/autoverify/verifier 2025-09-17T03:13:16,564 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2025-09-17T03:13:16,565 copying build/lib/autoverify/verifier/incomplete/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/incomplete 2025-09-17T03:13:16,567 copying build/lib/autoverify/verifier/verification_result.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2025-09-17T03:13:16,568 copying build/lib/autoverify/verifier/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2025-09-17T03:13:16,570 copying build/lib/autoverify/verifier/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier 2025-09-17T03:13:16,572 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2025-09-17T03:13:16,573 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,574 copying build/lib/autoverify/verifier/complete/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,576 copying build/lib/autoverify/verifier/complete/abcrown/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,578 copying build/lib/autoverify/verifier/complete/abcrown/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,581 copying build/lib/autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/abcrown 2025-09-17T03:13:16,583 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,584 copying build/lib/autoverify/verifier/complete/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,585 copying build/lib/autoverify/verifier/complete/nnenum/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,588 copying build/lib/autoverify/verifier/complete/nnenum/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/nnenum 2025-09-17T03:13:16,590 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,591 copying build/lib/autoverify/verifier/complete/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,593 copying build/lib/autoverify/verifier/complete/mnbab/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,595 copying build/lib/autoverify/verifier/complete/mnbab/mnbab_json.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,597 copying build/lib/autoverify/verifier/complete/mnbab/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/mnbab 2025-09-17T03:13:16,600 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2025-09-17T03:13:16,601 copying build/lib/autoverify/verifier/complete/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2025-09-17T03:13:16,603 copying build/lib/autoverify/verifier/complete/verinet/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2025-09-17T03:13:16,605 copying build/lib/autoverify/verifier/complete/verinet/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/verinet 2025-09-17T03:13:16,607 copying build/lib/autoverify/verifier/complete/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete 2025-09-17T03:13:16,609 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,610 copying build/lib/autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,612 copying build/lib/autoverify/verifier/complete/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,613 copying build/lib/autoverify/verifier/complete/ovalbab/verifier.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,615 copying build/lib/autoverify/verifier/complete/ovalbab/configspace.py -> build/bdist.linux-armv7l/wheel/./autoverify/verifier/complete/ovalbab 2025-09-17T03:13:16,618 creating build/bdist.linux-armv7l/wheel/autoverify/util 2025-09-17T03:13:16,618 copying build/lib/autoverify/util/configs.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,620 copying build/lib/autoverify/util/smac.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,622 copying build/lib/autoverify/util/proc.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,624 copying build/lib/autoverify/util/target_function.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,625 copying build/lib/autoverify/util/tempfiles.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,627 copying build/lib/autoverify/util/cli.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,628 copying build/lib/autoverify/util/resource_strategy.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,630 copying build/lib/autoverify/util/vnncomp.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,632 copying build/lib/autoverify/util/verification_instance.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,634 copying build/lib/autoverify/util/onnx.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,635 copying build/lib/autoverify/util/cost_dict.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,637 copying build/lib/autoverify/util/dict.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,638 copying build/lib/autoverify/util/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,640 copying build/lib/autoverify/util/resources.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,642 copying build/lib/autoverify/util/instances.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,644 copying build/lib/autoverify/util/env.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,646 copying build/lib/autoverify/util/loggers.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,647 copying build/lib/autoverify/util/path.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,649 copying build/lib/autoverify/util/vnncomp_filters.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,651 copying build/lib/autoverify/util/conda.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,653 copying build/lib/autoverify/util/verifiers.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,655 copying build/lib/autoverify/util/dataclass.py -> build/bdist.linux-armv7l/wheel/./autoverify/util 2025-09-17T03:13:16,657 creating build/bdist.linux-armv7l/wheel/autoverify/cli 2025-09-17T03:13:16,658 copying build/lib/autoverify/cli/__main__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2025-09-17T03:13:16,660 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install 2025-09-17T03:13:16,662 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers 2025-09-17T03:13:16,663 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/abcrown 2025-09-17T03:13:16,664 copying build/lib/autoverify/cli/install/venv_installers/abcrown/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/abcrown 2025-09-17T03:13:16,667 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/nnenum 2025-09-17T03:13:16,668 copying build/lib/autoverify/cli/install/venv_installers/nnenum/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/nnenum 2025-09-17T03:13:16,670 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/mnbab 2025-09-17T03:13:16,671 copying build/lib/autoverify/cli/install/venv_installers/mnbab/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/mnbab 2025-09-17T03:13:16,673 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/verinet 2025-09-17T03:13:16,674 copying build/lib/autoverify/cli/install/venv_installers/verinet/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/verinet 2025-09-17T03:13:16,676 copying build/lib/autoverify/cli/install/venv_installers/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers 2025-09-17T03:13:16,678 copying build/lib/autoverify/cli/install/venv_installers/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers 2025-09-17T03:13:16,680 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,681 copying build/lib/autoverify/cli/install/venv_installers/ovalbab/venv_install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,683 copying build/lib/autoverify/cli/install/venv_installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/venv_installers/ovalbab 2025-09-17T03:13:16,685 copying build/lib/autoverify/cli/install/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install 2025-09-17T03:13:16,686 copying build/lib/autoverify/cli/install/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install 2025-09-17T03:13:16,689 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2025-09-17T03:13:16,690 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,691 copying build/lib/autoverify/cli/install/installers/abcrown/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,693 copying build/lib/autoverify/cli/install/installers/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,695 copying build/lib/autoverify/cli/install/installers/abcrown/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/abcrown 2025-09-17T03:13:16,697 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,698 copying build/lib/autoverify/cli/install/installers/nnenum/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,700 copying build/lib/autoverify/cli/install/installers/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,701 copying build/lib/autoverify/cli/install/installers/nnenum/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/nnenum 2025-09-17T03:13:16,704 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,705 copying build/lib/autoverify/cli/install/installers/mnbab/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,707 copying build/lib/autoverify/cli/install/installers/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,708 copying build/lib/autoverify/cli/install/installers/mnbab/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/mnbab 2025-09-17T03:13:16,710 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,712 copying build/lib/autoverify/cli/install/installers/verinet/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,714 copying build/lib/autoverify/cli/install/installers/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,715 copying build/lib/autoverify/cli/install/installers/verinet/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/verinet 2025-09-17T03:13:16,716 copying build/lib/autoverify/cli/install/installers/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers 2025-09-17T03:13:16,719 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,719 copying build/lib/autoverify/cli/install/installers/ovalbab/environment.yml -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,721 copying build/lib/autoverify/cli/install/installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,723 copying build/lib/autoverify/cli/install/installers/ovalbab/install.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/install/installers/ovalbab 2025-09-17T03:13:16,724 copying build/lib/autoverify/cli/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2025-09-17T03:13:16,726 copying build/lib/autoverify/cli/main.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli 2025-09-17T03:13:16,729 creating build/bdist.linux-armv7l/wheel/autoverify/cli/util 2025-09-17T03:13:16,730 copying build/lib/autoverify/cli/util/git.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/util 2025-09-17T03:13:16,732 copying build/lib/autoverify/cli/util/__init__.py -> build/bdist.linux-armv7l/wheel/./autoverify/cli/util 2025-09-17T03:13:16,733 running install_egg_info 2025-09-17T03:13:16,739 Copying auto_verify.egg-info to build/bdist.linux-armv7l/wheel/./auto_verify-0.1.4-py3.11.egg-info 2025-09-17T03:13:16,750 running install_scripts 2025-09-17T03:13:16,761 creating build/bdist.linux-armv7l/wheel/auto_verify-0.1.4.dist-info/WHEEL 2025-09-17T03:13:16,764 creating '/tmp/pip-wheel-mefkpj_4/.tmp-jym4dxyb/auto_verify-0.1.4-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2025-09-17T03:13:16,767 adding 'auto_verify-0.1.4.dist-info/licenses/LICENSE' 2025-09-17T03:13:16,769 adding 'autoverify/__init__.py' 2025-09-17T03:13:16,770 adding 'autoverify/config.py' 2025-09-17T03:13:16,772 adding 'autoverify/types.py' 2025-09-17T03:13:16,773 adding 'autoverify/cli/__init__.py' 2025-09-17T03:13:16,774 adding 'autoverify/cli/__main__.py' 2025-09-17T03:13:16,778 adding 'autoverify/cli/main.py' 2025-09-17T03:13:16,780 adding 'autoverify/cli/install/__init__.py' 2025-09-17T03:13:16,782 adding 'autoverify/cli/install/install.py' 2025-09-17T03:13:16,783 adding 'autoverify/cli/install/installers/__init__.py' 2025-09-17T03:13:16,785 adding 'autoverify/cli/install/installers/abcrown/__init__.py' 2025-09-17T03:13:16,786 adding 'autoverify/cli/install/installers/abcrown/environment.yml' 2025-09-17T03:13:16,788 adding 'autoverify/cli/install/installers/abcrown/install.py' 2025-09-17T03:13:16,789 adding 'autoverify/cli/install/installers/mnbab/__init__.py' 2025-09-17T03:13:16,791 adding 'autoverify/cli/install/installers/mnbab/environment.yml' 2025-09-17T03:13:16,792 adding 'autoverify/cli/install/installers/mnbab/install.py' 2025-09-17T03:13:16,794 adding 'autoverify/cli/install/installers/nnenum/__init__.py' 2025-09-17T03:13:16,795 adding 'autoverify/cli/install/installers/nnenum/environment.yml' 2025-09-17T03:13:16,796 adding 'autoverify/cli/install/installers/nnenum/install.py' 2025-09-17T03:13:16,798 adding 'autoverify/cli/install/installers/ovalbab/__init__.py' 2025-09-17T03:13:16,799 adding 'autoverify/cli/install/installers/ovalbab/environment.yml' 2025-09-17T03:13:16,801 adding 'autoverify/cli/install/installers/ovalbab/install.py' 2025-09-17T03:13:16,802 adding 'autoverify/cli/install/installers/verinet/__init__.py' 2025-09-17T03:13:16,803 adding 'autoverify/cli/install/installers/verinet/environment.yml' 2025-09-17T03:13:16,804 adding 'autoverify/cli/install/installers/verinet/install.py' 2025-09-17T03:13:16,806 adding 'autoverify/cli/install/venv_installers/__init__.py' 2025-09-17T03:13:16,808 adding 'autoverify/cli/install/venv_installers/venv_install.py' 2025-09-17T03:13:16,810 adding 'autoverify/cli/install/venv_installers/abcrown/venv_install.py' 2025-09-17T03:13:16,812 adding 'autoverify/cli/install/venv_installers/mnbab/venv_install.py' 2025-09-17T03:13:16,814 adding 'autoverify/cli/install/venv_installers/nnenum/venv_install.py' 2025-09-17T03:13:16,815 adding 'autoverify/cli/install/venv_installers/ovalbab/__init__.py' 2025-09-17T03:13:16,816 adding 'autoverify/cli/install/venv_installers/ovalbab/venv_install.py' 2025-09-17T03:13:16,818 adding 'autoverify/cli/install/venv_installers/verinet/venv_install.py' 2025-09-17T03:13:16,820 adding 'autoverify/cli/util/__init__.py' 2025-09-17T03:13:16,821 adding 'autoverify/cli/util/git.py' 2025-09-17T03:13:16,823 adding 'autoverify/portfolio/__init__.py' 2025-09-17T03:13:16,825 adding 'autoverify/portfolio/portfolio.py' 2025-09-17T03:13:16,827 adding 'autoverify/portfolio/portfolio_runner.py' 2025-09-17T03:13:16,828 adding 'autoverify/portfolio/hydra/__init__.py' 2025-09-17T03:13:16,830 adding 'autoverify/portfolio/hydra/cost_matrix.py' 2025-09-17T03:13:16,832 adding 'autoverify/portfolio/hydra/hydra.py' 2025-09-17T03:13:16,834 adding 'autoverify/tune/__init__.py' 2025-09-17T03:13:16,835 adding 'autoverify/tune/tune_hydra.py' 2025-09-17T03:13:16,836 adding 'autoverify/tune/tune_verifier.py' 2025-09-17T03:13:16,838 adding 'autoverify/util/__init__.py' 2025-09-17T03:13:16,839 adding 'autoverify/util/cli.py' 2025-09-17T03:13:16,841 adding 'autoverify/util/conda.py' 2025-09-17T03:13:16,842 adding 'autoverify/util/configs.py' 2025-09-17T03:13:16,843 adding 'autoverify/util/cost_dict.py' 2025-09-17T03:13:16,845 adding 'autoverify/util/dataclass.py' 2025-09-17T03:13:16,846 adding 'autoverify/util/dict.py' 2025-09-17T03:13:16,847 adding 'autoverify/util/env.py' 2025-09-17T03:13:16,849 adding 'autoverify/util/instances.py' 2025-09-17T03:13:16,850 adding 'autoverify/util/loggers.py' 2025-09-17T03:13:16,851 adding 'autoverify/util/onnx.py' 2025-09-17T03:13:16,852 adding 'autoverify/util/path.py' 2025-09-17T03:13:16,854 adding 'autoverify/util/proc.py' 2025-09-17T03:13:16,855 adding 'autoverify/util/resource_strategy.py' 2025-09-17T03:13:16,856 adding 'autoverify/util/resources.py' 2025-09-17T03:13:16,858 adding 'autoverify/util/smac.py' 2025-09-17T03:13:16,859 adding 'autoverify/util/target_function.py' 2025-09-17T03:13:16,860 adding 'autoverify/util/tempfiles.py' 2025-09-17T03:13:16,862 adding 'autoverify/util/verification_instance.py' 2025-09-17T03:13:16,863 adding 'autoverify/util/verifiers.py' 2025-09-17T03:13:16,864 adding 'autoverify/util/vnncomp.py' 2025-09-17T03:13:16,866 adding 'autoverify/util/vnncomp_filters.py' 2025-09-17T03:13:16,867 adding 'autoverify/verifier/__init__.py' 2025-09-17T03:13:16,869 adding 'autoverify/verifier/verification_result.py' 2025-09-17T03:13:16,871 adding 'autoverify/verifier/verifier.py' 2025-09-17T03:13:16,872 adding 'autoverify/verifier/complete/__init__.py' 2025-09-17T03:13:16,874 adding 'autoverify/verifier/complete/abcrown/__init__.py' 2025-09-17T03:13:16,875 adding 'autoverify/verifier/complete/abcrown/abcrown_yaml_config.py' 2025-09-17T03:13:16,877 adding 'autoverify/verifier/complete/abcrown/configspace.py' 2025-09-17T03:13:16,879 adding 'autoverify/verifier/complete/abcrown/verifier.py' 2025-09-17T03:13:16,880 adding 'autoverify/verifier/complete/mnbab/__init__.py' 2025-09-17T03:13:16,882 adding 'autoverify/verifier/complete/mnbab/configspace.py' 2025-09-17T03:13:16,883 adding 'autoverify/verifier/complete/mnbab/mnbab_json.py' 2025-09-17T03:13:16,885 adding 'autoverify/verifier/complete/mnbab/verifier.py' 2025-09-17T03:13:16,886 adding 'autoverify/verifier/complete/nnenum/__init__.py' 2025-09-17T03:13:16,888 adding 'autoverify/verifier/complete/nnenum/configspace.py' 2025-09-17T03:13:16,889 adding 'autoverify/verifier/complete/nnenum/verifier.py' 2025-09-17T03:13:16,890 adding 'autoverify/verifier/complete/ovalbab/__init__.py' 2025-09-17T03:13:16,892 adding 'autoverify/verifier/complete/ovalbab/configspace.py' 2025-09-17T03:13:16,893 adding 'autoverify/verifier/complete/ovalbab/ovalbab_json_config.py' 2025-09-17T03:13:16,894 adding 'autoverify/verifier/complete/ovalbab/verifier.py' 2025-09-17T03:13:16,896 adding 'autoverify/verifier/complete/verinet/__init__.py' 2025-09-17T03:13:16,897 adding 'autoverify/verifier/complete/verinet/configspace.py' 2025-09-17T03:13:16,898 adding 'autoverify/verifier/complete/verinet/verifier.py' 2025-09-17T03:13:16,900 adding 'autoverify/verifier/incomplete/__init__.py' 2025-09-17T03:13:16,901 adding 'autoverify/verify/__init__.py' 2025-09-17T03:13:16,903 adding 'autoverify/verify/eval_verifier.py' 2025-09-17T03:13:16,904 adding 'auto_verify-0.1.4.dist-info/METADATA' 2025-09-17T03:13:16,905 adding 'auto_verify-0.1.4.dist-info/WHEEL' 2025-09-17T03:13:16,906 adding 'auto_verify-0.1.4.dist-info/entry_points.txt' 2025-09-17T03:13:16,907 adding 'auto_verify-0.1.4.dist-info/top_level.txt' 2025-09-17T03:13:16,909 adding 'auto_verify-0.1.4.dist-info/RECORD' 2025-09-17T03:13:16,912 removing build/bdist.linux-armv7l/wheel 2025-09-17T03:13:17,040 Building wheel for auto-verify (pyproject.toml): finished with status 'done' 2025-09-17T03:13:17,047 Created wheel for auto-verify: filename=auto_verify-0.1.4-py3-none-any.whl size=108146 sha256=a794b4b227cb4c814b6dead8829dc406065a173e93f0fd87355bb2758f5fb547 2025-09-17T03:13:17,048 Stored in directory: /tmp/pip-ephem-wheel-cache-us8xa4vz/wheels/ea/c8/32/0d6397f7ce14020f8cd863adc60715f204d5f50d82aa500f15 2025-09-17T03:13:17,066 Successfully built auto-verify 2025-09-17T03:13:17,072 Removed build tracker: '/tmp/pip-build-tracker-i5fjj2pi'