2023-09-11T23:35:10,108 Created temporary directory: /tmp/pip-build-tracker-0wpw7ah7 2023-09-11T23:35:10,110 Initialized build tracking at /tmp/pip-build-tracker-0wpw7ah7 2023-09-11T23:35:10,110 Created build tracker: /tmp/pip-build-tracker-0wpw7ah7 2023-09-11T23:35:10,110 Entered build tracker: /tmp/pip-build-tracker-0wpw7ah7 2023-09-11T23:35:10,111 Created temporary directory: /tmp/pip-wheel-qifp1gkk 2023-09-11T23:35:10,114 Created temporary directory: /tmp/pip-ephem-wheel-cache-g75lpyyr 2023-09-11T23:35:10,135 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-11T23:35:10,139 2 location(s) to search for versions of provers: 2023-09-11T23:35:10,139 * https://pypi.org/simple/provers/ 2023-09-11T23:35:10,139 * https://www.piwheels.org/simple/provers/ 2023-09-11T23:35:10,140 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-11T23:35:10,140 Getting page https://pypi.org/simple/provers/ 2023-09-11T23:35:10,142 Found index url https://pypi.org/simple/ 2023-09-11T23:35:10,282 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-11T23:35:10,287 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2023-09-11T23:35:10,288 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2023-09-11T23:35:10,289 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2023-09-11T23:35:10,290 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2023-09-11T23:35:10,291 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2023-09-11T23:35:10,292 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2023-09-11T23:35:10,293 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2023-09-11T23:35:10,294 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2023-09-11T23:35:10,295 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2023-09-11T23:35:10,296 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2023-09-11T23:35:10,296 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2023-09-11T23:35:10,297 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2023-09-11T23:35:10,298 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2023-09-11T23:35:10,299 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2023-09-11T23:35:10,301 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2023-09-11T23:35:10,301 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2023-09-11T23:35:10,302 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2023-09-11T23:35:10,303 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2023-09-11T23:35:10,304 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-11T23:35:10,304 Getting page https://www.piwheels.org/simple/provers/ 2023-09-11T23:35:10,305 Found index url https://www.piwheels.org/simple/ 2023-09-11T23:35:14,762 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-11T23:35:14,789 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.0-py3-none-any.whl#sha256=0fe13627ac43c9265cab689feb720eb375bb27305aafb187486477272eaa43d4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,790 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.0.0-py3-none-any.whl#sha256=2b6401a015f9339d47a44c6727d44b6722f93271ca63ad98f80aa51019274445 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,792 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv6l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,793 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv7l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,794 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv6l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,796 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv7l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,796 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv6l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,797 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv7l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,798 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv6l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,799 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv7l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,800 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv6l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,801 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv7l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,801 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv6l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,802 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv7l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,803 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv6l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,806 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv7l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,807 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv6l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,808 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv7l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,809 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,810 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv7l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,811 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv6l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,812 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv7l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,813 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv6l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,814 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv7l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,815 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv6l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,815 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv7l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,816 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv6l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,817 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv7l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,830 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv6l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,859 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv7l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,870 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv6l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:14,973 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv7l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,011 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv6l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,105 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv7l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,119 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv6l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,120 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv7l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,242 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv6l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,243 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv7l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,297 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.2-py3-none-any.whl#sha256=8113415d85631769830d3065e440daafb94526f1e07fab9108c3376ec2e7a83a (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,298 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.3-py3-none-any.whl#sha256=f49e5283cdfec90379f9db05e908b1effb4b1cb892bac656305df578b1e46b35 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,311 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv6l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,314 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv7l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,405 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv6l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,406 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv7l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,479 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv6l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,498 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv7l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-11T23:35:15,515 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-11T23:35:15,523 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-11T23:35:15,638 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-11T23:35:15,965 Collecting provers==0.1.12 2023-09-11T23:35:16,043 Created temporary directory: /tmp/pip-unpack-ods_v28r 2023-09-11T23:35:16,393 Downloading provers-0.1.12.tar.gz (14 kB) 2023-09-11T23:35:16,429 Added provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz to build tracker '/tmp/pip-build-tracker-0wpw7ah7' 2023-09-11T23:35:16,430 Running setup.py (path:/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/setup.py) egg_info for package provers 2023-09-11T23:35:16,432 Created temporary directory: /tmp/pip-pip-egg-info-iayvc8is 2023-09-11T23:35:16,432 Preparing metadata (setup.py): started 2023-09-11T23:35:16,433 Running command python setup.py egg_info 2023-09-11T23:35:19,593 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-11T23:35:19,593 !! 2023-09-11T23:35:19,594 ******************************************************************************** 2023-09-11T23:35:19,595 Requirements should be satisfied by a PEP 517 installer. 2023-09-11T23:35:19,595 If you are using pip, you can try `pip install --use-pep517`. 2023-09-11T23:35:19,596 ******************************************************************************** 2023-09-11T23:35:19,597 !! 2023-09-11T23:35:19,597 dist.fetch_build_eggs(dist.setup_requires) 2023-09-11T23:35:22,909 running egg_info 2023-09-11T23:35:22,911 creating /tmp/pip-pip-egg-info-iayvc8is/provers.egg-info 2023-09-11T23:35:22,938 writing /tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/PKG-INFO 2023-09-11T23:35:22,941 writing dependency_links to /tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/dependency_links.txt 2023-09-11T23:35:22,942 writing entry points to /tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/entry_points.txt 2023-09-11T23:35:22,944 writing top-level names to /tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/top_level.txt 2023-09-11T23:35:22,945 writing manifest file '/tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/SOURCES.txt' 2023-09-11T23:35:23,099 listing git files failed - pretending there aren't any 2023-09-11T23:35:23,106 reading manifest file '/tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/SOURCES.txt' 2023-09-11T23:35:23,107 reading manifest template 'MANIFEST.in' 2023-09-11T23:35:23,108 warning: no previously-included files found matching 'provers/bin/*' 2023-09-11T23:35:23,109 adding license file 'LICENSE' 2023-09-11T23:35:23,111 writing manifest file '/tmp/pip-pip-egg-info-iayvc8is/provers.egg-info/SOURCES.txt' 2023-09-11T23:35:23,226 Preparing metadata (setup.py): finished with status 'done' 2023-09-11T23:35:23,229 Source in /tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143 has version 0.1.12, which satisfies requirement provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz 2023-09-11T23:35:23,230 Removed provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz from build tracker '/tmp/pip-build-tracker-0wpw7ah7' 2023-09-11T23:35:23,235 Created temporary directory: /tmp/pip-unpack-eixvksmf 2023-09-11T23:35:23,237 Created temporary directory: /tmp/pip-unpack-ic48qgnv 2023-09-11T23:35:23,239 Building wheels for collected packages: provers 2023-09-11T23:35:23,243 Created temporary directory: /tmp/pip-wheel-z4a3rna8 2023-09-11T23:35:23,244 Building wheel for provers (setup.py): started 2023-09-11T23:35:23,245 Destination directory: /tmp/pip-wheel-z4a3rna8 2023-09-11T23:35:23,246 Running command python setup.py bdist_wheel 2023-09-11T23:35:23,918 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-11T23:35:23,919 !! 2023-09-11T23:35:23,920 ******************************************************************************** 2023-09-11T23:35:23,920 Requirements should be satisfied by a PEP 517 installer. 2023-09-11T23:35:23,921 If you are using pip, you can try `pip install --use-pep517`. 2023-09-11T23:35:23,921 ******************************************************************************** 2023-09-11T23:35:23,923 !! 2023-09-11T23:35:23,923 dist.fetch_build_eggs(dist.setup_requires) 2023-09-11T23:35:24,523 running bdist_wheel 2023-09-11T23:35:24,630 running build 2023-09-11T23:35:24,630 running build_py 2023-09-11T23:35:24,639 mkdir tmp || true 2023-09-11T23:35:24,647 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-11T23:35:24,665 --2023-09-11 23:35:24-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-11T23:35:24,705 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-11T23:35:24,826 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-11T23:35:25,240 HTTP request sent, awaiting response... 200 OK 2023-09-11T23:35:25,241 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-11T23:35:25,242 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-11T23:35:25,484 0K .......... .......... .......... .......... .......... 2% 206K 8s 2023-09-11T23:35:25,606 50K .......... .......... .......... .......... .......... 5% 410K 6s 2023-09-11T23:35:25,612 100K .......... .......... .......... .......... .......... 8% 9.08M 4s 2023-09-11T23:35:25,728 150K .......... .......... .......... .......... .......... 11% 431K 4s 2023-09-11T23:35:25,733 200K .......... .......... .......... .......... .......... 14% 9.72M 3s 2023-09-11T23:35:25,736 250K .......... .......... .......... .......... .......... 17% 12.7M 2s 2023-09-11T23:35:25,740 300K .......... .......... .......... .......... .......... 19% 12.6M 2s 2023-09-11T23:35:25,849 350K .......... .......... .......... .......... .......... 22% 459K 2s 2023-09-11T23:35:25,853 400K .......... .......... .......... .......... .......... 25% 11.7M 2s 2023-09-11T23:35:25,858 450K .......... .......... .......... .......... .......... 28% 10.6M 2s 2023-09-11T23:35:25,862 500K .......... .......... .......... .......... .......... 31% 12.6M 1s 2023-09-11T23:35:25,866 550K .......... .......... .......... .......... .......... 34% 12.7M 1s 2023-09-11T23:35:25,870 600K .......... .......... .......... .......... .......... 37% 10.9M 1s 2023-09-11T23:35:25,874 650K .......... .......... .......... .......... .......... 39% 12.9M 1s 2023-09-11T23:35:25,878 700K .......... .......... .......... .......... .......... 42% 11.1M 1s 2023-09-11T23:35:25,981 750K .......... .......... .......... .......... .......... 45% 489K 1s 2023-09-11T23:35:25,984 800K .......... .......... .......... .......... .......... 48% 15.1M 1s 2023-09-11T23:35:25,987 850K .......... .......... .......... .......... .......... 51% 13.3M 1s 2023-09-11T23:35:25,991 900K .......... .......... .......... .......... .......... 54% 15.0M 1s 2023-09-11T23:35:26,118 950K .......... .......... .......... .......... .......... 57% 393K 1s 2023-09-11T23:35:26,122 1000K .......... .......... .......... .......... .......... 59% 12.4M 1s 2023-09-11T23:35:26,126 1050K .......... .......... .......... .......... .......... 62% 12.6M 1s 2023-09-11T23:35:26,130 1100K .......... .......... .......... .......... .......... 65% 10.9M 0s 2023-09-11T23:35:26,134 1150K .......... .......... .......... .......... .......... 68% 12.7M 0s 2023-09-11T23:35:26,139 1200K .......... .......... .......... .......... .......... 71% 11.1M 0s 2023-09-11T23:35:26,143 1250K .......... .......... .......... .......... .......... 74% 12.5M 0s 2023-09-11T23:35:26,146 1300K .......... .......... .......... .......... .......... 76% 12.7M 0s 2023-09-11T23:35:26,239 1350K .......... .......... .......... .......... .......... 79% 542K 0s 2023-09-11T23:35:26,242 1400K .......... .......... .......... .......... .......... 82% 15.6M 0s 2023-09-11T23:35:26,245 1450K .......... .......... .......... .......... .......... 85% 14.1M 0s 2023-09-11T23:35:26,248 1500K .......... .......... .......... .......... .......... 88% 16.1M 0s 2023-09-11T23:35:26,252 1550K .......... .......... .......... .......... .......... 91% 12.6M 0s 2023-09-11T23:35:26,256 1600K .......... .......... .......... .......... .......... 94% 11.0M 0s 2023-09-11T23:35:26,260 1650K .......... .......... .......... .......... .......... 96% 12.4M 0s 2023-09-11T23:35:26,264 1700K .......... .......... .......... .......... .......... 99% 12.2M 0s 2023-09-11T23:35:26,266 1750K ... 100% 6.82T=1.0s 2023-09-11T23:35:26,312 2023-09-11 23:35:26 (1.67 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-11T23:35:26,316 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-11T23:35:27,168 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-11T23:35:27,181 cd tmp/LADR-2009-11A && make all 2023-09-11T23:35:27,191 make[1]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A' 2023-09-11T23:35:27,192 cd ladr && make lib 2023-09-11T23:35:27,206 make[2]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:35:27,207 make libladr.a 2023-09-11T23:35:27,218 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:35:27,218 gcc -O -Wall -c -o order.o order.c 2023-09-11T23:35:27,375 gcc -O -Wall -c -o clock.o clock.c 2023-09-11T23:35:27,607 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-11T23:35:27,710 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-11T23:35:27,834 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-11T23:35:28,064 gcc -O -Wall -c -o memory.o memory.c 2023-09-11T23:35:28,276 gcc -O -Wall -c -o hash.o hash.c 2023-09-11T23:35:28,472 gcc -O -Wall -c -o string.o string.c 2023-09-11T23:35:28,735 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-11T23:35:29,017 gcc -O -Wall -c -o glist.o glist.c 2023-09-11T23:35:29,644 gcc -O -Wall -c -o options.o options.c 2023-09-11T23:35:30,172 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-11T23:35:30,283 symbols.c: In function ‘declare_base_symbols’: 2023-09-11T23:35:30,284 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:30,284 1304 | int sn; 2023-09-11T23:35:30,285 | ^~ 2023-09-11T23:35:31,181 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-11T23:35:31,551 gcc -O -Wall -c -o term.o term.c 2023-09-11T23:35:32,412 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-11T23:35:32,604 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-11T23:35:32,797 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-11T23:35:32,960 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-11T23:35:33,249 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-11T23:35:33,419 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-11T23:35:33,886 gcc -O -Wall -c -o parse.o parse.c 2023-09-11T23:35:34,679 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-11T23:35:34,870 gcc -O -Wall -c -o unify.o unify.c 2023-09-11T23:35:35,311 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-11T23:35:35,629 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-11T23:35:36,137 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-11T23:35:36,321 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-11T23:35:36,443 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-11T23:35:36,443 487 | Flat2 check_flat2(Flat2 f) 2023-09-11T23:35:36,444 | ^~~~~~~~~~~ 2023-09-11T23:35:36,694 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-11T23:35:36,843 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-11T23:35:36,843 146 | Flat check_flat(Flat f) 2023-09-11T23:35:36,844 | ^~~~~~~~~~ 2023-09-11T23:35:37,134 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-11T23:35:37,727 gcc -O -Wall -c -o btu.o btu.c 2023-09-11T23:35:38,375 gcc -O -Wall -c -o btm.o btm.c 2023-09-11T23:35:39,036 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-11T23:35:39,153 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-11T23:35:39,154 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:39,155 650 | Trail tr; 2023-09-11T23:35:39,155 | ^~ 2023-09-11T23:35:39,351 gcc -O -Wall -c -o basic.o basic.c 2023-09-11T23:35:39,576 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-11T23:35:40,061 gcc -O -Wall -c -o formula.o formula.c 2023-09-11T23:35:40,923 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-11T23:35:41,203 gcc -O -Wall -c -o literals.o literals.c 2023-09-11T23:35:41,646 gcc -O -Wall -c -o topform.o topform.c 2023-09-11T23:35:42,044 gcc -O -Wall -c -o clist.o clist.c 2023-09-11T23:35:42,481 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-11T23:35:42,691 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-11T23:35:42,927 gcc -O -Wall -c -o just.o just.c 2023-09-11T23:35:43,760 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-11T23:35:44,349 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-11T23:35:44,573 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-11T23:35:44,886 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-11T23:35:45,258 gcc -O -Wall -c -o compress.o compress.c 2023-09-11T23:35:45,445 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-11T23:35:45,670 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-11T23:35:45,859 gcc -O -Wall -c -o weight.o weight.c 2023-09-11T23:35:46,156 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-11T23:35:46,355 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-11T23:35:46,601 gcc -O -Wall -c -o features.o features.c 2023-09-11T23:35:46,806 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-11T23:35:47,129 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-11T23:35:47,344 gcc -O -Wall -c -o random.o random.c 2023-09-11T23:35:47,603 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-11T23:35:48,061 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-11T23:35:48,271 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-11T23:35:48,521 gcc -O -Wall -c -o complex.o complex.c 2023-09-11T23:35:48,634 complex.c: In function ‘complex4_p1’: 2023-09-11T23:35:48,634 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:48,635 275 | BOOL dummy; 2023-09-11T23:35:48,636 | ^~~~~ 2023-09-11T23:35:48,792 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-11T23:35:49,170 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-11T23:35:49,305 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-11T23:35:49,306 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-11T23:35:49,307 122 | if (status == BACKTRACK) { 2023-09-11T23:35:49,307 | ^~ 2023-09-11T23:35:49,308 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:49,308 158 | Discrim dd = NULL; 2023-09-11T23:35:49,309 | ^~ 2023-09-11T23:35:49,310 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-11T23:35:49,310 167 | if (status == GO) { 2023-09-11T23:35:49,311 | ^~ 2023-09-11T23:35:49,502 gcc -O -Wall -c -o demod.o demod.c 2023-09-11T23:35:49,629 demod.c: In function ‘demod1’: 2023-09-11T23:35:49,630 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:49,631 376 | Term result; 2023-09-11T23:35:49,632 | ^~~~~~ 2023-09-11T23:35:49,831 gcc -O -Wall -c -o clash.o clash.c 2023-09-11T23:35:49,952 clash.c: In function ‘clash_recurse’: 2023-09-11T23:35:49,953 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-11T23:35:49,953 283 | else if (!p->clashable | p->clashed) 2023-09-11T23:35:49,955 | ^~~~~~~~~~~~~ 2023-09-11T23:35:50,083 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-11T23:35:50,633 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-11T23:35:50,760 paramod.c: In function ‘para_into’: 2023-09-11T23:35:50,761 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-11T23:35:50,762 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-11T23:35:51,007 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-11T23:35:51,243 gcc -O -Wall -c -o hints.o hints.c 2023-09-11T23:35:51,499 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-11T23:35:51,873 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-11T23:35:52,255 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-11T23:35:52,392 ivy.c: In function ‘factor2_instances’: 2023-09-11T23:35:52,393 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:52,394 633 | Literals l1i, l2i, lit; 2023-09-11T23:35:52,394 | ^~~ 2023-09-11T23:35:52,759 gcc -O -Wall -c -o interp.o interp.c 2023-09-11T23:35:52,898 interp.c: In function ‘transpose_binary’: 2023-09-11T23:35:52,899 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:52,900 358 | int i, rc; 2023-09-11T23:35:52,900 | ^~ 2023-09-11T23:35:58,117 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-11T23:35:58,415 gcc -O -Wall -c -o banner.o banner.c 2023-09-11T23:35:58,587 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-11T23:36:00,186 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-11T23:36:00,695 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-11T23:36:01,691 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2023-09-11T23:36:01,700 ar: creating libladr.a 2023-09-11T23:36:02,090 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:02,091 make[2]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:02,091 cd mace4.src && make all 2023-09-11T23:36:02,106 make[2]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:02,107 cd ../ladr && make libladr.a 2023-09-11T23:36:02,139 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:02,140 make[3]: 'libladr.a' is up to date. 2023-09-11T23:36:02,140 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:02,141 make clean 2023-09-11T23:36:02,150 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:02,150 /bin/rm -f *.o 2023-09-11T23:36:02,161 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:02,162 make libmace4.a 2023-09-11T23:36:02,176 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:02,177 gcc -O -Wall -c -o estack.o estack.c 2023-09-11T23:36:02,370 gcc -O -Wall -c -o util.o util.c 2023-09-11T23:36:02,525 gcc -O -Wall -c -o print.o print.c 2023-09-11T23:36:02,980 gcc -O -Wall -c -o syms.o syms.c 2023-09-11T23:36:03,225 gcc -O -Wall -c -o ground.o ground.c 2023-09-11T23:36:03,684 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-11T23:36:04,126 gcc -O -Wall -c -o select.o select.c 2023-09-11T23:36:04,267 select.c: In function ‘select_concentric_band’: 2023-09-11T23:36:04,268 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:36:04,269 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-11T23:36:04,270 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-11T23:36:04,271 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:36:04,271 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:36:04,399 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-11T23:36:04,802 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-11T23:36:05,019 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-11T23:36:05,379 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-11T23:36:05,723 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-11T23:36:05,936 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-11T23:36:06,197 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-11T23:36:06,351 msearch.c: In function ‘next_domain_size’: 2023-09-11T23:36:06,351 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:36:06,352 850 | int next_domain_size(n) 2023-09-11T23:36:06,353 | ^~~~~~~~~~~~~~~~ 2023-09-11T23:36:06,638 msearch.c: In function ‘mace4’: 2023-09-11T23:36:06,639 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-11T23:36:06,639 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:36:06,640 | ^~ 2023-09-11T23:36:06,641 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-11T23:36:06,642 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:36:06,642 | ^~~~~~~~~~~~~~~~ 2023-09-11T23:36:06,643 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-11T23:36:06,643 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:36:06,644 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-11T23:36:06,822 ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o 2023-09-11T23:36:06,828 ar: creating libmace4.a 2023-09-11T23:36:06,922 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:06,924 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-11T23:36:07,076 mace4.c: In function ‘init_attrs’: 2023-09-11T23:36:07,077 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:07,078 36 | int id; 2023-09-11T23:36:07,078 | ^~ 2023-09-11T23:36:07,165 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-11T23:36:07,330 /bin/mv mace4 ../bin 2023-09-11T23:36:07,338 make[2]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:07,339 cd provers.src && make all 2023-09-11T23:36:07,351 make[2]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:07,352 cd ../ladr && make libladr 2023-09-11T23:36:07,364 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:07,365 make libladr.a 2023-09-11T23:36:07,387 make[4]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:07,387 make[4]: 'libladr.a' is up to date. 2023-09-11T23:36:07,388 make[4]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:07,388 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:07,389 make clean 2023-09-11T23:36:07,397 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:07,397 /bin/rm -f *.o 2023-09-11T23:36:07,405 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:07,406 cd ../mace4.src && make libmace4 2023-09-11T23:36:07,416 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:07,417 make libmace4.a 2023-09-11T23:36:07,426 make[4]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:07,426 make[4]: 'libmace4.a' is up to date. 2023-09-11T23:36:07,427 make[4]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:07,427 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:36:07,428 make clean 2023-09-11T23:36:07,435 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:07,436 /bin/rm -f *.o 2023-09-11T23:36:07,443 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:07,444 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-11T23:36:07,638 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-11T23:36:07,847 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-11T23:36:08,062 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-11T23:36:08,274 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-11T23:36:08,529 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-11T23:36:08,825 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-11T23:36:09,052 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-11T23:36:09,466 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-11T23:36:09,694 gcc -O -Wall -c -o actions.o actions.c 2023-09-11T23:36:09,983 gcc -O -Wall -c -o search.o search.c 2023-09-11T23:36:11,728 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-11T23:36:12,248 gcc -O -Wall -c -o provers.o provers.c 2023-09-11T23:36:12,550 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-11T23:36:12,809 gcc -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:13,001 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-11T23:36:13,185 gcc -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:13,376 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-11T23:36:13,598 gcc -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:13,785 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-11T23:36:14,010 gcc -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:14,199 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-11T23:36:14,445 gcc -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:14,636 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-11T23:36:14,847 gcc -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:15,037 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-11T23:36:15,202 tptp_to_ladr.c: In function ‘main’: 2023-09-11T23:36:15,204 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:15,205 84 | int i; 2023-09-11T23:36:15,205 | ^ 2023-09-11T23:36:15,294 gcc -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-11T23:36:15,489 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-11T23:36:15,565 /bin/rm -f *.o 2023-09-11T23:36:15,578 make[2]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:36:15,579 cd apps.src && make all 2023-09-11T23:36:15,590 make[2]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-11T23:36:15,591 cd ../ladr && make libladr.a 2023-09-11T23:36:15,633 make[3]: Entering directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:15,634 make[3]: 'libladr.a' is up to date. 2023-09-11T23:36:15,634 make[3]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:36:15,636 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-11T23:36:15,868 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-11T23:36:16,051 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-11T23:36:16,409 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-11T23:36:16,555 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-11T23:36:16,691 clausefilter.c: In function ‘main’: 2023-09-11T23:36:16,693 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:16,694 109 | int i; 2023-09-11T23:36:16,694 | ^ 2023-09-11T23:36:16,815 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-11T23:36:16,970 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-11T23:36:17,185 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-11T23:36:17,332 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-11T23:36:17,466 renamer.c: In function ‘main’: 2023-09-11T23:36:17,467 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:17,468 54 | int i; 2023-09-11T23:36:17,469 | ^ 2023-09-11T23:36:17,512 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-11T23:36:18,694 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-11T23:36:18,868 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-11T23:36:19,802 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-11T23:36:20,059 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-11T23:36:20,214 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-11T23:36:20,422 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-11T23:36:20,568 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-11T23:36:20,821 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-11T23:36:20,970 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-11T23:36:21,202 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-11T23:36:21,352 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-11T23:36:21,585 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-11T23:36:21,731 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-11T23:36:21,909 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-11T23:36:22,057 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-11T23:36:22,227 interpfilter.c: In function ‘main’: 2023-09-11T23:36:22,229 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:22,229 66 | int i; 2023-09-11T23:36:22,230 | ^ 2023-09-11T23:36:22,295 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-11T23:36:22,447 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-11T23:36:22,696 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-11T23:36:22,845 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-11T23:36:23,049 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-11T23:36:23,201 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-11T23:36:23,474 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-11T23:36:23,622 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-11T23:36:23,775 prooftrans.c: In function ‘main’: 2023-09-11T23:36:23,776 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:23,778 225 | int label_attr, answer_attr, props_attr; 2023-09-11T23:36:23,779 | ^~~~~~~~~~ 2023-09-11T23:36:23,780 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:23,780 222 | int rc, n, number_of_proofs; 2023-09-11T23:36:23,781 | ^~ 2023-09-11T23:36:24,033 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-11T23:36:24,181 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-11T23:36:24,313 mirror-flip.c: In function ‘main’: 2023-09-11T23:36:24,315 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:24,315 129 | int i; 2023-09-11T23:36:24,316 | ^ 2023-09-11T23:36:24,392 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-11T23:36:24,541 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-11T23:36:25,180 perm3.c: In function ‘main’: 2023-09-11T23:36:25,187 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:25,189 120 | int i; 2023-09-11T23:36:25,190 | ^ 2023-09-11T23:36:25,352 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-11T23:36:25,708 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-11T23:36:25,927 sigtest.c: In function ‘main’: 2023-09-11T23:36:25,928 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:25,929 33 | int i; 2023-09-11T23:36:25,930 | ^ 2023-09-11T23:36:25,985 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-11T23:36:26,168 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-11T23:36:26,387 directproof.c: In function ‘main’: 2023-09-11T23:36:26,388 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:26,390 645 | int label_attr, answer_attr, props_attr; 2023-09-11T23:36:26,391 | ^~~~~~~~~~ 2023-09-11T23:36:26,392 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:26,392 645 | int label_attr, answer_attr, props_attr; 2023-09-11T23:36:26,393 | ^~~~~~~~~~ 2023-09-11T23:36:26,398 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:26,399 642 | int rc, n, number_of_proofs; 2023-09-11T23:36:26,399 | ^~ 2023-09-11T23:36:26,752 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-11T23:36:26,911 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-11T23:36:27,050 test_clause_eval.c: In function ‘main’: 2023-09-11T23:36:27,051 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:27,052 31 | int i; 2023-09-11T23:36:27,053 | ^ 2023-09-11T23:36:27,102 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-11T23:36:27,255 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-11T23:36:27,435 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-11T23:36:27,581 gcc -O -Wall -c -o complex.o complex.c 2023-09-11T23:36:27,714 complex.c: In function ‘complex4_p1’: 2023-09-11T23:36:27,715 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:27,716 79 | BOOL dummy; 2023-09-11T23:36:27,717 | ^~~~~ 2023-09-11T23:36:27,718 complex.c: In function ‘main’: 2023-09-11T23:36:27,719 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:36:27,719 126 | double d; 2023-09-11T23:36:27,720 | ^ 2023-09-11T23:36:27,792 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-11T23:36:27,937 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-11T23:36:28,258 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-11T23:36:28,415 /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin 2023-09-11T23:36:28,435 /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs 2023-09-11T23:36:28,452 make[2]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-11T23:36:28,453 /bin/cp -p utilities/* bin 2023-09-11T23:36:28,480 **** Now try 'make test1'. **** 2023-09-11T23:36:28,483 make[1]: Leaving directory '/tmp/pip-wheel-qifp1gkk/provers_cc1fcab77998422fa0e31bb6497cd143/provers/bin/tmp/LADR-2009-11A' 2023-09-11T23:36:28,484 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-11T23:36:28,504 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-11T23:36:28,523 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-11T23:36:28,538 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-11T23:36:28,551 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-11T23:36:28,574 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-11T23:36:28,588 rm -rf tmp 2023-09-11T23:36:28,772 mkdir tmp || true 2023-09-11T23:36:28,780 cd tmp && git clone https://github.com/vprover/vampire.git || true 2023-09-11T23:36:28,788 Cloning into 'vampire'... 2023-09-11T23:36:28,819 fatal: transport 'https' not allowed 2023-09-11T23:36:28,829 cd tmp/vampire && make -j4 vampire_rel_static 2023-09-11T23:36:28,831 /bin/sh: 1: cd: can't cd to tmp/vampire 2023-09-11T23:36:28,832 make: *** [Makefile:27: vampire] Error 2 2023-09-11T23:36:28,840 mkdir tmp || true 2023-09-11T23:36:28,847 mkdir: cannot create directory ‘tmp’: File exists 2023-09-11T23:36:28,848 cd tmp && git clone https://github.com/eprover/eprover.git || true 2023-09-11T23:36:28,855 Cloning into 'eprover'... 2023-09-11T23:36:28,883 fatal: transport 'https' not allowed 2023-09-11T23:36:28,892 cd tmp/eprover && ./configure 2023-09-11T23:36:28,894 /bin/sh: 1: cd: can't cd to tmp/eprover 2023-09-11T23:36:28,895 make: *** [Makefile:34: eprover] Error 2 2023-09-11T23:36:28,897 creating build 2023-09-11T23:36:28,897 creating build/lib.linux-armv7l-cpython-311 2023-09-11T23:36:28,898 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:36:28,899 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:36:28,901 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:36:28,903 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,904 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,911 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,918 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,930 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,942 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,952 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:36:28,963 running build_ext 2023-09-11T23:36:29,006 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-11T23:36:29,007 !! 2023-09-11T23:36:29,008 ******************************************************************************** 2023-09-11T23:36:29,008 Please avoid running ``setup.py`` directly. 2023-09-11T23:36:29,009 Instead, use pypa/build, pypa/installer or other 2023-09-11T23:36:29,009 standards-based tools. 2023-09-11T23:36:29,010 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-11T23:36:29,011 ******************************************************************************** 2023-09-11T23:36:29,012 !! 2023-09-11T23:36:29,012 self.initialize_options() 2023-09-11T23:36:29,033 installing to build/bdist.linux-armv7l/wheel 2023-09-11T23:36:29,034 running install 2023-09-11T23:36:29,057 running install_lib 2023-09-11T23:36:29,085 creating build/bdist.linux-armv7l 2023-09-11T23:36:29,085 creating build/bdist.linux-armv7l/wheel 2023-09-11T23:36:29,086 creating build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:36:29,087 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:36:29,090 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,091 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,099 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,107 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,115 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,123 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,130 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:36:29,137 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:36:29,139 running install_egg_info 2023-09-11T23:36:29,195 running egg_info 2023-09-11T23:36:29,236 writing provers.egg-info/PKG-INFO 2023-09-11T23:36:29,240 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-11T23:36:29,242 writing entry points to provers.egg-info/entry_points.txt 2023-09-11T23:36:29,244 writing top-level names to provers.egg-info/top_level.txt 2023-09-11T23:36:29,351 listing git files failed - pretending there aren't any 2023-09-11T23:36:29,354 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-11T23:36:29,357 reading manifest template 'MANIFEST.in' 2023-09-11T23:36:29,358 adding license file 'LICENSE' 2023-09-11T23:36:29,360 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-11T23:36:29,362 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.12-py3.11.egg-info 2023-09-11T23:36:29,371 running install_scripts 2023-09-11T23:36:29,426 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.dist-info/WHEEL 2023-09-11T23:36:29,429 creating '/tmp/pip-wheel-z4a3rna8/provers-0.1.12-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-11T23:36:29,431 adding 'provers/__init__.py' 2023-09-11T23:36:29,433 adding 'provers/util.py' 2023-09-11T23:36:29,512 adding 'provers/bin/isofilter' 2023-09-11T23:36:29,624 adding 'provers/bin/ladr_to_tptp' 2023-09-11T23:36:29,717 adding 'provers/bin/mace4' 2023-09-11T23:36:29,796 adding 'provers/bin/prooftrans' 2023-09-11T23:36:29,903 adding 'provers/bin/prover9' 2023-09-11T23:36:30,013 adding 'provers/bin/tptp_to_ladr' 2023-09-11T23:36:30,024 adding 'provers-0.1.12.dist-info/LICENSE' 2023-09-11T23:36:30,025 adding 'provers-0.1.12.dist-info/METADATA' 2023-09-11T23:36:30,026 adding 'provers-0.1.12.dist-info/WHEEL' 2023-09-11T23:36:30,028 adding 'provers-0.1.12.dist-info/entry_points.txt' 2023-09-11T23:36:30,029 adding 'provers-0.1.12.dist-info/top_level.txt' 2023-09-11T23:36:30,030 adding 'provers-0.1.12.dist-info/RECORD' 2023-09-11T23:36:30,042 removing build/bdist.linux-armv7l/wheel 2023-09-11T23:36:30,162 Building wheel for provers (setup.py): finished with status 'done' 2023-09-11T23:36:30,177 Created wheel for provers: filename=provers-0.1.12-cp311-cp311-linux_armv7l.whl size=969899 sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba 2023-09-11T23:36:30,178 Stored in directory: /tmp/pip-ephem-wheel-cache-g75lpyyr/wheels/ec/2d/04/985b9b39363035e1bc9f7500def5de494981e8aab8bc15f682 2023-09-11T23:36:30,189 Successfully built provers 2023-09-11T23:36:30,222 Removed build tracker: '/tmp/pip-build-tracker-0wpw7ah7'