2023-12-06T14:57:40,901 Created temporary directory: /tmp/pip-build-tracker-w0zvynop 2023-12-06T14:57:40,902 Initialized build tracking at /tmp/pip-build-tracker-w0zvynop 2023-12-06T14:57:40,902 Created build tracker: /tmp/pip-build-tracker-w0zvynop 2023-12-06T14:57:40,903 Entered build tracker: /tmp/pip-build-tracker-w0zvynop 2023-12-06T14:57:40,903 Created temporary directory: /tmp/pip-wheel-04metzik 2023-12-06T14:57:40,907 Created temporary directory: /tmp/pip-ephem-wheel-cache-_9kk647w 2023-12-06T14:57:40,929 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-06T14:57:40,932 2 location(s) to search for versions of auto-verify: 2023-12-06T14:57:40,932 * https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:40,932 * https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:40,933 Fetching project page and analyzing links: https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:40,934 Getting page https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:40,935 Found index url https://pypi.org/simple/ 2023-12-06T14:57:41,089 Fetched page https://pypi.org/simple/auto-verify/ as application/vnd.pypi.simple.v1+json 2023-12-06T14:57:41,092 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:41,093 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:41,094 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:41,095 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:41,096 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:41,096 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:41,097 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:41,098 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:41,099 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:41,100 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:41,101 Fetching project page and analyzing links: https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:41,102 Getting page https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:41,103 Found index url https://www.piwheels.org/simple/ 2023-12-06T14:57:41,254 Fetched page https://www.piwheels.org/simple/auto-verify/ as text/html 2023-12-06T14:57:41,256 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:41,256 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:41,257 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:41,258 Skipping link: not a file: https://www.piwheels.org/simple/auto-verify/ 2023-12-06T14:57:41,258 Skipping link: not a file: https://pypi.org/simple/auto-verify/ 2023-12-06T14:57:41,277 Given no hashes to check 1 links for project 'auto-verify': discarding no candidates 2023-12-06T14:57:41,295 Collecting auto-verify==0.1.3 2023-12-06T14:57:41,297 Created temporary directory: /tmp/pip-unpack-732napx2 2023-12-06T14:57:41,509 Downloading auto-verify-0.1.3.tar.gz (58 kB) 2023-12-06T14:57:41,727 Added auto-verify==0.1.3 from https://files.pythonhosted.org/packages/20/f3/362fa6a60708a52403142ed044cc4cc7f1307f7d784308258c7920ea5be2/auto-verify-0.1.3.tar.gz to build tracker '/tmp/pip-build-tracker-w0zvynop' 2023-12-06T14:57:41,733 Created temporary directory: /tmp/pip-build-env-fmsvxtlx 2023-12-06T14:57:41,738 Installing build dependencies: started 2023-12-06T14:57:41,739 Running command pip subprocess to install build dependencies 2023-12-06T14:57:42,875 Using pip 23.3.1 from /usr/local/lib/python3.11/dist-packages/pip (python 3.11) 2023-12-06T14:57:43,376 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-12-06T14:57:44,770 Collecting setuptools>=61.0 2023-12-06T14:57:44,784 Using cached https://www.piwheels.org/simple/setuptools/setuptools-69.0.2-py3-none-any.whl (819 kB) 2023-12-06T14:57:45,005 Collecting wheel 2023-12-06T14:57:45,018 Using cached https://www.piwheels.org/simple/wheel/wheel-0.42.0-py3-none-any.whl (65 kB) 2023-12-06T14:57:47,601 Installing collected packages: wheel, setuptools 2023-12-06T14:57:47,833 Creating /tmp/pip-build-env-fmsvxtlx/overlay/local/bin 2023-12-06T14:57:47,835 changing mode of /tmp/pip-build-env-fmsvxtlx/overlay/local/bin/wheel to 755 2023-12-06T14:57:50,075 Successfully installed setuptools-69.0.2 wheel-0.42.0 2023-12-06T14:57:50,591 Installing build dependencies: finished with status 'done' 2023-12-06T14:57:50,594 Getting requirements to build wheel: started 2023-12-06T14:57:50,595 Running command Getting requirements to build wheel 2023-12-06T14:57:51,425 running egg_info 2023-12-06T14:57:51,430 writing auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:51,437 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:51,439 writing entry points to auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:51,442 writing requirements to auto_verify.egg-info/requires.txt 2023-12-06T14:57:51,444 writing top-level names to auto_verify.egg-info/top_level.txt 2023-12-06T14:57:51,479 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:51,484 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:51,498 adding license file 'LICENSE' 2023-12-06T14:57:51,504 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:51,620 Getting requirements to build wheel: finished with status 'done' 2023-12-06T14:57:51,630 Created temporary directory: /tmp/pip-modern-metadata-os_m8yji 2023-12-06T14:57:51,632 Preparing metadata (pyproject.toml): started 2023-12-06T14:57:51,634 Running command Preparing metadata (pyproject.toml) 2023-12-06T14:57:52,421 running dist_info 2023-12-06T14:57:52,426 creating /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info 2023-12-06T14:57:52,430 writing /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:52,437 writing dependency_links to /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:52,439 writing entry points to /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:52,442 writing requirements to /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/requires.txt 2023-12-06T14:57:52,443 writing top-level names to /tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/top_level.txt 2023-12-06T14:57:52,444 writing manifest file '/tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:52,474 reading manifest file '/tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:52,476 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:52,490 adding license file 'LICENSE' 2023-12-06T14:57:52,494 writing manifest file '/tmp/pip-modern-metadata-os_m8yji/auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:52,495 creating '/tmp/pip-modern-metadata-os_m8yji/auto_verify-0.1.3.dist-info' 2023-12-06T14:57:52,649 Preparing metadata (pyproject.toml): finished with status 'done' 2023-12-06T14:57:52,654 Source in /tmp/pip-wheel-04metzik/auto-verify_ebd5c476fa2c45e9b0d1e2a566db5052 has version 0.1.3, which satisfies requirement auto-verify==0.1.3 from https://files.pythonhosted.org/packages/20/f3/362fa6a60708a52403142ed044cc4cc7f1307f7d784308258c7920ea5be2/auto-verify-0.1.3.tar.gz 2023-12-06T14:57:52,655 Removed auto-verify==0.1.3 from https://files.pythonhosted.org/packages/20/f3/362fa6a60708a52403142ed044cc4cc7f1307f7d784308258c7920ea5be2/auto-verify-0.1.3.tar.gz from build tracker '/tmp/pip-build-tracker-w0zvynop' 2023-12-06T14:57:52,661 Created temporary directory: /tmp/pip-unpack-rrx0ybw8 2023-12-06T14:57:52,662 Created temporary directory: /tmp/pip-unpack-h2av5mtk 2023-12-06T14:57:52,709 Building wheels for collected packages: auto-verify 2023-12-06T14:57:52,713 Created temporary directory: /tmp/pip-wheel-iqq3o44e 2023-12-06T14:57:52,714 Destination directory: /tmp/pip-wheel-iqq3o44e 2023-12-06T14:57:52,716 Building wheel for auto-verify (pyproject.toml): started 2023-12-06T14:57:52,717 Running command Building wheel for auto-verify (pyproject.toml) 2023-12-06T14:57:53,479 running bdist_wheel 2023-12-06T14:57:53,495 running build 2023-12-06T14:57:53,496 running build_py 2023-12-06T14:57:53,500 creating build 2023-12-06T14:57:53,500 creating build/lib 2023-12-06T14:57:53,501 creating build/lib/autoverify 2023-12-06T14:57:53,503 copying autoverify/types.py -> build/lib/autoverify 2023-12-06T14:57:53,505 copying autoverify/__init__.py -> build/lib/autoverify 2023-12-06T14:57:53,507 creating build/lib/autoverify/portfolio 2023-12-06T14:57:53,508 copying autoverify/portfolio/portfolio.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:53,510 copying autoverify/portfolio/__init__.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:53,512 copying autoverify/portfolio/portfolio_runner.py -> build/lib/autoverify/portfolio 2023-12-06T14:57:53,515 creating build/lib/autoverify/verify 2023-12-06T14:57:53,516 copying autoverify/verify/eval_verifier.py -> build/lib/autoverify/verify 2023-12-06T14:57:53,518 copying autoverify/verify/__init__.py -> build/lib/autoverify/verify 2023-12-06T14:57:53,520 creating build/lib/autoverify/cli 2023-12-06T14:57:53,522 copying autoverify/cli/main.py -> build/lib/autoverify/cli 2023-12-06T14:57:53,523 copying autoverify/cli/__init__.py -> build/lib/autoverify/cli 2023-12-06T14:57:53,525 copying autoverify/cli/__main__.py -> build/lib/autoverify/cli 2023-12-06T14:57:53,527 creating build/lib/autoverify/tune 2023-12-06T14:57:53,528 copying autoverify/tune/tune_hydra.py -> build/lib/autoverify/tune 2023-12-06T14:57:53,530 copying autoverify/tune/tune_verifier.py -> build/lib/autoverify/tune 2023-12-06T14:57:53,532 copying autoverify/tune/__init__.py -> build/lib/autoverify/tune 2023-12-06T14:57:53,534 creating build/lib/autoverify/util 2023-12-06T14:57:53,535 copying autoverify/util/verifiers.py -> build/lib/autoverify/util 2023-12-06T14:57:53,537 copying autoverify/util/configs.py -> build/lib/autoverify/util 2023-12-06T14:57:53,538 copying autoverify/util/smac.py -> build/lib/autoverify/util 2023-12-06T14:57:53,540 copying autoverify/util/verification_instance.py -> build/lib/autoverify/util 2023-12-06T14:57:53,542 copying autoverify/util/vnncomp.py -> build/lib/autoverify/util 2023-12-06T14:57:53,544 copying autoverify/util/tempfiles.py -> build/lib/autoverify/util 2023-12-06T14:57:53,545 copying autoverify/util/path.py -> build/lib/autoverify/util 2023-12-06T14:57:53,547 copying autoverify/util/cost_dict.py -> build/lib/autoverify/util 2023-12-06T14:57:53,548 copying autoverify/util/resources.py -> build/lib/autoverify/util 2023-12-06T14:57:53,550 copying autoverify/util/target_function.py -> build/lib/autoverify/util 2023-12-06T14:57:53,551 copying autoverify/util/__init__.py -> build/lib/autoverify/util 2023-12-06T14:57:53,553 copying autoverify/util/vnncomp_filters.py -> build/lib/autoverify/util 2023-12-06T14:57:53,555 copying autoverify/util/dict.py -> build/lib/autoverify/util 2023-12-06T14:57:53,556 copying autoverify/util/proc.py -> build/lib/autoverify/util 2023-12-06T14:57:53,558 copying autoverify/util/env.py -> build/lib/autoverify/util 2023-12-06T14:57:53,559 copying autoverify/util/conda.py -> build/lib/autoverify/util 2023-12-06T14:57:53,562 copying autoverify/util/instances.py -> build/lib/autoverify/util 2023-12-06T14:57:53,564 copying autoverify/util/loggers.py -> build/lib/autoverify/util 2023-12-06T14:57:53,565 copying autoverify/util/onnx.py -> build/lib/autoverify/util 2023-12-06T14:57:53,567 copying autoverify/util/resource_strategy.py -> build/lib/autoverify/util 2023-12-06T14:57:53,569 copying autoverify/util/dataclass.py -> build/lib/autoverify/util 2023-12-06T14:57:53,570 copying autoverify/util/cli.py -> build/lib/autoverify/util 2023-12-06T14:57:53,572 creating build/lib/autoverify/verifier 2023-12-06T14:57:53,573 copying autoverify/verifier/verification_result.py -> build/lib/autoverify/verifier 2023-12-06T14:57:53,575 copying autoverify/verifier/__init__.py -> build/lib/autoverify/verifier 2023-12-06T14:57:53,577 copying autoverify/verifier/verifier.py -> build/lib/autoverify/verifier 2023-12-06T14:57:53,579 creating build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:53,580 copying autoverify/portfolio/hydra/cost_matrix.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:53,582 copying autoverify/portfolio/hydra/__init__.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:53,584 copying autoverify/portfolio/hydra/hydra.py -> build/lib/autoverify/portfolio/hydra 2023-12-06T14:57:53,587 creating build/lib/autoverify/cli/install 2023-12-06T14:57:53,588 copying autoverify/cli/install/install.py -> build/lib/autoverify/cli/install 2023-12-06T14:57:53,590 copying autoverify/cli/install/__init__.py -> build/lib/autoverify/cli/install 2023-12-06T14:57:53,592 creating build/lib/autoverify/cli/util 2023-12-06T14:57:53,593 copying autoverify/cli/util/git.py -> build/lib/autoverify/cli/util 2023-12-06T14:57:53,595 copying autoverify/cli/util/__init__.py -> build/lib/autoverify/cli/util 2023-12-06T14:57:53,597 creating build/lib/autoverify/cli/install/installers 2023-12-06T14:57:53,598 copying autoverify/cli/install/installers/__init__.py -> build/lib/autoverify/cli/install/installers 2023-12-06T14:57:53,600 creating build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,601 copying autoverify/cli/install/installers/mnbab/install.py -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,603 copying autoverify/cli/install/installers/mnbab/__init__.py -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,605 creating build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,606 copying autoverify/cli/install/installers/verinet/install.py -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,608 copying autoverify/cli/install/installers/verinet/__init__.py -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,610 creating build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,610 copying autoverify/cli/install/installers/ovalbab/install.py -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,612 copying autoverify/cli/install/installers/ovalbab/__init__.py -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,614 creating build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,615 copying autoverify/cli/install/installers/nnenum/install.py -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,616 copying autoverify/cli/install/installers/nnenum/__init__.py -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,618 creating build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,619 copying autoverify/cli/install/installers/abcrown/install.py -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,621 copying autoverify/cli/install/installers/abcrown/__init__.py -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,622 creating build/lib/autoverify/verifier/incomplete 2023-12-06T14:57:53,623 copying autoverify/verifier/incomplete/__init__.py -> build/lib/autoverify/verifier/incomplete 2023-12-06T14:57:53,625 creating build/lib/autoverify/verifier/complete 2023-12-06T14:57:53,626 copying autoverify/verifier/complete/__init__.py -> build/lib/autoverify/verifier/complete 2023-12-06T14:57:53,628 creating build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,629 copying autoverify/verifier/complete/mnbab/mnbab_json.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,631 copying autoverify/verifier/complete/mnbab/configspace.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,633 copying autoverify/verifier/complete/mnbab/__init__.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,635 copying autoverify/verifier/complete/mnbab/verifier.py -> build/lib/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,637 creating build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,638 copying autoverify/verifier/complete/verinet/configspace.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,640 copying autoverify/verifier/complete/verinet/__init__.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,641 copying autoverify/verifier/complete/verinet/verifier.py -> build/lib/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,644 creating build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,645 copying autoverify/verifier/complete/ovalbab/configspace.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,647 copying autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,649 copying autoverify/verifier/complete/ovalbab/__init__.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,651 copying autoverify/verifier/complete/ovalbab/verifier.py -> build/lib/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,653 creating build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,654 copying autoverify/verifier/complete/nnenum/configspace.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,656 copying autoverify/verifier/complete/nnenum/__init__.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,658 copying autoverify/verifier/complete/nnenum/verifier.py -> build/lib/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,661 creating build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,662 copying autoverify/verifier/complete/abcrown/configspace.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,664 copying autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,666 copying autoverify/verifier/complete/abcrown/__init__.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,668 copying autoverify/verifier/complete/abcrown/verifier.py -> build/lib/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,669 running egg_info 2023-12-06T14:57:53,673 writing auto_verify.egg-info/PKG-INFO 2023-12-06T14:57:53,680 writing dependency_links to auto_verify.egg-info/dependency_links.txt 2023-12-06T14:57:53,681 writing entry points to auto_verify.egg-info/entry_points.txt 2023-12-06T14:57:53,684 writing requirements to auto_verify.egg-info/requires.txt 2023-12-06T14:57:53,685 writing top-level names to auto_verify.egg-info/top_level.txt 2023-12-06T14:57:53,709 reading manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:53,713 reading manifest template 'MANIFEST.in' 2023-12-06T14:57:53,743 adding license file 'LICENSE' 2023-12-06T14:57:53,748 writing manifest file 'auto_verify.egg-info/SOURCES.txt' 2023-12-06T14:57:53,759 copying autoverify/cli/install/installers/mnbab/environment.yml -> build/lib/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,761 copying autoverify/cli/install/installers/verinet/environment.yml -> build/lib/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,763 copying autoverify/cli/install/installers/ovalbab/environment.yml -> build/lib/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,765 copying autoverify/cli/install/installers/nnenum/environment.yml -> build/lib/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,767 copying autoverify/cli/install/installers/abcrown/environment.yml -> build/lib/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,785 installing to build/bdist.linux-armv7l/wheel 2023-12-06T14:57:53,786 running install 2023-12-06T14:57:53,811 running install_lib 2023-12-06T14:57:53,815 creating build/bdist.linux-armv7l 2023-12-06T14:57:53,816 creating build/bdist.linux-armv7l/wheel 2023-12-06T14:57:53,817 creating build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:53,818 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:53,819 creating build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:53,820 copying build/lib/autoverify/portfolio/hydra/cost_matrix.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:53,823 copying build/lib/autoverify/portfolio/hydra/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:53,825 copying build/lib/autoverify/portfolio/hydra/hydra.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio/hydra 2023-12-06T14:57:53,827 copying build/lib/autoverify/portfolio/portfolio.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:53,829 copying build/lib/autoverify/portfolio/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:53,831 copying build/lib/autoverify/portfolio/portfolio_runner.py -> build/bdist.linux-armv7l/wheel/autoverify/portfolio 2023-12-06T14:57:53,834 copying build/lib/autoverify/types.py -> build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:53,835 copying build/lib/autoverify/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify 2023-12-06T14:57:53,837 creating build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:53,838 copying build/lib/autoverify/verify/eval_verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:53,840 copying build/lib/autoverify/verify/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verify 2023-12-06T14:57:53,842 creating build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:53,843 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:53,844 copying build/lib/autoverify/cli/install/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:53,846 copying build/lib/autoverify/cli/install/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install 2023-12-06T14:57:53,848 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2023-12-06T14:57:53,850 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,851 copying build/lib/autoverify/cli/install/installers/mnbab/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,852 copying build/lib/autoverify/cli/install/installers/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,854 copying build/lib/autoverify/cli/install/installers/mnbab/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/mnbab 2023-12-06T14:57:53,856 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,857 copying build/lib/autoverify/cli/install/installers/verinet/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,858 copying build/lib/autoverify/cli/install/installers/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,860 copying build/lib/autoverify/cli/install/installers/verinet/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/verinet 2023-12-06T14:57:53,862 copying build/lib/autoverify/cli/install/installers/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers 2023-12-06T14:57:53,864 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,865 copying build/lib/autoverify/cli/install/installers/ovalbab/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,867 copying build/lib/autoverify/cli/install/installers/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,868 copying build/lib/autoverify/cli/install/installers/ovalbab/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/ovalbab 2023-12-06T14:57:53,871 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,872 copying build/lib/autoverify/cli/install/installers/nnenum/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,874 copying build/lib/autoverify/cli/install/installers/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,876 copying build/lib/autoverify/cli/install/installers/nnenum/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/nnenum 2023-12-06T14:57:53,878 creating build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,879 copying build/lib/autoverify/cli/install/installers/abcrown/install.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,881 copying build/lib/autoverify/cli/install/installers/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,882 copying build/lib/autoverify/cli/install/installers/abcrown/environment.yml -> build/bdist.linux-armv7l/wheel/autoverify/cli/install/installers/abcrown 2023-12-06T14:57:53,885 copying build/lib/autoverify/cli/main.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:53,886 copying build/lib/autoverify/cli/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:53,888 copying build/lib/autoverify/cli/__main__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli 2023-12-06T14:57:53,890 creating build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:53,891 copying build/lib/autoverify/cli/util/git.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:53,893 copying build/lib/autoverify/cli/util/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/cli/util 2023-12-06T14:57:53,894 creating build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:53,895 copying build/lib/autoverify/tune/tune_hydra.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:53,897 copying build/lib/autoverify/tune/tune_verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:53,899 copying build/lib/autoverify/tune/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/tune 2023-12-06T14:57:53,901 creating build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,901 copying build/lib/autoverify/util/verifiers.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,903 copying build/lib/autoverify/util/configs.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,905 copying build/lib/autoverify/util/smac.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,907 copying build/lib/autoverify/util/verification_instance.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,908 copying build/lib/autoverify/util/vnncomp.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,911 copying build/lib/autoverify/util/tempfiles.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,912 copying build/lib/autoverify/util/path.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,914 copying build/lib/autoverify/util/cost_dict.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,916 copying build/lib/autoverify/util/resources.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,918 copying build/lib/autoverify/util/target_function.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,919 copying build/lib/autoverify/util/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,921 copying build/lib/autoverify/util/vnncomp_filters.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,923 copying build/lib/autoverify/util/dict.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,925 copying build/lib/autoverify/util/proc.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,926 copying build/lib/autoverify/util/env.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,928 copying build/lib/autoverify/util/conda.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,931 copying build/lib/autoverify/util/instances.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,933 copying build/lib/autoverify/util/loggers.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,935 copying build/lib/autoverify/util/onnx.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,937 copying build/lib/autoverify/util/resource_strategy.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,938 copying build/lib/autoverify/util/dataclass.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,940 copying build/lib/autoverify/util/cli.py -> build/bdist.linux-armv7l/wheel/autoverify/util 2023-12-06T14:57:53,942 creating build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:53,943 copying build/lib/autoverify/verifier/verification_result.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:53,945 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2023-12-06T14:57:53,946 copying build/lib/autoverify/verifier/incomplete/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/incomplete 2023-12-06T14:57:53,948 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2023-12-06T14:57:53,950 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,951 copying build/lib/autoverify/verifier/complete/mnbab/mnbab_json.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,952 copying build/lib/autoverify/verifier/complete/mnbab/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,955 copying build/lib/autoverify/verifier/complete/mnbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,956 copying build/lib/autoverify/verifier/complete/mnbab/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/mnbab 2023-12-06T14:57:53,958 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,959 copying build/lib/autoverify/verifier/complete/verinet/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,961 copying build/lib/autoverify/verifier/complete/verinet/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,963 copying build/lib/autoverify/verifier/complete/verinet/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/verinet 2023-12-06T14:57:53,964 copying build/lib/autoverify/verifier/complete/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete 2023-12-06T14:57:53,966 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,967 copying build/lib/autoverify/verifier/complete/ovalbab/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,970 copying build/lib/autoverify/verifier/complete/ovalbab/ovalbab_json_config.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,971 copying build/lib/autoverify/verifier/complete/ovalbab/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,973 copying build/lib/autoverify/verifier/complete/ovalbab/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/ovalbab 2023-12-06T14:57:53,975 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,976 copying build/lib/autoverify/verifier/complete/nnenum/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,978 copying build/lib/autoverify/verifier/complete/nnenum/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,980 copying build/lib/autoverify/verifier/complete/nnenum/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/nnenum 2023-12-06T14:57:53,982 creating build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,983 copying build/lib/autoverify/verifier/complete/abcrown/configspace.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,986 copying build/lib/autoverify/verifier/complete/abcrown/abcrown_yaml_config.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,988 copying build/lib/autoverify/verifier/complete/abcrown/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,990 copying build/lib/autoverify/verifier/complete/abcrown/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier/complete/abcrown 2023-12-06T14:57:53,992 copying build/lib/autoverify/verifier/__init__.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:53,993 copying build/lib/autoverify/verifier/verifier.py -> build/bdist.linux-armv7l/wheel/autoverify/verifier 2023-12-06T14:57:53,995 running install_egg_info 2023-12-06T14:57:53,999 Copying auto_verify.egg-info to build/bdist.linux-armv7l/wheel/auto_verify-0.1.3-py3.11.egg-info 2023-12-06T14:57:54,010 running install_scripts 2023-12-06T14:57:54,027 creating build/bdist.linux-armv7l/wheel/auto_verify-0.1.3.dist-info/WHEEL 2023-12-06T14:57:54,030 creating '/tmp/pip-wheel-iqq3o44e/.tmp-mo8v5365/auto_verify-0.1.3-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-12-06T14:57:54,033 adding 'autoverify/__init__.py' 2023-12-06T14:57:54,034 adding 'autoverify/types.py' 2023-12-06T14:57:54,036 adding 'autoverify/cli/__init__.py' 2023-12-06T14:57:54,037 adding 'autoverify/cli/__main__.py' 2023-12-06T14:57:54,038 adding 'autoverify/cli/main.py' 2023-12-06T14:57:54,040 adding 'autoverify/cli/install/__init__.py' 2023-12-06T14:57:54,041 adding 'autoverify/cli/install/install.py' 2023-12-06T14:57:54,043 adding 'autoverify/cli/install/installers/__init__.py' 2023-12-06T14:57:54,045 adding 'autoverify/cli/install/installers/abcrown/__init__.py' 2023-12-06T14:57:54,046 adding 'autoverify/cli/install/installers/abcrown/environment.yml' 2023-12-06T14:57:54,048 adding 'autoverify/cli/install/installers/abcrown/install.py' 2023-12-06T14:57:54,049 adding 'autoverify/cli/install/installers/mnbab/__init__.py' 2023-12-06T14:57:54,051 adding 'autoverify/cli/install/installers/mnbab/environment.yml' 2023-12-06T14:57:54,052 adding 'autoverify/cli/install/installers/mnbab/install.py' 2023-12-06T14:57:54,053 adding 'autoverify/cli/install/installers/nnenum/__init__.py' 2023-12-06T14:57:54,054 adding 'autoverify/cli/install/installers/nnenum/environment.yml' 2023-12-06T14:57:54,056 adding 'autoverify/cli/install/installers/nnenum/install.py' 2023-12-06T14:57:54,057 adding 'autoverify/cli/install/installers/ovalbab/__init__.py' 2023-12-06T14:57:54,059 adding 'autoverify/cli/install/installers/ovalbab/environment.yml' 2023-12-06T14:57:54,060 adding 'autoverify/cli/install/installers/ovalbab/install.py' 2023-12-06T14:57:54,061 adding 'autoverify/cli/install/installers/verinet/__init__.py' 2023-12-06T14:57:54,063 adding 'autoverify/cli/install/installers/verinet/environment.yml' 2023-12-06T14:57:54,064 adding 'autoverify/cli/install/installers/verinet/install.py' 2023-12-06T14:57:54,065 adding 'autoverify/cli/util/__init__.py' 2023-12-06T14:57:54,067 adding 'autoverify/cli/util/git.py' 2023-12-06T14:57:54,068 adding 'autoverify/portfolio/__init__.py' 2023-12-06T14:57:54,071 adding 'autoverify/portfolio/portfolio.py' 2023-12-06T14:57:54,073 adding 'autoverify/portfolio/portfolio_runner.py' 2023-12-06T14:57:54,074 adding 'autoverify/portfolio/hydra/__init__.py' 2023-12-06T14:57:54,076 adding 'autoverify/portfolio/hydra/cost_matrix.py' 2023-12-06T14:57:54,078 adding 'autoverify/portfolio/hydra/hydra.py' 2023-12-06T14:57:54,079 adding 'autoverify/tune/__init__.py' 2023-12-06T14:57:54,081 adding 'autoverify/tune/tune_hydra.py' 2023-12-06T14:57:54,082 adding 'autoverify/tune/tune_verifier.py' 2023-12-06T14:57:54,084 adding 'autoverify/util/__init__.py' 2023-12-06T14:57:54,085 adding 'autoverify/util/cli.py' 2023-12-06T14:57:54,087 adding 'autoverify/util/conda.py' 2023-12-06T14:57:54,088 adding 'autoverify/util/configs.py' 2023-12-06T14:57:54,089 adding 'autoverify/util/cost_dict.py' 2023-12-06T14:57:54,090 adding 'autoverify/util/dataclass.py' 2023-12-06T14:57:54,092 adding 'autoverify/util/dict.py' 2023-12-06T14:57:54,093 adding 'autoverify/util/env.py' 2023-12-06T14:57:54,095 adding 'autoverify/util/instances.py' 2023-12-06T14:57:54,096 adding 'autoverify/util/loggers.py' 2023-12-06T14:57:54,097 adding 'autoverify/util/onnx.py' 2023-12-06T14:57:54,098 adding 'autoverify/util/path.py' 2023-12-06T14:57:54,100 adding 'autoverify/util/proc.py' 2023-12-06T14:57:54,101 adding 'autoverify/util/resource_strategy.py' 2023-12-06T14:57:54,102 adding 'autoverify/util/resources.py' 2023-12-06T14:57:54,104 adding 'autoverify/util/smac.py' 2023-12-06T14:57:54,105 adding 'autoverify/util/target_function.py' 2023-12-06T14:57:54,106 adding 'autoverify/util/tempfiles.py' 2023-12-06T14:57:54,108 adding 'autoverify/util/verification_instance.py' 2023-12-06T14:57:54,109 adding 'autoverify/util/verifiers.py' 2023-12-06T14:57:54,110 adding 'autoverify/util/vnncomp.py' 2023-12-06T14:57:54,112 adding 'autoverify/util/vnncomp_filters.py' 2023-12-06T14:57:54,113 adding 'autoverify/verifier/__init__.py' 2023-12-06T14:57:54,114 adding 'autoverify/verifier/verification_result.py' 2023-12-06T14:57:54,116 adding 'autoverify/verifier/verifier.py' 2023-12-06T14:57:54,118 adding 'autoverify/verifier/complete/__init__.py' 2023-12-06T14:57:54,120 adding 'autoverify/verifier/complete/abcrown/__init__.py' 2023-12-06T14:57:54,121 adding 'autoverify/verifier/complete/abcrown/abcrown_yaml_config.py' 2023-12-06T14:57:54,123 adding 'autoverify/verifier/complete/abcrown/configspace.py' 2023-12-06T14:57:54,124 adding 'autoverify/verifier/complete/abcrown/verifier.py' 2023-12-06T14:57:54,126 adding 'autoverify/verifier/complete/mnbab/__init__.py' 2023-12-06T14:57:54,127 adding 'autoverify/verifier/complete/mnbab/configspace.py' 2023-12-06T14:57:54,129 adding 'autoverify/verifier/complete/mnbab/mnbab_json.py' 2023-12-06T14:57:54,130 adding 'autoverify/verifier/complete/mnbab/verifier.py' 2023-12-06T14:57:54,132 adding 'autoverify/verifier/complete/nnenum/__init__.py' 2023-12-06T14:57:54,133 adding 'autoverify/verifier/complete/nnenum/configspace.py' 2023-12-06T14:57:54,134 adding 'autoverify/verifier/complete/nnenum/verifier.py' 2023-12-06T14:57:54,136 adding 'autoverify/verifier/complete/ovalbab/__init__.py' 2023-12-06T14:57:54,137 adding 'autoverify/verifier/complete/ovalbab/configspace.py' 2023-12-06T14:57:54,138 adding 'autoverify/verifier/complete/ovalbab/ovalbab_json_config.py' 2023-12-06T14:57:54,140 adding 'autoverify/verifier/complete/ovalbab/verifier.py' 2023-12-06T14:57:54,141 adding 'autoverify/verifier/complete/verinet/__init__.py' 2023-12-06T14:57:54,143 adding 'autoverify/verifier/complete/verinet/configspace.py' 2023-12-06T14:57:54,144 adding 'autoverify/verifier/complete/verinet/verifier.py' 2023-12-06T14:57:54,146 adding 'autoverify/verifier/incomplete/__init__.py' 2023-12-06T14:57:54,147 adding 'autoverify/verify/__init__.py' 2023-12-06T14:57:54,149 adding 'autoverify/verify/eval_verifier.py' 2023-12-06T14:57:54,150 adding 'auto_verify-0.1.3.dist-info/LICENSE' 2023-12-06T14:57:54,151 adding 'auto_verify-0.1.3.dist-info/METADATA' 2023-12-06T14:57:54,152 adding 'auto_verify-0.1.3.dist-info/WHEEL' 2023-12-06T14:57:54,153 adding 'auto_verify-0.1.3.dist-info/entry_points.txt' 2023-12-06T14:57:54,153 adding 'auto_verify-0.1.3.dist-info/top_level.txt' 2023-12-06T14:57:54,155 adding 'auto_verify-0.1.3.dist-info/RECORD' 2023-12-06T14:57:54,158 removing build/bdist.linux-armv7l/wheel 2023-12-06T14:57:54,302 Building wheel for auto-verify (pyproject.toml): finished with status 'done' 2023-12-06T14:57:54,308 Created wheel for auto-verify: filename=auto_verify-0.1.3-py3-none-any.whl size=83284 sha256=dcb41157015f206e1869af7917cbff91758767334a2a067da71c81bc8b59c44b 2023-12-06T14:57:54,310 Stored in directory: /tmp/pip-ephem-wheel-cache-_9kk647w/wheels/9d/69/f1/a46a0adfab440dc9c14219bf50222a2e993e38b5bb6b5ccad5 2023-12-06T14:57:54,323 Successfully built auto-verify 2023-12-06T14:57:54,329 Removed build tracker: '/tmp/pip-build-tracker-w0zvynop'