2023-09-11T23:34:00,810 Created temporary directory: /tmp/pip-build-tracker-qk531awg 2023-09-11T23:34:00,811 Initialized build tracking at /tmp/pip-build-tracker-qk531awg 2023-09-11T23:34:00,812 Created build tracker: /tmp/pip-build-tracker-qk531awg 2023-09-11T23:34:00,812 Entered build tracker: /tmp/pip-build-tracker-qk531awg 2023-09-11T23:34:00,813 Created temporary directory: /tmp/pip-wheel-he0bkb7u 2023-09-11T23:34:00,816 Created temporary directory: /tmp/pip-ephem-wheel-cache-b44ufto5 2023-09-11T23:34:00,837 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-11T23:34:00,841 2 location(s) to search for versions of provers: 2023-09-11T23:34:00,841 * https://pypi.org/simple/provers/ 2023-09-11T23:34:00,841 * https://www.piwheels.org/simple/provers/ 2023-09-11T23:34:00,842 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-11T23:34:00,843 Getting page https://pypi.org/simple/provers/ 2023-09-11T23:34:00,844 Found index url https://pypi.org/simple/ 2023-09-11T23:34:01,092 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-11T23:34:01,097 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:34:01,098 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:34:01,099 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:34:01,100 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:34:01,101 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:34:01,102 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:34:01,103 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:34:01,104 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:34:01,105 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:34:01,105 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:34:01,106 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:34:01,107 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:34:01,108 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:34:01,109 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:34:01,110 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:34:01,111 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:34:01,112 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:34:01,113 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:34:01,113 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-11T23:34:01,114 Getting page https://www.piwheels.org/simple/provers/ 2023-09-11T23:34:01,115 Found index url https://www.piwheels.org/simple/ 2023-09-11T23:34:01,442 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-11T23:34:01,462 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:34:01,462 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:34:01,463 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:34:01,464 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:34:01,465 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:34:01,465 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:34:01,466 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:34:01,467 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:34:01,467 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:34:01,468 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:34:01,469 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:34:01,469 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:34:01,470 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:34:01,471 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:34:01,471 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:34:01,472 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:34:01,472 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:34:01,473 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:34:01,474 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:34:01,474 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:34:01,475 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:34:01,476 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:34:01,476 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:34:01,477 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:34:01,478 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:34:01,479 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:34:01,479 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:34:01,480 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:34:01,480 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:34:01,481 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:34:01,482 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:34:01,482 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:34:01,483 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:34:01,484 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:34:01,484 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:34:01,485 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:34:01,486 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:34:01,486 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:34:01,487 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:34:01,487 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:34:01,488 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:34:01,489 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:34:01,489 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:34:01,490 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:34:01,490 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:34:01,491 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:34:01,492 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-11T23:34:01,493 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-11T23:34:01,522 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-11T23:34:01,548 Collecting provers==0.1.4 2023-09-11T23:34:01,551 Created temporary directory: /tmp/pip-unpack-9krsuvkg 2023-09-11T23:34:02,052 Downloading provers-0.1.4.tar.gz (14 kB) 2023-09-11T23:34:02,085 Added provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz to build tracker '/tmp/pip-build-tracker-qk531awg' 2023-09-11T23:34:02,086 Running setup.py (path:/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/setup.py) egg_info for package provers 2023-09-11T23:34:02,088 Created temporary directory: /tmp/pip-pip-egg-info-9zoiwi_q 2023-09-11T23:34:02,088 Preparing metadata (setup.py): started 2023-09-11T23:34:02,090 Running command python setup.py egg_info 2023-09-11T23:34:02,806 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-11T23:34:02,806 !! 2023-09-11T23:34:02,807 ******************************************************************************** 2023-09-11T23:34:02,808 Requirements should be satisfied by a PEP 517 installer. 2023-09-11T23:34:02,808 If you are using pip, you can try `pip install --use-pep517`. 2023-09-11T23:34:02,809 ******************************************************************************** 2023-09-11T23:34:02,810 !! 2023-09-11T23:34:02,810 dist.fetch_build_eggs(dist.setup_requires) 2023-09-11T23:34:06,238 running egg_info 2023-09-11T23:34:06,239 creating /tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info 2023-09-11T23:34:06,266 writing /tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/PKG-INFO 2023-09-11T23:34:06,269 writing dependency_links to /tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/dependency_links.txt 2023-09-11T23:34:06,270 writing entry points to /tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/entry_points.txt 2023-09-11T23:34:06,272 writing top-level names to /tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/top_level.txt 2023-09-11T23:34:06,273 writing manifest file '/tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/SOURCES.txt' 2023-09-11T23:34:06,425 listing git files failed - pretending there aren't any 2023-09-11T23:34:06,431 reading manifest file '/tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/SOURCES.txt' 2023-09-11T23:34:06,432 reading manifest template 'MANIFEST.in' 2023-09-11T23:34:06,433 warning: no previously-included files found matching 'provers/bin/*' 2023-09-11T23:34:06,434 adding license file 'LICENSE' 2023-09-11T23:34:06,435 writing manifest file '/tmp/pip-pip-egg-info-9zoiwi_q/provers.egg-info/SOURCES.txt' 2023-09-11T23:34:06,550 Preparing metadata (setup.py): finished with status 'done' 2023-09-11T23:34:06,553 Source in /tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6 has version 0.1.4, which satisfies requirement provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz 2023-09-11T23:34:06,554 Removed provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz from build tracker '/tmp/pip-build-tracker-qk531awg' 2023-09-11T23:34:06,559 Created temporary directory: /tmp/pip-unpack-2haj10na 2023-09-11T23:34:06,560 Created temporary directory: /tmp/pip-unpack-ig76iuyv 2023-09-11T23:34:06,563 Building wheels for collected packages: provers 2023-09-11T23:34:06,567 Created temporary directory: /tmp/pip-wheel-hk1uambu 2023-09-11T23:34:06,567 Building wheel for provers (setup.py): started 2023-09-11T23:34:06,568 Destination directory: /tmp/pip-wheel-hk1uambu 2023-09-11T23:34:06,569 Running command python setup.py bdist_wheel 2023-09-11T23:34:07,244 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-11T23:34:07,244 !! 2023-09-11T23:34:07,245 ******************************************************************************** 2023-09-11T23:34:07,246 Requirements should be satisfied by a PEP 517 installer. 2023-09-11T23:34:07,247 If you are using pip, you can try `pip install --use-pep517`. 2023-09-11T23:34:07,247 ******************************************************************************** 2023-09-11T23:34:07,248 !! 2023-09-11T23:34:07,249 dist.fetch_build_eggs(dist.setup_requires) 2023-09-11T23:34:07,862 running bdist_wheel 2023-09-11T23:34:07,970 running build 2023-09-11T23:34:07,970 running build_py 2023-09-11T23:34:07,978 mkdir tmp || true 2023-09-11T23:34:07,987 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-11T23:34:08,005 --2023-09-11 23:34:07-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-11T23:34:08,314 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-11T23:34:08,440 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-11T23:34:08,859 HTTP request sent, awaiting response... 200 OK 2023-09-11T23:34:08,860 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-11T23:34:08,861 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-11T23:34:09,103 0K .......... .......... .......... .......... .......... 2% 208K 8s 2023-09-11T23:34:09,220 50K .......... .......... .......... .......... .......... 5% 427K 6s 2023-09-11T23:34:09,230 100K .......... .......... .......... .......... .......... 8% 4.61M 4s 2023-09-11T23:34:09,341 150K .......... .......... .......... .......... .......... 11% 454K 4s 2023-09-11T23:34:09,349 200K .......... .......... .......... .......... .......... 14% 5.99M 3s 2023-09-11T23:34:09,356 250K .......... .......... .......... .......... .......... 17% 7.13M 2s 2023-09-11T23:34:09,363 300K .......... .......... .......... .......... .......... 19% 6.96M 2s 2023-09-11T23:34:09,371 350K .......... .......... .......... .......... .......... 22% 6.00M 2s 2023-09-11T23:34:09,466 400K .......... .......... .......... .......... .......... 25% 523K 2s 2023-09-11T23:34:09,473 450K .......... .......... .......... .......... .......... 28% 7.66M 2s 2023-09-11T23:34:09,478 500K .......... .......... .......... .......... .......... 31% 9.09M 1s 2023-09-11T23:34:09,484 550K .......... .......... .......... .......... .......... 34% 8.60M 1s 2023-09-11T23:34:09,489 600K .......... .......... .......... .......... .......... 37% 9.10M 1s 2023-09-11T23:34:09,492 650K .......... .......... .......... .......... .......... 39% 17.5M 1s 2023-09-11T23:34:09,495 700K .......... .......... .......... .......... .......... 42% 15.0M 1s 2023-09-11T23:34:09,498 750K .......... .......... .......... .......... .......... 45% 17.5M 1s 2023-09-11T23:34:09,585 800K .......... .......... .......... .......... .......... 48% 574K 1s 2023-09-11T23:34:09,588 850K .......... .......... .......... .......... .......... 51% 13.9M 1s 2023-09-11T23:34:09,591 900K .......... .......... .......... .......... .......... 54% 16.2M 1s 2023-09-11T23:34:09,595 950K .......... .......... .......... .......... .......... 57% 14.4M 1s 2023-09-11T23:34:09,598 1000K .......... .......... .......... .......... .......... 59% 16.7M 0s 2023-09-11T23:34:09,601 1050K .......... .......... .......... .......... .......... 62% 16.7M 0s 2023-09-11T23:34:09,604 1100K .......... .......... .......... .......... .......... 65% 13.7M 0s 2023-09-11T23:34:09,607 1150K .......... .......... .......... .......... .......... 68% 17.5M 0s 2023-09-11T23:34:09,610 1200K .......... .......... .......... .......... .......... 71% 14.6M 0s 2023-09-11T23:34:09,614 1250K .......... .......... .......... .......... .......... 74% 14.9M 0s 2023-09-11T23:34:09,617 1300K .......... .......... .......... .......... .......... 76% 14.6M 0s 2023-09-11T23:34:09,621 1350K .......... .......... .......... .......... .......... 79% 13.0M 0s 2023-09-11T23:34:09,624 1400K .......... .......... .......... .......... .......... 82% 15.5M 0s 2023-09-11T23:34:09,627 1450K .......... .......... .......... .......... .......... 85% 13.5M 0s 2023-09-11T23:34:09,631 1500K .......... .......... .......... .......... .......... 88% 15.4M 0s 2023-09-11T23:34:09,634 1550K .......... .......... .......... .......... .......... 91% 15.6M 0s 2023-09-11T23:34:09,835 1600K .......... .......... .......... .......... .......... 94% 248K 0s 2023-09-11T23:34:09,845 1650K .......... .......... .......... .......... .......... 96% 4.93M 0s 2023-09-11T23:34:09,850 1700K .......... .......... .......... .......... .......... 99% 10.5M 0s 2023-09-11T23:34:09,857 1750K ... 100% 6.82T=1.0s 2023-09-11T23:34:09,899 2023-09-11 23:34:09 (1.73 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-11T23:34:09,904 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-11T23:34:10,725 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-11T23:34:10,737 cd tmp/LADR-2009-11A && make all 2023-09-11T23:34:10,747 make[1]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A' 2023-09-11T23:34:10,747 cd ladr && make lib 2023-09-11T23:34:10,762 make[2]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:10,763 make libladr.a 2023-09-11T23:34:10,773 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:10,774 gcc -O -Wall -c -o order.o order.c 2023-09-11T23:34:10,928 gcc -O -Wall -c -o clock.o clock.c 2023-09-11T23:34:11,156 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-11T23:34:11,260 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-11T23:34:11,384 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-11T23:34:11,616 gcc -O -Wall -c -o memory.o memory.c 2023-09-11T23:34:11,827 gcc -O -Wall -c -o hash.o hash.c 2023-09-11T23:34:12,022 gcc -O -Wall -c -o string.o string.c 2023-09-11T23:34:12,270 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-11T23:34:12,564 gcc -O -Wall -c -o glist.o glist.c 2023-09-11T23:34:13,191 gcc -O -Wall -c -o options.o options.c 2023-09-11T23:34:13,726 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-11T23:34:13,838 symbols.c: In function ‘declare_base_symbols’: 2023-09-11T23:34:13,839 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:13,839 1304 | int sn; 2023-09-11T23:34:13,840 | ^~ 2023-09-11T23:34:14,723 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-11T23:34:15,463 gcc -O -Wall -c -o term.o term.c 2023-09-11T23:34:16,574 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-11T23:34:18,990 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-11T23:34:19,191 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-11T23:34:19,369 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-11T23:34:19,629 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-11T23:34:19,802 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-11T23:34:20,258 gcc -O -Wall -c -o parse.o parse.c 2023-09-11T23:34:21,045 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-11T23:34:21,235 gcc -O -Wall -c -o unify.o unify.c 2023-09-11T23:34:21,674 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-11T23:34:21,995 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-11T23:34:22,508 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-11T23:34:22,693 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-11T23:34:22,816 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-11T23:34:22,816 487 | Flat2 check_flat2(Flat2 f) 2023-09-11T23:34:22,817 | ^~~~~~~~~~~ 2023-09-11T23:34:23,066 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-11T23:34:23,245 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-11T23:34:23,246 146 | Flat check_flat(Flat f) 2023-09-11T23:34:23,247 | ^~~~~~~~~~ 2023-09-11T23:34:23,536 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-11T23:34:24,130 gcc -O -Wall -c -o btu.o btu.c 2023-09-11T23:34:24,777 gcc -O -Wall -c -o btm.o btm.c 2023-09-11T23:34:25,432 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-11T23:34:25,550 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-11T23:34:25,550 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:25,551 650 | Trail tr; 2023-09-11T23:34:25,551 | ^~ 2023-09-11T23:34:25,747 gcc -O -Wall -c -o basic.o basic.c 2023-09-11T23:34:25,972 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-11T23:34:27,461 gcc -O -Wall -c -o formula.o formula.c 2023-09-11T23:34:28,391 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-11T23:34:28,782 gcc -O -Wall -c -o literals.o literals.c 2023-09-11T23:34:29,493 gcc -O -Wall -c -o topform.o topform.c 2023-09-11T23:34:29,928 gcc -O -Wall -c -o clist.o clist.c 2023-09-11T23:34:30,392 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-11T23:34:30,621 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-11T23:34:30,860 gcc -O -Wall -c -o just.o just.c 2023-09-11T23:34:31,683 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-11T23:34:32,270 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-11T23:34:32,493 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-11T23:34:32,804 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-11T23:34:33,175 gcc -O -Wall -c -o compress.o compress.c 2023-09-11T23:34:33,360 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-11T23:34:33,582 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-11T23:34:33,770 gcc -O -Wall -c -o weight.o weight.c 2023-09-11T23:34:34,066 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-11T23:34:34,242 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-11T23:34:34,513 gcc -O -Wall -c -o features.o features.c 2023-09-11T23:34:34,719 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-11T23:34:35,006 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-11T23:34:35,327 gcc -O -Wall -c -o random.o random.c 2023-09-11T23:34:35,690 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-11T23:34:36,152 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-11T23:34:36,373 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-11T23:34:36,623 gcc -O -Wall -c -o complex.o complex.c 2023-09-11T23:34:36,736 complex.c: In function ‘complex4_p1’: 2023-09-11T23:34:36,737 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:36,737 275 | BOOL dummy; 2023-09-11T23:34:36,738 | ^~~~~ 2023-09-11T23:34:36,892 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-11T23:34:37,270 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-11T23:34:37,389 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-11T23:34:37,389 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-11T23:34:37,390 122 | if (status == BACKTRACK) { 2023-09-11T23:34:37,390 | ^~ 2023-09-11T23:34:37,391 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:37,392 158 | Discrim dd = NULL; 2023-09-11T23:34:37,392 | ^~ 2023-09-11T23:34:37,393 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-11T23:34:37,394 167 | if (status == GO) { 2023-09-11T23:34:37,394 | ^~ 2023-09-11T23:34:37,562 gcc -O -Wall -c -o demod.o demod.c 2023-09-11T23:34:37,688 demod.c: In function ‘demod1’: 2023-09-11T23:34:37,689 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:37,690 376 | Term result; 2023-09-11T23:34:37,691 | ^~~~~~ 2023-09-11T23:34:37,890 gcc -O -Wall -c -o clash.o clash.c 2023-09-11T23:34:38,011 clash.c: In function ‘clash_recurse’: 2023-09-11T23:34:38,012 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-11T23:34:38,012 283 | else if (!p->clashable | p->clashed) 2023-09-11T23:34:38,014 | ^~~~~~~~~~~~~ 2023-09-11T23:34:38,142 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-11T23:34:38,660 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-11T23:34:38,783 paramod.c: In function ‘para_into’: 2023-09-11T23:34:38,784 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-11T23:34:38,784 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-11T23:34:39,023 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-11T23:34:39,259 gcc -O -Wall -c -o hints.o hints.c 2023-09-11T23:34:39,509 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-11T23:34:39,856 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-11T23:34:40,268 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-11T23:34:40,401 ivy.c: In function ‘factor2_instances’: 2023-09-11T23:34:40,402 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:40,403 633 | Literals l1i, l2i, lit; 2023-09-11T23:34:40,403 | ^~~ 2023-09-11T23:34:40,765 gcc -O -Wall -c -o interp.o interp.c 2023-09-11T23:34:40,902 interp.c: In function ‘transpose_binary’: 2023-09-11T23:34:40,903 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:40,904 358 | int i, rc; 2023-09-11T23:34:40,904 | ^~ 2023-09-11T23:34:43,252 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-11T23:34:43,454 gcc -O -Wall -c -o banner.o banner.c 2023-09-11T23:34:43,640 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-11T23:34:44,609 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-11T23:34:45,628 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-11T23:34:46,275 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:34:46,282 ar: creating libladr.a 2023-09-11T23:34:46,596 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:46,597 make[2]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:46,598 cd mace4.src && make all 2023-09-11T23:34:46,609 make[2]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:46,610 cd ../ladr && make libladr.a 2023-09-11T23:34:46,638 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:46,639 make[3]: 'libladr.a' is up to date. 2023-09-11T23:34:46,640 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:46,640 make clean 2023-09-11T23:34:46,648 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:46,649 /bin/rm -f *.o 2023-09-11T23:34:46,657 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:46,658 make libmace4.a 2023-09-11T23:34:46,668 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:46,669 gcc -O -Wall -c -o estack.o estack.c 2023-09-11T23:34:46,854 gcc -O -Wall -c -o util.o util.c 2023-09-11T23:34:47,005 gcc -O -Wall -c -o print.o print.c 2023-09-11T23:34:47,420 gcc -O -Wall -c -o syms.o syms.c 2023-09-11T23:34:47,697 gcc -O -Wall -c -o ground.o ground.c 2023-09-11T23:34:48,163 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-11T23:34:48,590 gcc -O -Wall -c -o select.o select.c 2023-09-11T23:34:48,727 select.c: In function ‘select_concentric_band’: 2023-09-11T23:34:48,728 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:34:48,728 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-11T23:34:48,730 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-11T23:34:48,731 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:34:48,731 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:34:48,859 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-11T23:34:49,261 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-11T23:34:49,479 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-11T23:34:49,836 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-11T23:34:50,147 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-11T23:34:50,362 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-11T23:34:50,623 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-11T23:34:50,775 msearch.c: In function ‘next_domain_size’: 2023-09-11T23:34:50,776 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-11T23:34:50,777 850 | int next_domain_size(n) 2023-09-11T23:34:50,778 | ^~~~~~~~~~~~~~~~ 2023-09-11T23:34:51,062 msearch.c: In function ‘mace4’: 2023-09-11T23:34:51,063 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-11T23:34:51,063 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:34:51,064 | ^~ 2023-09-11T23:34:51,065 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-11T23:34:51,065 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:34:51,066 | ^~~~~~~~~~~~~~~~ 2023-09-11T23:34:51,067 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-11T23:34:51,067 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-11T23:34:51,068 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-11T23:34:51,246 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:34:51,252 ar: creating libmace4.a 2023-09-11T23:34:51,345 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,348 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-11T23:34:51,500 mace4.c: In function ‘init_attrs’: 2023-09-11T23:34:51,501 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:34:51,502 36 | int id; 2023-09-11T23:34:51,502 | ^~ 2023-09-11T23:34:51,589 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-11T23:34:51,751 /bin/mv mace4 ../bin 2023-09-11T23:34:51,759 make[2]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,759 cd provers.src && make all 2023-09-11T23:34:51,772 make[2]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:34:51,773 cd ../ladr && make libladr 2023-09-11T23:34:51,785 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:51,785 make libladr.a 2023-09-11T23:34:51,809 make[4]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:51,809 make[4]: 'libladr.a' is up to date. 2023-09-11T23:34:51,810 make[4]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:51,810 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:34:51,811 make clean 2023-09-11T23:34:51,819 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:34:51,819 /bin/rm -f *.o 2023-09-11T23:34:51,826 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:34:51,827 cd ../mace4.src && make libmace4 2023-09-11T23:34:51,838 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,838 make libmace4.a 2023-09-11T23:34:51,847 make[4]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,848 make[4]: 'libmace4.a' is up to date. 2023-09-11T23:34:51,848 make[4]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,849 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-11T23:34:51,850 make clean 2023-09-11T23:34:51,857 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:34:51,858 /bin/rm -f *.o 2023-09-11T23:34:51,865 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:34:51,866 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-11T23:34:52,054 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-11T23:34:52,259 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-11T23:34:52,478 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-11T23:34:52,756 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-11T23:34:54,665 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-11T23:34:54,955 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-11T23:34:55,183 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-11T23:34:55,597 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-11T23:34:55,820 gcc -O -Wall -c -o actions.o actions.c 2023-09-11T23:34:56,108 gcc -O -Wall -c -o search.o search.c 2023-09-11T23:34:57,801 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-11T23:34:58,425 gcc -O -Wall -c -o provers.o provers.c 2023-09-11T23:34:58,782 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-11T23:34:59,062 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:34:59,255 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-11T23:34:59,440 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:34:59,628 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-11T23:34:59,860 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:35:00,049 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-11T23:35:00,274 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:35:00,463 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-11T23:35:00,708 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:35:00,897 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-11T23:35:01,099 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:35:01,291 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-11T23:35:01,429 tptp_to_ladr.c: In function ‘main’: 2023-09-11T23:35:01,430 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:01,431 84 | int i; 2023-09-11T23:35:01,431 | ^ 2023-09-11T23:35:01,515 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:35:01,721 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-11T23:35:01,788 /bin/rm -f *.o 2023-09-11T23:35:01,805 make[2]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-11T23:35:01,806 cd apps.src && make all 2023-09-11T23:35:01,828 make[2]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-11T23:35:01,830 cd ../ladr && make libladr.a 2023-09-11T23:35:01,916 make[3]: Entering directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:35:01,916 make[3]: 'libladr.a' is up to date. 2023-09-11T23:35:01,917 make[3]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-11T23:35:01,918 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-11T23:35:02,156 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-11T23:35:02,317 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-11T23:35:02,705 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-11T23:35:02,895 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-11T23:35:03,034 clausefilter.c: In function ‘main’: 2023-09-11T23:35:03,035 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:03,036 109 | int i; 2023-09-11T23:35:03,037 | ^ 2023-09-11T23:35:03,148 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-11T23:35:03,340 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-11T23:35:03,556 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-11T23:35:03,701 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-11T23:35:03,837 renamer.c: In function ‘main’: 2023-09-11T23:35:03,838 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:03,839 54 | int i; 2023-09-11T23:35:03,840 | ^ 2023-09-11T23:35:03,885 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-11T23:35:04,032 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-11T23:35:04,201 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-11T23:35:04,346 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-11T23:35:04,552 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-11T23:35:04,700 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-11T23:35:04,934 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-11T23:35:05,654 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-11T23:35:06,739 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-11T23:35:06,902 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-11T23:35:07,158 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-11T23:35:07,312 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-11T23:35:07,584 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-11T23:35:07,737 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-11T23:35:07,948 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-11T23:35:08,100 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-11T23:35:08,273 interpfilter.c: In function ‘main’: 2023-09-11T23:35:08,275 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:08,276 66 | int i; 2023-09-11T23:35:08,276 | ^ 2023-09-11T23:35:08,342 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-11T23:35:08,491 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-11T23:35:08,750 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-11T23:35:08,902 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-11T23:35:09,104 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-11T23:35:09,252 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-11T23:35:09,524 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-11T23:35:09,671 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-11T23:35:09,811 prooftrans.c: In function ‘main’: 2023-09-11T23:35:09,813 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:09,814 225 | int label_attr, answer_attr, props_attr; 2023-09-11T23:35:09,815 | ^~~~~~~~~~ 2023-09-11T23:35:09,816 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:09,816 222 | int rc, n, number_of_proofs; 2023-09-11T23:35:09,817 | ^~ 2023-09-11T23:35:10,051 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-11T23:35:10,201 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-11T23:35:10,335 mirror-flip.c: In function ‘main’: 2023-09-11T23:35:10,336 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:10,337 129 | int i; 2023-09-11T23:35:10,338 | ^ 2023-09-11T23:35:10,412 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-11T23:35:10,560 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-11T23:35:10,698 perm3.c: In function ‘main’: 2023-09-11T23:35:10,699 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:10,701 120 | int i; 2023-09-11T23:35:10,701 | ^ 2023-09-11T23:35:10,791 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-11T23:35:10,940 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-11T23:35:11,075 sigtest.c: In function ‘main’: 2023-09-11T23:35:11,077 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:11,078 33 | int i; 2023-09-11T23:35:11,078 | ^ 2023-09-11T23:35:11,126 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-11T23:35:11,306 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-11T23:35:11,458 directproof.c: In function ‘main’: 2023-09-11T23:35:11,459 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:11,460 645 | int label_attr, answer_attr, props_attr; 2023-09-11T23:35:11,461 | ^~~~~~~~~~ 2023-09-11T23:35:11,461 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:11,462 645 | int label_attr, answer_attr, props_attr; 2023-09-11T23:35:11,463 | ^~~~~~~~~~ 2023-09-11T23:35:11,464 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:11,465 642 | int rc, n, number_of_proofs; 2023-09-11T23:35:11,465 | ^~ 2023-09-11T23:35:11,822 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-11T23:35:11,969 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-11T23:35:12,100 test_clause_eval.c: In function ‘main’: 2023-09-11T23:35:12,101 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:12,101 31 | int i; 2023-09-11T23:35:12,102 | ^ 2023-09-11T23:35:12,150 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-11T23:35:12,301 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-11T23:35:12,475 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-11T23:35:12,620 gcc -O -Wall -c -o complex.o complex.c 2023-09-11T23:35:12,767 complex.c: In function ‘complex4_p1’: 2023-09-11T23:35:12,768 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:12,769 79 | BOOL dummy; 2023-09-11T23:35:12,770 | ^~~~~ 2023-09-11T23:35:12,771 complex.c: In function ‘main’: 2023-09-11T23:35:12,772 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-11T23:35:12,773 126 | double d; 2023-09-11T23:35:12,773 | ^ 2023-09-11T23:35:12,860 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-11T23:35:13,004 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-11T23:35:13,325 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-11T23:35:13,708 /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:35:13,997 /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:35:14,055 make[2]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-11T23:35:14,119 /bin/cp -p utilities/* bin 2023-09-11T23:35:14,807 **** Now try 'make test1'. **** 2023-09-11T23:35:14,813 make[1]: Leaving directory '/tmp/pip-wheel-he0bkb7u/provers_4523dbde35f243fb8973d75012e1d0f6/provers/bin/tmp/LADR-2009-11A' 2023-09-11T23:35:14,814 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-11T23:35:16,274 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-11T23:35:16,313 rm -rf tmp 2023-09-11T23:35:16,561 creating build 2023-09-11T23:35:16,561 creating build/lib.linux-armv7l-cpython-311 2023-09-11T23:35:16,563 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:35:16,564 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:35:16,566 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-11T23:35:16,569 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:35:16,570 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:35:16,598 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-11T23:35:16,606 running build_ext 2023-09-11T23:35:16,654 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-11T23:35:16,655 !! 2023-09-11T23:35:16,655 ******************************************************************************** 2023-09-11T23:35:16,656 Please avoid running ``setup.py`` directly. 2023-09-11T23:35:16,656 Instead, use pypa/build, pypa/installer or other 2023-09-11T23:35:16,657 standards-based tools. 2023-09-11T23:35:16,658 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-11T23:35:16,659 ******************************************************************************** 2023-09-11T23:35:16,660 !! 2023-09-11T23:35:16,660 self.initialize_options() 2023-09-11T23:35:16,682 installing to build/bdist.linux-armv7l/wheel 2023-09-11T23:35:16,683 running install 2023-09-11T23:35:16,706 running install_lib 2023-09-11T23:35:16,734 creating build/bdist.linux-armv7l 2023-09-11T23:35:16,735 creating build/bdist.linux-armv7l/wheel 2023-09-11T23:35:16,736 creating build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:35:16,737 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:35:16,740 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:35:16,741 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:35:16,749 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-11T23:35:16,758 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-11T23:35:16,760 running install_egg_info 2023-09-11T23:35:16,834 running egg_info 2023-09-11T23:35:16,870 writing provers.egg-info/PKG-INFO 2023-09-11T23:35:16,874 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-11T23:35:16,877 writing entry points to provers.egg-info/entry_points.txt 2023-09-11T23:35:16,879 writing top-level names to provers.egg-info/top_level.txt 2023-09-11T23:35:18,123 listing git files failed - pretending there aren't any 2023-09-11T23:35:18,127 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-11T23:35:18,131 reading manifest template 'MANIFEST.in' 2023-09-11T23:35:18,133 adding license file 'LICENSE' 2023-09-11T23:35:18,136 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-11T23:35:18,139 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.4-py3.11.egg-info 2023-09-11T23:35:18,285 running install_scripts 2023-09-11T23:35:18,861 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.dist-info/WHEEL 2023-09-11T23:35:19,383 creating '/tmp/pip-wheel-hk1uambu/provers-0.1.4-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-11T23:35:19,388 adding 'provers/__init__.py' 2023-09-11T23:35:19,391 adding 'provers/util.py' 2023-09-11T23:35:19,543 adding 'provers/bin/mace4' 2023-09-11T23:35:19,652 adding 'provers/bin/prover9' 2023-09-11T23:35:19,666 adding 'provers-0.1.4.dist-info/LICENSE' 2023-09-11T23:35:19,668 adding 'provers-0.1.4.dist-info/METADATA' 2023-09-11T23:35:19,669 adding 'provers-0.1.4.dist-info/WHEEL' 2023-09-11T23:35:19,670 adding 'provers-0.1.4.dist-info/entry_points.txt' 2023-09-11T23:35:19,672 adding 'provers-0.1.4.dist-info/top_level.txt' 2023-09-11T23:35:19,672 adding 'provers-0.1.4.dist-info/RECORD' 2023-09-11T23:35:19,680 removing build/bdist.linux-armv7l/wheel 2023-09-11T23:35:19,801 Building wheel for provers (setup.py): finished with status 'done' 2023-09-11T23:35:19,810 Created wheel for provers: filename=provers-0.1.4-cp311-cp311-linux_armv7l.whl size=348866 sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d 2023-09-11T23:35:19,812 Stored in directory: /tmp/pip-ephem-wheel-cache-b44ufto5/wheels/a9/5d/6d/da1ffea6be9b010115f4a84fab4722d7b84d8ac4de744dbd05 2023-09-11T23:35:19,827 Successfully built provers 2023-09-11T23:35:19,847 Removed build tracker: '/tmp/pip-build-tracker-qk531awg'