2023-09-12T01:31:12,203 Created temporary directory: /tmp/pip-build-tracker-mergbdks 2023-09-12T01:31:12,204 Initialized build tracking at /tmp/pip-build-tracker-mergbdks 2023-09-12T01:31:12,204 Created build tracker: /tmp/pip-build-tracker-mergbdks 2023-09-12T01:31:12,205 Entered build tracker: /tmp/pip-build-tracker-mergbdks 2023-09-12T01:31:12,206 Created temporary directory: /tmp/pip-wheel-7qws6qtc 2023-09-12T01:31:12,209 Created temporary directory: /tmp/pip-ephem-wheel-cache-5l0xx1z4 2023-09-12T01:31:12,231 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-12T01:31:12,235 2 location(s) to search for versions of provers: 2023-09-12T01:31:12,235 * https://pypi.org/simple/provers/ 2023-09-12T01:31:12,235 * https://www.piwheels.org/simple/provers/ 2023-09-12T01:31:12,236 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-12T01:31:12,236 Getting page https://pypi.org/simple/provers/ 2023-09-12T01:31:12,238 Found index url https://pypi.org/simple/ 2023-09-12T01:31:12,378 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-12T01:31:12,382 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-12T01:31:12,383 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-12T01:31:12,384 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-12T01:31:12,385 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-12T01:31:12,386 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-12T01:31:12,387 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-12T01:31:12,388 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-12T01:31:12,390 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-12T01:31:12,391 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-12T01:31:12,392 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-12T01:31:12,393 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-12T01:31:12,393 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-12T01:31:12,394 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-12T01:31:12,395 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-12T01:31:12,397 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-12T01:31:12,398 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-12T01:31:12,399 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-12T01:31:12,399 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-12T01:31:12,400 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-12T01:31:12,401 Getting page https://www.piwheels.org/simple/provers/ 2023-09-12T01:31:12,402 Found index url https://www.piwheels.org/simple/ 2023-09-12T01:31:12,712 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-12T01:31:12,727 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-12T01:31:12,727 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-12T01:31:12,728 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-12T01:31:12,728 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-12T01:31:12,729 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-12T01:31:12,730 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-12T01:31:12,730 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-12T01:31:12,731 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-12T01:31:12,731 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-12T01:31:12,732 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-12T01:31:12,733 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-12T01:31:12,733 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-12T01:31:12,734 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-12T01:31:12,734 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-12T01:31:12,735 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-12T01:31:12,735 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-12T01:31:12,736 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-12T01:31:12,736 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-12T01:31:12,737 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-12T01:31:12,738 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-12T01:31:12,738 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-12T01:31:12,739 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-12T01:31:12,739 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-12T01:31:12,740 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-12T01:31:12,740 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv7l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,741 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv6l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,741 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-12T01:31:12,742 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-12T01:31:12,742 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-12T01:31:12,743 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-12T01:31:12,743 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-12T01:31:12,744 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-12T01:31:12,745 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,745 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,746 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-12T01:31:12,746 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-12T01:31:12,747 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-12T01:31:12,748 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-12T01:31:12,748 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-12T01:31:12,749 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-12T01:31:12,749 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,750 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:31:12,751 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-12T01:31:12,751 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-12T01:31:12,752 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-12T01:31:12,753 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-12T01:31:12,754 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-12T01:31:12,754 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-12T01:31:12,755 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-12T01:31:12,755 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-12T01:31:12,756 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-12T01:31:12,757 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-12T01:31:12,758 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-12T01:31:12,758 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-12T01:31:12,791 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-12T01:31:12,819 Collecting provers==0.1.15 2023-09-12T01:31:12,822 Created temporary directory: /tmp/pip-unpack-oc4tvzkf 2023-09-12T01:31:13,578 Downloading provers-0.1.15.tar.gz (21 kB) 2023-09-12T01:31:13,644 Added provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz to build tracker '/tmp/pip-build-tracker-mergbdks' 2023-09-12T01:31:13,648 Running setup.py (path:/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/setup.py) egg_info for package provers 2023-09-12T01:31:13,649 Created temporary directory: /tmp/pip-pip-egg-info-zwsz0n4t 2023-09-12T01:31:13,650 Preparing metadata (setup.py): started 2023-09-12T01:31:13,652 Running command python setup.py egg_info 2023-09-12T01:31:14,343 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T01:31:14,343 !! 2023-09-12T01:31:14,345 ******************************************************************************** 2023-09-12T01:31:14,345 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T01:31:14,346 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T01:31:14,347 ******************************************************************************** 2023-09-12T01:31:14,348 !! 2023-09-12T01:31:14,348 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T01:31:17,367 running egg_info 2023-09-12T01:31:17,368 creating /tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info 2023-09-12T01:31:17,395 writing /tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/PKG-INFO 2023-09-12T01:31:17,398 writing dependency_links to /tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/dependency_links.txt 2023-09-12T01:31:17,399 writing entry points to /tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/entry_points.txt 2023-09-12T01:31:17,401 writing top-level names to /tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/top_level.txt 2023-09-12T01:31:17,402 writing manifest file '/tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/SOURCES.txt' 2023-09-12T01:31:17,556 listing git files failed - pretending there aren't any 2023-09-12T01:31:17,562 reading manifest file '/tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/SOURCES.txt' 2023-09-12T01:31:17,564 reading manifest template 'MANIFEST.in' 2023-09-12T01:31:17,565 warning: no previously-included files found matching 'provers/bin/*' 2023-09-12T01:31:17,566 adding license file 'LICENSE' 2023-09-12T01:31:17,568 writing manifest file '/tmp/pip-pip-egg-info-zwsz0n4t/provers.egg-info/SOURCES.txt' 2023-09-12T01:31:17,683 Preparing metadata (setup.py): finished with status 'done' 2023-09-12T01:31:17,686 Source in /tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed has version 0.1.15, which satisfies requirement provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz 2023-09-12T01:31:17,687 Removed provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz from build tracker '/tmp/pip-build-tracker-mergbdks' 2023-09-12T01:31:17,692 Created temporary directory: /tmp/pip-unpack-q7ydcrbf 2023-09-12T01:31:17,693 Created temporary directory: /tmp/pip-unpack-2hhy_p3g 2023-09-12T01:31:17,695 Building wheels for collected packages: provers 2023-09-12T01:31:17,699 Created temporary directory: /tmp/pip-wheel-5s9x37u6 2023-09-12T01:31:17,700 Building wheel for provers (setup.py): started 2023-09-12T01:31:17,701 Destination directory: /tmp/pip-wheel-5s9x37u6 2023-09-12T01:31:17,701 Running command python setup.py bdist_wheel 2023-09-12T01:31:18,594 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T01:31:18,594 !! 2023-09-12T01:31:18,595 ******************************************************************************** 2023-09-12T01:31:18,596 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T01:31:18,596 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T01:31:18,597 ******************************************************************************** 2023-09-12T01:31:18,598 !! 2023-09-12T01:31:18,598 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T01:31:19,191 running bdist_wheel 2023-09-12T01:31:19,299 running build 2023-09-12T01:31:19,299 running build_py 2023-09-12T01:31:19,307 mkdir tmp || true 2023-09-12T01:31:19,316 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T01:31:19,334 --2023-09-12 01:31:19-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T01:31:19,518 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-12T01:31:19,641 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-12T01:31:20,064 HTTP request sent, awaiting response... 200 OK 2023-09-12T01:31:20,065 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-12T01:31:20,066 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-12T01:31:20,312 0K .......... .......... .......... .......... .......... 2% 204K 8s 2023-09-12T01:31:20,433 50K .......... .......... .......... .......... .......... 5% 415K 6s 2023-09-12T01:31:20,440 100K .......... .......... .......... .......... .......... 8% 6.00M 4s 2023-09-12T01:31:20,555 150K .......... .......... .......... .......... .......... 11% 437K 4s 2023-09-12T01:31:20,563 200K .......... .......... .......... .......... .......... 14% 5.82M 3s 2023-09-12T01:31:20,570 250K .......... .......... .......... .......... .......... 17% 7.30M 2s 2023-09-12T01:31:20,577 300K .......... .......... .......... .......... .......... 19% 7.20M 2s 2023-09-12T01:31:20,584 350K .......... .......... .......... .......... .......... 22% 6.93M 2s 2023-09-12T01:31:20,681 400K .......... .......... .......... .......... .......... 25% 515K 2s 2023-09-12T01:31:20,684 450K .......... .......... .......... .......... .......... 28% 12.5M 2s 2023-09-12T01:31:20,688 500K .......... .......... .......... .......... .......... 31% 14.8M 1s 2023-09-12T01:31:20,691 550K .......... .......... .......... .......... .......... 34% 15.3M 1s 2023-09-12T01:31:20,695 600K .......... .......... .......... .......... .......... 37% 13.1M 1s 2023-09-12T01:31:20,698 650K .......... .......... .......... .......... .......... 39% 15.7M 1s 2023-09-12T01:31:20,701 700K .......... .......... .......... .......... .......... 42% 13.5M 1s 2023-09-12T01:31:20,705 750K .......... .......... .......... .......... .......... 45% 15.3M 1s 2023-09-12T01:31:20,802 800K .......... .......... .......... .......... .......... 48% 513K 1s 2023-09-12T01:31:20,805 850K .......... .......... .......... .......... .......... 51% 14.3M 1s 2023-09-12T01:31:20,808 900K .......... .......... .......... .......... .......... 54% 16.8M 1s 2023-09-12T01:31:20,812 950K .......... .......... .......... .......... .......... 57% 14.3M 1s 2023-09-12T01:31:20,815 1000K .......... .......... .......... .......... .......... 59% 16.7M 1s 2023-09-12T01:31:20,818 1050K .......... .......... .......... .......... .......... 62% 16.3M 0s 2023-09-12T01:31:20,821 1100K .......... .......... .......... .......... .......... 65% 13.8M 0s 2023-09-12T01:31:20,824 1150K .......... .......... .......... .......... .......... 68% 16.3M 0s 2023-09-12T01:31:20,827 1200K .......... .......... .......... .......... .......... 71% 15.0M 0s 2023-09-12T01:31:20,830 1250K .......... .......... .......... .......... .......... 74% 17.4M 0s 2023-09-12T01:31:20,833 1300K .......... .......... .......... .......... .......... 76% 17.4M 0s 2023-09-12T01:31:20,836 1350K .......... .......... .......... .......... .......... 79% 15.1M 0s 2023-09-12T01:31:20,839 1400K .......... .......... .......... .......... .......... 82% 17.4M 0s 2023-09-12T01:31:20,842 1450K .......... .......... .......... .......... .......... 85% 15.0M 0s 2023-09-12T01:31:20,845 1500K .......... .......... .......... .......... .......... 88% 17.5M 0s 2023-09-12T01:31:20,848 1550K .......... .......... .......... .......... .......... 91% 17.5M 0s 2023-09-12T01:31:20,851 1600K .......... .......... .......... .......... .......... 94% 15.0M 0s 2023-09-12T01:31:20,926 1650K .......... .......... .......... .......... .......... 96% 669K 0s 2023-09-12T01:31:20,928 1700K .......... .......... .......... .......... .......... 99% 25.3M 0s 2023-09-12T01:31:20,931 1750K ... 100% 6.82T=0.9s 2023-09-12T01:31:20,950 2023-09-12 01:31:20 (1.99 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-12T01:31:20,953 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-12T01:31:21,759 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-12T01:31:21,770 cd tmp/LADR-2009-11A && make all 2023-09-12T01:31:21,780 make[1]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A' 2023-09-12T01:31:21,781 cd ladr && make lib 2023-09-12T01:31:21,796 make[2]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:21,797 make libladr.a 2023-09-12T01:31:21,807 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:21,808 gcc -O -Wall -c -o order.o order.c 2023-09-12T01:31:21,966 gcc -O -Wall -c -o clock.o clock.c 2023-09-12T01:31:22,196 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-12T01:31:22,299 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-12T01:31:22,448 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-12T01:31:22,655 gcc -O -Wall -c -o memory.o memory.c 2023-09-12T01:31:22,864 gcc -O -Wall -c -o hash.o hash.c 2023-09-12T01:31:23,059 gcc -O -Wall -c -o string.o string.c 2023-09-12T01:31:23,328 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-12T01:31:23,598 gcc -O -Wall -c -o glist.o glist.c 2023-09-12T01:31:24,224 gcc -O -Wall -c -o options.o options.c 2023-09-12T01:31:24,753 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-12T01:31:24,864 symbols.c: In function ‘declare_base_symbols’: 2023-09-12T01:31:24,865 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:24,865 1304 | int sn; 2023-09-12T01:31:24,866 | ^~ 2023-09-12T01:31:25,754 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-12T01:31:26,120 gcc -O -Wall -c -o term.o term.c 2023-09-12T01:31:27,012 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-12T01:31:27,201 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-12T01:31:27,392 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-12T01:31:27,554 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-12T01:31:27,841 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-12T01:31:28,010 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-12T01:31:28,467 gcc -O -Wall -c -o parse.o parse.c 2023-09-12T01:31:29,252 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-12T01:31:29,443 gcc -O -Wall -c -o unify.o unify.c 2023-09-12T01:31:29,882 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-12T01:31:30,199 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-12T01:31:30,708 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-12T01:31:30,891 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-12T01:31:31,011 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-12T01:31:31,012 487 | Flat2 check_flat2(Flat2 f) 2023-09-12T01:31:31,013 | ^~~~~~~~~~~ 2023-09-12T01:31:31,256 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-12T01:31:31,410 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-12T01:31:31,410 146 | Flat check_flat(Flat f) 2023-09-12T01:31:31,411 | ^~~~~~~~~~ 2023-09-12T01:31:31,700 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-12T01:31:32,261 gcc -O -Wall -c -o btu.o btu.c 2023-09-12T01:31:32,908 gcc -O -Wall -c -o btm.o btm.c 2023-09-12T01:31:33,563 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-12T01:31:33,679 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-12T01:31:33,680 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:33,680 650 | Trail tr; 2023-09-12T01:31:33,681 | ^~ 2023-09-12T01:31:33,876 gcc -O -Wall -c -o basic.o basic.c 2023-09-12T01:31:34,100 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-12T01:31:34,578 gcc -O -Wall -c -o formula.o formula.c 2023-09-12T01:31:35,439 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-12T01:31:35,715 gcc -O -Wall -c -o literals.o literals.c 2023-09-12T01:31:36,157 gcc -O -Wall -c -o topform.o topform.c 2023-09-12T01:31:36,556 gcc -O -Wall -c -o clist.o clist.c 2023-09-12T01:31:36,991 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-12T01:31:37,199 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-12T01:31:37,423 gcc -O -Wall -c -o just.o just.c 2023-09-12T01:31:38,242 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-12T01:31:38,859 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-12T01:31:39,080 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-12T01:31:39,390 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-12T01:31:39,761 gcc -O -Wall -c -o compress.o compress.c 2023-09-12T01:31:39,945 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-12T01:31:40,194 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-12T01:31:40,382 gcc -O -Wall -c -o weight.o weight.c 2023-09-12T01:31:40,670 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-12T01:31:40,839 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-12T01:31:41,087 gcc -O -Wall -c -o features.o features.c 2023-09-12T01:31:41,293 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-12T01:31:41,581 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-12T01:31:41,829 gcc -O -Wall -c -o random.o random.c 2023-09-12T01:31:42,408 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-12T01:31:42,856 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-12T01:31:43,067 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-12T01:31:43,314 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T01:31:43,426 complex.c: In function ‘complex4_p1’: 2023-09-12T01:31:43,426 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:43,427 275 | BOOL dummy; 2023-09-12T01:31:43,427 | ^~~~~ 2023-09-12T01:31:43,636 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-12T01:31:44,309 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-12T01:31:44,426 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-12T01:31:44,426 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T01:31:44,427 122 | if (status == BACKTRACK) { 2023-09-12T01:31:44,427 | ^~ 2023-09-12T01:31:44,428 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:44,429 158 | Discrim dd = NULL; 2023-09-12T01:31:44,429 | ^~ 2023-09-12T01:31:44,430 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T01:31:44,430 167 | if (status == GO) { 2023-09-12T01:31:44,431 | ^~ 2023-09-12T01:31:44,589 gcc -O -Wall -c -o demod.o demod.c 2023-09-12T01:31:44,713 demod.c: In function ‘demod1’: 2023-09-12T01:31:44,714 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:44,714 376 | Term result; 2023-09-12T01:31:44,715 | ^~~~~~ 2023-09-12T01:31:44,915 gcc -O -Wall -c -o clash.o clash.c 2023-09-12T01:31:45,036 clash.c: In function ‘clash_recurse’: 2023-09-12T01:31:45,037 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T01:31:45,038 283 | else if (!p->clashable | p->clashed) 2023-09-12T01:31:45,039 | ^~~~~~~~~~~~~ 2023-09-12T01:31:45,171 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-12T01:31:45,737 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-12T01:31:45,860 paramod.c: In function ‘para_into’: 2023-09-12T01:31:45,861 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T01:31:45,861 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-12T01:31:46,102 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-12T01:31:46,339 gcc -O -Wall -c -o hints.o hints.c 2023-09-12T01:31:46,590 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-12T01:31:46,940 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-12T01:31:47,321 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-12T01:31:47,453 ivy.c: In function ‘factor2_instances’: 2023-09-12T01:31:47,454 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:47,455 633 | Literals l1i, l2i, lit; 2023-09-12T01:31:47,455 | ^~~ 2023-09-12T01:31:47,817 gcc -O -Wall -c -o interp.o interp.c 2023-09-12T01:31:47,959 interp.c: In function ‘transpose_binary’: 2023-09-12T01:31:47,959 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:47,960 358 | int i, rc; 2023-09-12T01:31:47,961 | ^~ 2023-09-12T01:31:49,651 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-12T01:31:49,794 gcc -O -Wall -c -o banner.o banner.c 2023-09-12T01:31:49,957 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-12T01:31:50,386 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-12T01:31:50,840 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-12T01:31:51,438 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-12T01:31:51,443 ar: creating libladr.a 2023-09-12T01:31:51,672 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:51,672 make[2]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:51,673 cd mace4.src && make all 2023-09-12T01:31:51,683 make[2]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:51,684 cd ../ladr && make libladr.a 2023-09-12T01:31:51,711 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:51,712 make[3]: 'libladr.a' is up to date. 2023-09-12T01:31:51,712 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:51,713 make clean 2023-09-12T01:31:51,720 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:51,720 /bin/rm -f *.o 2023-09-12T01:31:51,727 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:51,728 make libmace4.a 2023-09-12T01:31:51,736 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:51,737 gcc -O -Wall -c -o estack.o estack.c 2023-09-12T01:31:51,913 gcc -O -Wall -c -o util.o util.c 2023-09-12T01:31:52,060 gcc -O -Wall -c -o print.o print.c 2023-09-12T01:31:52,466 gcc -O -Wall -c -o syms.o syms.c 2023-09-12T01:31:52,720 gcc -O -Wall -c -o ground.o ground.c 2023-09-12T01:31:53,145 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-12T01:31:53,572 gcc -O -Wall -c -o select.o select.c 2023-09-12T01:31:53,711 select.c: In function ‘select_concentric_band’: 2023-09-12T01:31:53,712 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:31:53,713 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-12T01:31:53,714 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T01:31:53,714 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:31:53,715 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:31:53,845 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-12T01:31:54,247 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-12T01:31:54,470 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-12T01:31:54,829 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-12T01:31:55,351 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-12T01:31:55,600 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-12T01:31:55,873 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-12T01:31:56,217 msearch.c: In function ‘next_domain_size’: 2023-09-12T01:31:56,218 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:31:56,219 850 | int next_domain_size(n) 2023-09-12T01:31:56,220 | ^~~~~~~~~~~~~~~~ 2023-09-12T01:31:56,506 msearch.c: In function ‘mace4’: 2023-09-12T01:31:56,507 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-12T01:31:56,507 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:31:56,508 | ^~ 2023-09-12T01:31:56,509 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-12T01:31:56,509 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:31:56,510 | ^~~~~~~~~~~~~~~~ 2023-09-12T01:31:56,510 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-12T01:31:56,510 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:31:56,511 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T01:31:56,694 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-12T01:31:56,699 ar: creating libmace4.a 2023-09-12T01:31:56,792 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:56,795 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-12T01:31:56,944 mace4.c: In function ‘init_attrs’: 2023-09-12T01:31:56,945 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:31:56,946 36 | int id; 2023-09-12T01:31:56,946 | ^~ 2023-09-12T01:31:57,033 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-12T01:31:57,194 /bin/mv mace4 ../bin 2023-09-12T01:31:57,202 make[2]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:57,202 cd provers.src && make all 2023-09-12T01:31:57,214 make[2]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:31:57,215 cd ../ladr && make libladr 2023-09-12T01:31:57,227 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:57,227 make libladr.a 2023-09-12T01:31:57,248 make[4]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:57,249 make[4]: 'libladr.a' is up to date. 2023-09-12T01:31:57,249 make[4]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:57,250 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:31:57,251 make clean 2023-09-12T01:31:57,259 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:31:57,259 /bin/rm -f *.o 2023-09-12T01:31:57,266 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:31:57,267 cd ../mace4.src && make libmace4 2023-09-12T01:31:57,277 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:57,278 make libmace4.a 2023-09-12T01:31:57,287 make[4]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:57,288 make[4]: 'libmace4.a' is up to date. 2023-09-12T01:31:57,288 make[4]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:57,289 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:31:57,290 make clean 2023-09-12T01:31:57,297 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:31:57,297 /bin/rm -f *.o 2023-09-12T01:31:57,304 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:31:57,305 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-12T01:31:57,488 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-12T01:31:57,691 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-12T01:31:57,903 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-12T01:31:58,119 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-12T01:31:58,377 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-12T01:31:58,904 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-12T01:31:59,130 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-12T01:31:59,588 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-12T01:31:59,810 gcc -O -Wall -c -o actions.o actions.c 2023-09-12T01:32:00,098 gcc -O -Wall -c -o search.o search.c 2023-09-12T01:32:01,805 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-12T01:32:02,579 gcc -O -Wall -c -o provers.o provers.c 2023-09-12T01:32:02,923 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-12T01:32:03,182 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-12T01:32:03,598 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-12T01:32:03,780 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-12T01:32:03,991 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-12T01:32:04,213 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-12T01:32:04,397 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-12T01:32:04,621 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-12T01:32:04,843 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-12T01:32:05,085 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-12T01:32:05,271 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-12T01:32:05,475 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-12T01:32:05,666 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-12T01:32:05,797 tptp_to_ladr.c: In function ‘main’: 2023-09-12T01:32:05,798 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:05,799 84 | int i; 2023-09-12T01:32:05,800 | ^ 2023-09-12T01:32:05,884 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-12T01:32:06,072 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-12T01:32:06,131 /bin/rm -f *.o 2023-09-12T01:32:06,143 make[2]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:32:06,144 cd apps.src && make all 2023-09-12T01:32:06,155 make[2]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T01:32:06,156 cd ../ladr && make libladr.a 2023-09-12T01:32:06,196 make[3]: Entering directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:32:06,196 make[3]: 'libladr.a' is up to date. 2023-09-12T01:32:06,197 make[3]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:32:06,198 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-12T01:32:06,434 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-12T01:32:06,594 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-12T01:32:06,983 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-12T01:32:07,127 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-12T01:32:07,264 clausefilter.c: In function ‘main’: 2023-09-12T01:32:07,264 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:07,265 109 | int i; 2023-09-12T01:32:07,266 | ^ 2023-09-12T01:32:07,364 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-12T01:32:07,521 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-12T01:32:07,768 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-12T01:32:07,913 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-12T01:32:08,042 renamer.c: In function ‘main’: 2023-09-12T01:32:08,043 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:08,045 54 | int i; 2023-09-12T01:32:08,045 | ^ 2023-09-12T01:32:08,088 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-12T01:32:08,233 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-12T01:32:08,411 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-12T01:32:08,587 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-12T01:32:08,790 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-12T01:32:08,943 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-12T01:32:09,184 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-12T01:32:09,333 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-12T01:32:09,555 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-12T01:32:09,703 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-12T01:32:09,932 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-12T01:32:10,080 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-12T01:32:10,309 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-12T01:32:10,456 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-12T01:32:10,636 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-12T01:32:10,783 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-12T01:32:10,917 interpfilter.c: In function ‘main’: 2023-09-12T01:32:10,918 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:10,919 66 | int i; 2023-09-12T01:32:10,920 | ^ 2023-09-12T01:32:10,985 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-12T01:32:11,131 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-12T01:32:11,405 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-12T01:32:11,573 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-12T01:32:11,747 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-12T01:32:12,109 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-12T01:32:12,427 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-12T01:32:12,575 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-12T01:32:12,716 prooftrans.c: In function ‘main’: 2023-09-12T01:32:12,718 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:12,719 225 | int label_attr, answer_attr, props_attr; 2023-09-12T01:32:12,720 | ^~~~~~~~~~ 2023-09-12T01:32:12,720 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:12,721 222 | int rc, n, number_of_proofs; 2023-09-12T01:32:12,721 | ^~ 2023-09-12T01:32:12,961 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-12T01:32:13,131 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-12T01:32:13,263 mirror-flip.c: In function ‘main’: 2023-09-12T01:32:13,265 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:13,266 129 | int i; 2023-09-12T01:32:13,266 | ^ 2023-09-12T01:32:13,340 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-12T01:32:13,486 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-12T01:32:13,618 perm3.c: In function ‘main’: 2023-09-12T01:32:13,619 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:13,621 120 | int i; 2023-09-12T01:32:13,621 | ^ 2023-09-12T01:32:13,711 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-12T01:32:13,889 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-12T01:32:14,019 sigtest.c: In function ‘main’: 2023-09-12T01:32:14,020 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:14,021 33 | int i; 2023-09-12T01:32:14,021 | ^ 2023-09-12T01:32:14,071 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-12T01:32:14,218 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-12T01:32:14,361 directproof.c: In function ‘main’: 2023-09-12T01:32:14,362 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:14,362 645 | int label_attr, answer_attr, props_attr; 2023-09-12T01:32:14,363 | ^~~~~~~~~~ 2023-09-12T01:32:14,364 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:14,364 645 | int label_attr, answer_attr, props_attr; 2023-09-12T01:32:14,365 | ^~~~~~~~~~ 2023-09-12T01:32:14,366 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:14,367 642 | int rc, n, number_of_proofs; 2023-09-12T01:32:14,368 | ^~ 2023-09-12T01:32:14,724 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-12T01:32:14,873 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-12T01:32:15,005 test_clause_eval.c: In function ‘main’: 2023-09-12T01:32:15,006 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:15,007 31 | int i; 2023-09-12T01:32:15,008 | ^ 2023-09-12T01:32:15,055 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-12T01:32:15,460 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-12T01:32:15,641 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-12T01:32:15,787 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T01:32:15,918 complex.c: In function ‘complex4_p1’: 2023-09-12T01:32:15,919 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:15,920 79 | BOOL dummy; 2023-09-12T01:32:15,921 | ^~~~~ 2023-09-12T01:32:15,922 complex.c: In function ‘main’: 2023-09-12T01:32:15,923 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:32:15,923 126 | double d; 2023-09-12T01:32:15,924 | ^ 2023-09-12T01:32:15,995 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-12T01:32:16,145 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-12T01:32:16,493 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-12T01:32:16,640 /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-12T01:32:16,657 /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-12T01:32:16,672 make[2]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T01:32:16,673 /bin/cp -p utilities/* bin 2023-09-12T01:32:16,698 **** Now try 'make test1'. **** 2023-09-12T01:32:16,702 make[1]: Leaving directory '/tmp/pip-wheel-7qws6qtc/provers_8d805fd15f1b4ce1af764bdb3a0a26ed/provers/bin/tmp/LADR-2009-11A' 2023-09-12T01:32:16,702 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-12T01:32:16,718 cp tmp/LADR-2009-11A/bin/interpformat . 2023-09-12T01:32:16,734 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-12T01:32:16,751 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-12T01:32:16,765 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-12T01:32:16,779 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-12T01:32:16,795 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-12T01:32:16,817 rm -rf tmp 2023-09-12T01:32:16,990 mkdir tmp || true 2023-09-12T01:32:17,001 cd tmp && git clone https://github.com/eprover/eprover.git || true 2023-09-12T01:32:17,011 Cloning into 'eprover'... 2023-09-12T01:32:17,052 fatal: transport 'https' not allowed 2023-09-12T01:32:17,064 cd tmp/eprover && ./configure 2023-09-12T01:32:17,067 /bin/sh: 1: cd: can't cd to tmp/eprover 2023-09-12T01:32:17,068 make: *** [Makefile:35: eprover] Error 2 2023-09-12T01:32:17,071 creating build 2023-09-12T01:32:17,072 creating build/lib.linux-armv7l-cpython-311 2023-09-12T01:32:17,073 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,074 copying provers/fol.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,077 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,079 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,081 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,083 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:32:17,087 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,089 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,098 copying provers/bin/interpformat -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,108 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,118 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,131 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,145 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,156 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:32:17,167 running build_ext 2023-09-12T01:32:17,204 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-12T01:32:17,205 !! 2023-09-12T01:32:17,206 ******************************************************************************** 2023-09-12T01:32:17,207 Please avoid running ``setup.py`` directly. 2023-09-12T01:32:17,207 Instead, use pypa/build, pypa/installer or other 2023-09-12T01:32:17,208 standards-based tools. 2023-09-12T01:32:17,209 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-12T01:32:17,210 ******************************************************************************** 2023-09-12T01:32:17,211 !! 2023-09-12T01:32:17,211 self.initialize_options() 2023-09-12T01:32:17,235 installing to build/bdist.linux-armv7l/wheel 2023-09-12T01:32:17,236 running install 2023-09-12T01:32:17,262 running install_lib 2023-09-12T01:32:17,290 creating build/bdist.linux-armv7l 2023-09-12T01:32:17,290 creating build/bdist.linux-armv7l/wheel 2023-09-12T01:32:17,292 creating build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,293 copying build/lib.linux-armv7l-cpython-311/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,295 copying build/lib.linux-armv7l-cpython-311/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,296 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,298 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,300 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,301 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,316 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,324 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,330 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,337 copying build/lib.linux-armv7l-cpython-311/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,344 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,352 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:32:17,360 copying build/lib.linux-armv7l-cpython-311/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:32:17,363 running install_egg_info 2023-09-12T01:32:17,418 running egg_info 2023-09-12T01:32:17,445 writing provers.egg-info/PKG-INFO 2023-09-12T01:32:17,448 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-12T01:32:17,449 writing entry points to provers.egg-info/entry_points.txt 2023-09-12T01:32:17,450 writing top-level names to provers.egg-info/top_level.txt 2023-09-12T01:32:17,540 listing git files failed - pretending there aren't any 2023-09-12T01:32:17,543 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T01:32:17,545 reading manifest template 'MANIFEST.in' 2023-09-12T01:32:17,546 adding license file 'LICENSE' 2023-09-12T01:32:17,548 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T01:32:17,549 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.15-py3.11.egg-info 2023-09-12T01:32:17,558 running install_scripts 2023-09-12T01:32:17,616 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.dist-info/WHEEL 2023-09-12T01:32:17,618 creating '/tmp/pip-wheel-5s9x37u6/provers-0.1.15-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-12T01:32:17,621 adding 'provers/__init__.py' 2023-09-12T01:32:17,622 adding 'provers/eprover.py' 2023-09-12T01:32:17,624 adding 'provers/fol.py' 2023-09-12T01:32:17,626 adding 'provers/prover9.py' 2023-09-12T01:32:17,628 adding 'provers/util.py' 2023-09-12T01:32:17,706 adding 'provers/bin/interpformat' 2023-09-12T01:32:17,787 adding 'provers/bin/isofilter' 2023-09-12T01:32:17,897 adding 'provers/bin/ladr_to_tptp' 2023-09-12T01:32:17,989 adding 'provers/bin/mace4' 2023-09-12T01:32:18,064 adding 'provers/bin/prooftrans' 2023-09-12T01:32:18,173 adding 'provers/bin/prover9' 2023-09-12T01:32:18,286 adding 'provers/bin/tptp_to_ladr' 2023-09-12T01:32:18,296 adding 'provers-0.1.15.dist-info/LICENSE' 2023-09-12T01:32:18,297 adding 'provers-0.1.15.dist-info/METADATA' 2023-09-12T01:32:18,298 adding 'provers-0.1.15.dist-info/WHEEL' 2023-09-12T01:32:18,299 adding 'provers-0.1.15.dist-info/entry_points.txt' 2023-09-12T01:32:18,300 adding 'provers-0.1.15.dist-info/top_level.txt' 2023-09-12T01:32:18,301 adding 'provers-0.1.15.dist-info/RECORD' 2023-09-12T01:32:18,316 removing build/bdist.linux-armv7l/wheel 2023-09-12T01:32:18,438 Building wheel for provers (setup.py): finished with status 'done' 2023-09-12T01:32:18,454 Created wheel for provers: filename=provers-0.1.15-cp311-cp311-linux_armv7l.whl size=1110349 sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 2023-09-12T01:32:18,456 Stored in directory: /tmp/pip-ephem-wheel-cache-5l0xx1z4/wheels/66/24/28/ed97ed693da3062213396573e3cd64339437efdafe2a695f53 2023-09-12T01:32:18,468 Successfully built provers 2023-09-12T01:32:18,496 Removed build tracker: '/tmp/pip-build-tracker-mergbdks'