2021-07-19T20:14:27,711 Created temporary directory: /tmp/pip-ephem-wheel-cache-b3abu9b7 2021-07-19T20:14:27,714 Created temporary directory: /tmp/pip-req-tracker-p161e59c 2021-07-19T20:14:27,714 Initialized build tracking at /tmp/pip-req-tracker-p161e59c 2021-07-19T20:14:27,715 Created build tracker: /tmp/pip-req-tracker-p161e59c 2021-07-19T20:14:27,715 Entered build tracker: /tmp/pip-req-tracker-p161e59c 2021-07-19T20:14:27,716 Created temporary directory: /tmp/pip-wheel-gyc5zlvl 2021-07-19T20:14:27,742 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2021-07-19T20:14:27,745 2 location(s) to search for versions of provers: 2021-07-19T20:14:27,745 * https://pypi.org/simple/provers/ 2021-07-19T20:14:27,745 * https://www.piwheels.org/simple/provers/ 2021-07-19T20:14:27,746 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-19T20:14:27,746 Getting page https://pypi.org/simple/provers/ 2021-07-19T20:14:27,747 Found index url https://pypi.org/simple 2021-07-19T20:14:27,935 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz#sha256=5c364393f3307a69967f9b674535b9970a4f3e971f9be6e70d6719919c874201 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2021-07-19T20:14:27,936 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz#sha256=8e363ff54aad4188f10b7d5c1815a88a00522af206f3033a514e3d7d3a5d1510 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2021-07-19T20:14:27,936 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz#sha256=32dee5d680e6bd6450fac8a50fdc673088594ccf98c74693a7713b35ab9eba28 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2021-07-19T20:14:27,937 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2021-07-19T20:14:27,938 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2021-07-19T20:14:27,938 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz#sha256=2a97cb3a56fb9b58f676e8a40449b731237d3d6db6816e2221149cdf348f1b64 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2021-07-19T20:14:27,939 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz#sha256=4617929a75c520e3faae9f17c0eeb709c707810a7b8b45d1a7ad7184cdaef969 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2021-07-19T20:14:27,939 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz#sha256=3519a75cf648dcdb030b94bdf5333bbcbaa3b93f18b7e2e5ebf3ec1e87d0b8c4 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2021-07-19T20:14:27,940 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz#sha256=4eaba71a1c4d64d2bbd46638346f25ace92d9bae2b8077b0ea2011e5a9be5651 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2021-07-19T20:14:27,940 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz#sha256=b758dc230e5cac9b2d2b77de55c13bb14b40261c91313428f06764980b862b7e (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2021-07-19T20:14:27,941 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz#sha256=73a578ffd8c23b0a10653abd21eb108700a2f0d6fad03cc5bd52bff86a8261ed (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2021-07-19T20:14:27,942 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz#sha256=b59ceb0b1c13dd36b43929c475bd652214d323491529662d96c4995994953535 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2021-07-19T20:14:27,942 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2021-07-19T20:14:27,943 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2021-07-19T20:14:27,943 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2021-07-19T20:14:27,944 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2021-07-19T20:14:27,944 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2021-07-19T20:14:27,945 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2021-07-19T20:14:27,945 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2021-07-19T20:14:27,946 Getting page https://www.piwheels.org/simple/provers/ 2021-07-19T20:14:27,947 Found index url https://www.piwheels.org/simple 2021-07-19T20:14:28,107 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) 2021-07-19T20:14:28,110 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) 2021-07-19T20:14:28,110 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) 2021-07-19T20:14:28,110 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) 2021-07-19T20:14:28,111 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) 2021-07-19T20:14:28,111 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) 2021-07-19T20:14:28,111 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) 2021-07-19T20:14:28,111 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) 2021-07-19T20:14:28,111 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) 2021-07-19T20:14:28,112 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) 2021-07-19T20:14:28,112 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) 2021-07-19T20:14:28,112 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) 2021-07-19T20:14:28,112 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) 2021-07-19T20:14:28,112 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) 2021-07-19T20:14:28,113 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) 2021-07-19T20:14:28,113 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) 2021-07-19T20:14:28,113 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) 2021-07-19T20:14:28,113 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) 2021-07-19T20:14:28,113 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) 2021-07-19T20:14:28,114 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) 2021-07-19T20:14:28,114 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) 2021-07-19T20:14:28,114 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) 2021-07-19T20:14:28,114 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) 2021-07-19T20:14:28,114 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) 2021-07-19T20:14:28,115 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) 2021-07-19T20:14:28,115 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) 2021-07-19T20:14:28,115 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) 2021-07-19T20:14:28,115 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) 2021-07-19T20:14:28,115 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) 2021-07-19T20:14:28,116 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) 2021-07-19T20:14:28,116 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) 2021-07-19T20:14:28,116 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) 2021-07-19T20:14:28,116 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) 2021-07-19T20:14:28,116 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) 2021-07-19T20:14:28,117 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) 2021-07-19T20:14:28,117 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) 2021-07-19T20:14:28,117 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) 2021-07-19T20:14:28,117 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) 2021-07-19T20:14:28,117 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) 2021-07-19T20:14:28,118 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) 2021-07-19T20:14:28,118 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) 2021-07-19T20:14:28,118 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) 2021-07-19T20:14:28,118 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) 2021-07-19T20:14:28,118 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) 2021-07-19T20:14:28,119 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2021-07-19T20:14:28,119 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-19T20:14:28,139 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-19T20:14:28,157 Collecting provers==0.1.18 2021-07-19T20:14:28,159 Created temporary directory: /tmp/pip-unpack-bl2lwdvv 2021-07-19T20:14:28,340 Downloading provers-0.1.18.tar.gz (23 kB) 2021-07-19T20:14:28,406 Added provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b to build tracker '/tmp/pip-req-tracker-p161e59c' 2021-07-19T20:14:28,407 Running setup.py (path:/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/setup.py) egg_info for package provers 2021-07-19T20:14:28,408 Created temporary directory: /tmp/pip-pip-egg-info-a5aslisy 2021-07-19T20:14:28,408 Running command python setup.py egg_info 2021-07-19T20:14:32,733 running egg_info 2021-07-19T20:14:32,736 creating /tmp/pip-pip-egg-info-a5aslisy/provers.egg-info 2021-07-19T20:14:32,737 writing /tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/PKG-INFO 2021-07-19T20:14:32,739 writing dependency_links to /tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/dependency_links.txt 2021-07-19T20:14:32,740 writing entry points to /tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/entry_points.txt 2021-07-19T20:14:32,742 writing top-level names to /tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/top_level.txt 2021-07-19T20:14:32,743 writing manifest file '/tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/SOURCES.txt' 2021-07-19T20:14:32,981 reading manifest file '/tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/SOURCES.txt' 2021-07-19T20:14:32,983 reading manifest template 'MANIFEST.in' 2021-07-19T20:14:32,986 warning: no previously-included files found matching 'provers/bin/*' 2021-07-19T20:14:32,987 adding license file 'LICENSE' 2021-07-19T20:14:32,990 writing manifest file '/tmp/pip-pip-egg-info-a5aslisy/provers.egg-info/SOURCES.txt' 2021-07-19T20:14:33,081 Source in /tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e has version 0.1.18, which satisfies requirement provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b 2021-07-19T20:14:33,083 Removed provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b from build tracker '/tmp/pip-req-tracker-p161e59c' 2021-07-19T20:14:33,088 Created temporary directory: /tmp/pip-unpack-505lv5wf 2021-07-19T20:14:33,089 Building wheels for collected packages: provers 2021-07-19T20:14:33,093 Created temporary directory: /tmp/pip-wheel-xmy6p40j 2021-07-19T20:14:33,094 Building wheel for provers (setup.py): started 2021-07-19T20:14:33,094 Destination directory: /tmp/pip-wheel-xmy6p40j 2021-07-19T20:14:33,094 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-xmy6p40j 2021-07-19T20:14:34,807 running bdist_wheel 2021-07-19T20:14:34,984 running build 2021-07-19T20:14:34,985 running build_py 2021-07-19T20:14:34,998 mkdir tmp || true 2021-07-19T20:14:35,008 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-19T20:14:35,128 --2021-07-19 20:14:35-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-19T20:14:35,478 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-19T20:14:35,612 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-19T20:14:36,164 HTTP request sent, awaiting response... 200 OK 2021-07-19T20:14:36,164 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-19T20:14:36,165 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-19T20:14:36,435 0K .......... .......... .......... .......... .......... 2% 185K 9s 2021-07-19T20:14:36,568 50K .......... .......... .......... .......... .......... 5% 378K 7s 2021-07-19T20:14:36,577 100K .......... .......... .......... .......... .......... 8% 5.41M 4s 2021-07-19T20:14:36,705 150K .......... .......... .......... .......... .......... 11% 393K 4s 2021-07-19T20:14:36,714 200K .......... .......... .......... .......... .......... 14% 4.97M 3s 2021-07-19T20:14:36,722 250K .......... .......... .......... .......... .......... 17% 5.90M 3s 2021-07-19T20:14:36,726 300K .......... .......... .......... .......... .......... 19% 11.8M 2s 2021-07-19T20:14:36,840 350K .......... .......... .......... .......... .......... 22% 448K 2s 2021-07-19T20:14:36,849 400K .......... .......... .......... .......... .......... 25% 4.36M 2s 2021-07-19T20:14:36,858 450K .......... .......... .......... .......... .......... 28% 5.48M 2s 2021-07-19T20:14:36,864 500K .......... .......... .......... .......... .......... 31% 8.40M 2s 2021-07-19T20:14:36,866 550K .......... .......... .......... .......... .......... 34% 16.0M 1s 2021-07-19T20:14:36,868 600K .......... .......... .......... .......... .......... 37% 26.2M 1s 2021-07-19T20:14:36,870 650K .......... .......... .......... .......... .......... 39% 27.4M 1s 2021-07-19T20:14:36,972 700K .......... .......... .......... .......... .......... 42% 490K 1s 2021-07-19T20:14:36,978 750K .......... .......... .......... .......... .......... 45% 10.7M 1s 2021-07-19T20:14:36,982 800K .......... .......... .......... .......... .......... 48% 8.43M 1s 2021-07-19T20:14:36,987 850K .......... .......... .......... .......... .......... 51% 10.5M 1s 2021-07-19T20:14:36,992 900K .......... .......... .......... .......... .......... 54% 11.0M 1s 2021-07-19T20:14:36,995 950K .......... .......... .......... .......... .......... 57% 16.0M 1s 2021-07-19T20:14:36,996 1000K .......... .......... .......... .......... .......... 59% 26.1M 1s 2021-07-19T20:14:36,998 1050K .......... .......... .......... .......... .......... 62% 27.2M 0s 2021-07-19T20:14:37,000 1100K .......... .......... .......... .......... .......... 65% 27.4M 0s 2021-07-19T20:14:37,002 1150K .......... .......... .......... .......... .......... 68% 27.3M 0s 2021-07-19T20:14:37,004 1200K .......... .......... .......... .......... .......... 71% 21.4M 0s 2021-07-19T20:14:37,006 1250K .......... .......... .......... .......... .......... 74% 27.2M 0s 2021-07-19T20:14:37,008 1300K .......... .......... .......... .......... .......... 76% 27.4M 0s 2021-07-19T20:14:37,009 1350K .......... .......... .......... .......... .......... 79% 27.3M 0s 2021-07-19T20:14:37,011 1400K .......... .......... .......... .......... .......... 82% 26.4M 0s 2021-07-19T20:14:37,106 1450K .......... .......... .......... .......... .......... 85% 526K 0s 2021-07-19T20:14:37,111 1500K .......... .......... .......... .......... .......... 88% 10.6M 0s 2021-07-19T20:14:37,117 1550K .......... .......... .......... .......... .......... 91% 11.1M 0s 2021-07-19T20:14:37,119 1600K .......... .......... .......... .......... .......... 94% 11.6M 0s 2021-07-19T20:14:37,122 1650K .......... .......... .......... .......... .......... 96% 18.4M 0s 2021-07-19T20:14:37,125 1700K .......... .......... .......... .......... .......... 99% 20.4M 0s 2021-07-19T20:14:37,125 1750K ... 100% 25.1M=1.0s 2021-07-19T20:14:37,165 2021-07-19 20:14:37 (1.78 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-19T20:14:37,167 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-19T20:14:38,228 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-19T20:14:38,243 cd tmp/LADR-2009-11A && make all 2021-07-19T20:14:38,258 make[1]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A' 2021-07-19T20:14:38,258 cd ladr && make lib 2021-07-19T20:14:38,281 make[2]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:14:38,281 make libladr.a 2021-07-19T20:14:38,296 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:14:38,296 gcc -O -Wall -c -o order.o order.c 2021-07-19T20:14:38,471 gcc -O -Wall -c -o clock.o clock.c 2021-07-19T20:14:38,707 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-19T20:14:38,829 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-19T20:14:38,972 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-19T20:14:39,166 gcc -O -Wall -c -o memory.o memory.c 2021-07-19T20:14:39,376 gcc -O -Wall -c -o hash.o hash.c 2021-07-19T20:14:39,573 gcc -O -Wall -c -o string.o string.c 2021-07-19T20:14:39,813 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-19T20:14:40,076 gcc -O -Wall -c -o glist.o glist.c 2021-07-19T20:14:40,631 gcc -O -Wall -c -o options.o options.c 2021-07-19T20:14:41,101 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-19T20:14:41,220 symbols.c: In function ‘declare_base_symbols’: 2021-07-19T20:14:41,220 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:14:41,220 1304 | int sn; 2021-07-19T20:14:41,221 | ^~ 2021-07-19T20:14:41,966 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-19T20:14:42,307 gcc -O -Wall -c -o term.o term.c 2021-07-19T20:14:43,037 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-19T20:14:43,229 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-19T20:14:43,423 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-19T20:14:43,601 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-19T20:14:43,850 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-19T20:14:44,025 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-19T20:14:44,442 gcc -O -Wall -c -o parse.o parse.c 2021-07-19T20:14:45,149 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-19T20:14:45,343 gcc -O -Wall -c -o unify.o unify.c 2021-07-19T20:14:45,738 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-19T20:14:46,040 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-19T20:14:46,510 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-19T20:14:46,700 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-19T20:14:46,827 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-19T20:14:46,827 487 | Flat2 check_flat2(Flat2 f) 2021-07-19T20:14:46,827 | ^~~~~~~~~~~ 2021-07-19T20:14:47,042 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-19T20:14:47,168 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-19T20:14:47,169 146 | Flat check_flat(Flat f) 2021-07-19T20:14:47,169 | ^~~~~~~~~~ 2021-07-19T20:14:47,426 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-19T20:14:47,920 gcc -O -Wall -c -o btu.o btu.c 2021-07-19T20:14:48,503 gcc -O -Wall -c -o btm.o btm.c 2021-07-19T20:14:49,106 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-19T20:14:49,226 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-19T20:14:49,227 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:14:49,227 650 | Trail tr; 2021-07-19T20:14:49,227 | ^~ 2021-07-19T20:14:49,409 gcc -O -Wall -c -o basic.o basic.c 2021-07-19T20:14:49,630 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-19T20:14:50,037 gcc -O -Wall -c -o formula.o formula.c 2021-07-19T20:14:50,785 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-19T20:14:51,057 gcc -O -Wall -c -o literals.o literals.c 2021-07-19T20:14:51,458 gcc -O -Wall -c -o topform.o topform.c 2021-07-19T20:14:51,827 gcc -O -Wall -c -o clist.o clist.c 2021-07-19T20:14:52,225 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-19T20:14:52,441 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-19T20:14:52,673 gcc -O -Wall -c -o just.o just.c 2021-07-19T20:14:53,429 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-19T20:14:53,957 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-19T20:14:54,182 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-19T20:14:54,479 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-19T20:14:54,834 gcc -O -Wall -c -o compress.o compress.c 2021-07-19T20:14:55,032 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-19T20:14:55,252 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-19T20:14:55,449 gcc -O -Wall -c -o weight.o weight.c 2021-07-19T20:14:55,730 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-19T20:14:55,910 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-19T20:14:56,158 gcc -O -Wall -c -o features.o features.c 2021-07-19T20:14:56,366 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-19T20:14:56,638 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-19T20:14:56,854 gcc -O -Wall -c -o random.o random.c 2021-07-19T20:14:57,114 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-19T20:14:57,505 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-19T20:14:57,716 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-19T20:14:57,955 gcc -O -Wall -c -o complex.o complex.c 2021-07-19T20:14:58,071 complex.c: In function ‘complex4_p1’: 2021-07-19T20:14:58,072 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:14:58,072 275 | BOOL dummy; 2021-07-19T20:14:58,072 | ^~~~~ 2021-07-19T20:14:58,211 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-19T20:14:58,563 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-19T20:14:58,684 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-19T20:14:58,685 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-19T20:14:58,685 122 | if (status == BACKTRACK) { 2021-07-19T20:14:58,686 | ^~ 2021-07-19T20:14:58,686 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:14:58,686 158 | Discrim dd = NULL; 2021-07-19T20:14:58,686 | ^~ 2021-07-19T20:14:58,687 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-19T20:14:58,687 167 | if (status == GO) { 2021-07-19T20:14:58,687 | ^~ 2021-07-19T20:14:58,836 gcc -O -Wall -c -o demod.o demod.c 2021-07-19T20:14:58,958 demod.c: In function ‘demod1’: 2021-07-19T20:14:58,959 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:14:58,959 376 | Term result; 2021-07-19T20:14:58,959 | ^~~~~~ 2021-07-19T20:14:59,147 gcc -O -Wall -c -o clash.o clash.c 2021-07-19T20:14:59,268 clash.c: In function ‘clash_recurse’: 2021-07-19T20:14:59,268 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-19T20:14:59,268 283 | else if (!p->clashable | p->clashed) 2021-07-19T20:14:59,268 | ^~~~~~~~~~~~~ 2021-07-19T20:14:59,392 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-19T20:14:59,886 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-19T20:15:00,007 paramod.c: In function ‘para_into’: 2021-07-19T20:15:00,007 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-19T20:15:00,008 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-19T20:15:00,226 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-19T20:15:00,458 gcc -O -Wall -c -o hints.o hints.c 2021-07-19T20:15:00,703 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-19T20:15:01,027 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-19T20:15:01,400 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-19T20:15:01,541 ivy.c: In function ‘factor2_instances’: 2021-07-19T20:15:01,542 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:01,542 633 | Literals l1i, l2i, lit; 2021-07-19T20:15:01,542 | ^~~ 2021-07-19T20:15:01,901 gcc -O -Wall -c -o interp.o interp.c 2021-07-19T20:15:02,040 interp.c: In function ‘transpose_binary’: 2021-07-19T20:15:02,041 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:02,041 358 | int i, rc; 2021-07-19T20:15:02,041 | ^~ 2021-07-19T20:15:03,468 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-19T20:15:03,628 gcc -O -Wall -c -o banner.o banner.c 2021-07-19T20:15:03,812 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-19T20:15:04,211 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-19T20:15:04,635 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-19T20:15:05,185 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 2021-07-19T20:15:05,191 ar: creating libladr.a 2021-07-19T20:15:05,336 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:05,337 make[2]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:05,338 cd mace4.src && make all 2021-07-19T20:15:05,353 make[2]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:05,353 cd ../ladr && make libladr.a 2021-07-19T20:15:05,393 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:05,394 make[3]: 'libladr.a' is up to date. 2021-07-19T20:15:05,394 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:05,394 make clean 2021-07-19T20:15:05,403 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:05,403 /bin/rm -f *.o 2021-07-19T20:15:05,412 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:05,413 make libmace4.a 2021-07-19T20:15:05,424 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:05,425 gcc -O -Wall -c -o estack.o estack.c 2021-07-19T20:15:05,610 gcc -O -Wall -c -o util.o util.c 2021-07-19T20:15:05,775 gcc -O -Wall -c -o print.o print.c 2021-07-19T20:15:06,159 gcc -O -Wall -c -o syms.o syms.c 2021-07-19T20:15:06,400 gcc -O -Wall -c -o ground.o ground.c 2021-07-19T20:15:06,796 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-19T20:15:07,190 gcc -O -Wall -c -o select.o select.c 2021-07-19T20:15:07,331 select.c: In function ‘select_concentric_band’: 2021-07-19T20:15:07,332 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-19T20:15:07,332 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-19T20:15:07,332 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-19T20:15:07,332 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-19T20:15:07,332 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-19T20:15:07,458 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-19T20:15:07,839 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-19T20:15:08,065 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-19T20:15:08,410 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-19T20:15:08,716 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-19T20:15:08,940 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-19T20:15:09,208 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-19T20:15:09,360 msearch.c: In function ‘next_domain_size’: 2021-07-19T20:15:09,361 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-19T20:15:09,361 850 | int next_domain_size(n) 2021-07-19T20:15:09,361 | ^~~~~~~~~~~~~~~~ 2021-07-19T20:15:09,782 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 2021-07-19T20:15:09,787 ar: creating libmace4.a 2021-07-19T20:15:09,818 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:09,821 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-19T20:15:09,982 mace4.c: In function ‘init_attrs’: 2021-07-19T20:15:09,983 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:09,984 36 | int id; 2021-07-19T20:15:09,984 | ^~ 2021-07-19T20:15:10,076 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-19T20:15:10,290 /bin/mv mace4 ../bin 2021-07-19T20:15:10,299 make[2]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:10,300 cd provers.src && make all 2021-07-19T20:15:10,317 make[2]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:10,318 cd ../ladr && make libladr 2021-07-19T20:15:10,335 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:10,336 make libladr.a 2021-07-19T20:15:10,368 make[4]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:10,368 make[4]: 'libladr.a' is up to date. 2021-07-19T20:15:10,368 make[4]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:10,369 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:10,370 make clean 2021-07-19T20:15:10,378 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:10,378 /bin/rm -f *.o 2021-07-19T20:15:10,386 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:10,387 cd ../mace4.src && make libmace4 2021-07-19T20:15:10,403 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:10,403 make libmace4.a 2021-07-19T20:15:10,416 make[4]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:10,416 make[4]: 'libmace4.a' is up to date. 2021-07-19T20:15:10,416 make[4]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:10,417 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-19T20:15:10,418 make clean 2021-07-19T20:15:10,427 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:10,428 /bin/rm -f *.o 2021-07-19T20:15:10,437 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:10,439 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-19T20:15:10,644 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-19T20:15:10,856 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-19T20:15:11,044 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-19T20:15:11,255 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-19T20:15:11,506 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-19T20:15:11,788 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-19T20:15:12,016 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-19T20:15:12,401 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-19T20:15:12,629 gcc -O -Wall -c -o actions.o actions.c 2021-07-19T20:15:12,911 gcc -O -Wall -c -o search.o search.c 2021-07-19T20:15:14,428 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-19T20:15:14,909 gcc -O -Wall -c -o provers.o provers.c 2021-07-19T20:15:15,208 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-19T20:15:15,475 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 2021-07-19T20:15:15,725 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-19T20:15:15,922 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 2021-07-19T20:15:16,450 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-19T20:15:16,682 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 2021-07-19T20:15:16,925 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-19T20:15:17,157 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 2021-07-19T20:15:17,406 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-19T20:15:17,656 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 2021-07-19T20:15:17,903 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-19T20:15:18,120 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 2021-07-19T20:15:18,365 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-19T20:15:18,499 tptp_to_ladr.c: In function ‘main’: 2021-07-19T20:15:18,500 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:18,500 84 | int i; 2021-07-19T20:15:18,501 | ^ 2021-07-19T20:15:18,588 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 2021-07-19T20:15:18,829 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-19T20:15:18,931 /bin/rm -f *.o 2021-07-19T20:15:18,946 make[2]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-19T20:15:18,947 cd apps.src && make all 2021-07-19T20:15:18,962 make[2]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-19T20:15:18,963 cd ../ladr && make libladr.a 2021-07-19T20:15:19,023 make[3]: Entering directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:19,023 make[3]: 'libladr.a' is up to date. 2021-07-19T20:15:19,023 make[3]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-19T20:15:19,026 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-19T20:15:19,257 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-19T20:15:19,437 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-19T20:15:19,786 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-19T20:15:19,970 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-19T20:15:20,103 clausefilter.c: In function ‘main’: 2021-07-19T20:15:20,103 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:20,103 109 | int i; 2021-07-19T20:15:20,103 | ^ 2021-07-19T20:15:20,204 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-19T20:15:20,394 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-19T20:15:20,616 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-19T20:15:20,799 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-19T20:15:20,924 renamer.c: In function ‘main’: 2021-07-19T20:15:20,924 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:20,925 54 | int i; 2021-07-19T20:15:20,925 | ^ 2021-07-19T20:15:20,982 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-19T20:15:21,163 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-19T20:15:21,342 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-19T20:15:21,525 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-19T20:15:21,738 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-19T20:15:21,926 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-19T20:15:22,140 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-19T20:15:22,326 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-19T20:15:22,553 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-19T20:15:22,739 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-19T20:15:22,973 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-19T20:15:23,158 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-19T20:15:23,391 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-19T20:15:23,577 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-19T20:15:23,772 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-19T20:15:23,959 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-19T20:15:24,097 interpfilter.c: In function ‘main’: 2021-07-19T20:15:24,097 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:24,097 66 | int i; 2021-07-19T20:15:24,098 | ^ 2021-07-19T20:15:24,174 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-19T20:15:24,363 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-19T20:15:24,606 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-19T20:15:24,788 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-19T20:15:24,974 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-19T20:15:25,161 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-19T20:15:25,428 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-19T20:15:25,614 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-19T20:15:25,756 prooftrans.c: In function ‘main’: 2021-07-19T20:15:25,756 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:25,757 225 | int label_attr, answer_attr, props_attr; 2021-07-19T20:15:25,758 | ^~~~~~~~~~ 2021-07-19T20:15:25,758 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:25,758 222 | int rc, n, number_of_proofs; 2021-07-19T20:15:25,758 | ^~ 2021-07-19T20:15:25,978 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-19T20:15:26,169 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-19T20:15:26,302 mirror-flip.c: In function ‘main’: 2021-07-19T20:15:26,302 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:26,303 129 | int i; 2021-07-19T20:15:26,303 | ^ 2021-07-19T20:15:26,386 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-19T20:15:26,571 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-19T20:15:26,711 perm3.c: In function ‘main’: 2021-07-19T20:15:26,712 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:26,712 120 | int i; 2021-07-19T20:15:26,712 | ^ 2021-07-19T20:15:26,811 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-19T20:15:26,997 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-19T20:15:27,140 sigtest.c: In function ‘main’: 2021-07-19T20:15:27,140 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:27,140 33 | int i; 2021-07-19T20:15:27,141 | ^ 2021-07-19T20:15:27,202 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-19T20:15:27,385 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-19T20:15:27,535 directproof.c: In function ‘main’: 2021-07-19T20:15:27,536 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:27,536 645 | int label_attr, answer_attr, props_attr; 2021-07-19T20:15:27,536 | ^~~~~~~~~~ 2021-07-19T20:15:27,536 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:27,536 645 | int label_attr, answer_attr, props_attr; 2021-07-19T20:15:27,536 | ^~~~~~~~~~ 2021-07-19T20:15:27,537 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:27,538 642 | int rc, n, number_of_proofs; 2021-07-19T20:15:27,538 | ^~ 2021-07-19T20:15:27,865 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-19T20:15:28,055 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-19T20:15:28,184 test_clause_eval.c: In function ‘main’: 2021-07-19T20:15:28,185 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:28,185 31 | int i; 2021-07-19T20:15:28,185 | ^ 2021-07-19T20:15:28,248 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-19T20:15:28,445 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-19T20:15:28,640 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-19T20:15:28,825 gcc -O -Wall -c -o complex.o complex.c 2021-07-19T20:15:28,960 complex.c: In function ‘complex4_p1’: 2021-07-19T20:15:28,960 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:28,960 79 | BOOL dummy; 2021-07-19T20:15:28,961 | ^~~~~ 2021-07-19T20:15:28,961 complex.c: In function ‘main’: 2021-07-19T20:15:28,961 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-19T20:15:28,962 126 | double d; 2021-07-19T20:15:28,962 | ^ 2021-07-19T20:15:29,038 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-19T20:15:29,223 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-19T20:15:29,543 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-19T20:15:29,729 /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 2021-07-19T20:15:29,751 /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 2021-07-19T20:15:29,773 make[2]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-19T20:15:29,773 /bin/cp -p utilities/* bin 2021-07-19T20:15:29,812 **** Now try 'make test1'. **** 2021-07-19T20:15:29,818 make[1]: Leaving directory '/tmp/pip-wheel-gyc5zlvl/provers_a6b4899d502049569250f6ed3914627e/provers/bin/tmp/LADR-2009-11A' 2021-07-19T20:15:29,818 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-19T20:15:29,845 cp tmp/LADR-2009-11A/bin/interpformat . 2021-07-19T20:15:29,866 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-19T20:15:29,890 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-19T20:15:29,909 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-19T20:15:29,932 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-19T20:15:29,957 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-19T20:15:29,979 rm -rf tmp 2021-07-19T20:15:30,233 creating build 2021-07-19T20:15:30,234 creating build/lib 2021-07-19T20:15:30,235 creating build/lib/provers 2021-07-19T20:15:30,236 copying provers/util.py -> build/lib/provers 2021-07-19T20:15:30,240 copying provers/eprover.py -> build/lib/provers 2021-07-19T20:15:30,242 copying provers/fol.py -> build/lib/provers 2021-07-19T20:15:30,245 copying provers/prover9.py -> build/lib/provers 2021-07-19T20:15:30,248 copying provers/__init__.py -> build/lib/provers 2021-07-19T20:15:30,252 creating build/lib/provers/bin 2021-07-19T20:15:30,253 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-19T20:15:30,265 copying provers/bin/interpformat -> build/lib/provers/bin 2021-07-19T20:15:30,275 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-19T20:15:30,287 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-19T20:15:30,300 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-19T20:15:30,314 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-19T20:15:30,326 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-19T20:15:30,340 running build_ext 2021-07-19T20:15:30,349 installing to build/bdist.linux-armv7l/wheel 2021-07-19T20:15:30,349 running install 2021-07-19T20:15:30,350 running install_lib 2021-07-19T20:15:30,354 creating build/bdist.linux-armv7l 2021-07-19T20:15:30,355 creating build/bdist.linux-armv7l/wheel 2021-07-19T20:15:30,355 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.data 2021-07-19T20:15:30,356 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib 2021-07-19T20:15:30,358 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,359 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,361 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,362 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,380 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,391 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,405 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,420 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,429 copying build/lib/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,439 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers/bin 2021-07-19T20:15:30,449 copying build/lib/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,452 copying build/lib/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,454 copying build/lib/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,457 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers 2021-07-19T20:15:30,458 running install_egg_info 2021-07-19T20:15:30,473 running egg_info 2021-07-19T20:15:30,474 writing provers.egg-info/PKG-INFO 2021-07-19T20:15:30,476 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-19T20:15:30,478 writing entry points to provers.egg-info/entry_points.txt 2021-07-19T20:15:30,480 writing top-level names to provers.egg-info/top_level.txt 2021-07-19T20:15:30,514 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-19T20:15:30,516 reading manifest template 'MANIFEST.in' 2021-07-19T20:15:30,519 adding license file 'LICENSE' 2021-07-19T20:15:30,522 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-19T20:15:30,523 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.18.data/purelib/provers-0.1.18-py3.9.egg-info 2021-07-19T20:15:30,534 running install_scripts 2021-07-19T20:15:30,609 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-19T20:15:30,615 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.dist-info/WHEEL 2021-07-19T20:15:30,618 creating '/tmp/pip-wheel-xmy6p40j/provers-0.1.18-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-19T20:15:30,621 adding 'provers-0.1.18.data/purelib/provers/__init__.py' 2021-07-19T20:15:30,623 adding 'provers-0.1.18.data/purelib/provers/eprover.py' 2021-07-19T20:15:30,624 adding 'provers-0.1.18.data/purelib/provers/fol.py' 2021-07-19T20:15:30,627 adding 'provers-0.1.18.data/purelib/provers/prover9.py' 2021-07-19T20:15:30,629 adding 'provers-0.1.18.data/purelib/provers/util.py' 2021-07-19T20:15:30,712 adding 'provers-0.1.18.data/purelib/provers/bin/interpformat' 2021-07-19T20:15:30,793 adding 'provers-0.1.18.data/purelib/provers/bin/isofilter' 2021-07-19T20:15:30,903 adding 'provers-0.1.18.data/purelib/provers/bin/ladr_to_tptp' 2021-07-19T20:15:30,997 adding 'provers-0.1.18.data/purelib/provers/bin/mace4' 2021-07-19T20:15:31,071 adding 'provers-0.1.18.data/purelib/provers/bin/prooftrans' 2021-07-19T20:15:31,178 adding 'provers-0.1.18.data/purelib/provers/bin/prover9' 2021-07-19T20:15:31,289 adding 'provers-0.1.18.data/purelib/provers/bin/tptp_to_ladr' 2021-07-19T20:15:31,300 adding 'provers-0.1.18.dist-info/LICENSE' 2021-07-19T20:15:31,302 adding 'provers-0.1.18.dist-info/METADATA' 2021-07-19T20:15:31,303 adding 'provers-0.1.18.dist-info/WHEEL' 2021-07-19T20:15:31,304 adding 'provers-0.1.18.dist-info/entry_points.txt' 2021-07-19T20:15:31,304 adding 'provers-0.1.18.dist-info/top_level.txt' 2021-07-19T20:15:31,305 adding 'provers-0.1.18.dist-info/RECORD' 2021-07-19T20:15:31,328 removing build/bdist.linux-armv7l/wheel 2021-07-19T20:15:31,430 Building wheel for provers (setup.py): finished with status 'done' 2021-07-19T20:15:31,446 Created wheel for provers: filename=provers-0.1.18-cp39-cp39-linux_armv7l.whl size=1108734 sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 2021-07-19T20:15:31,446 Stored in directory: /tmp/pip-ephem-wheel-cache-b3abu9b7/wheels/1e/2f/a2/21f678559fe2c2b9c62556fad7917ed0b8bd30ed9d32b44a79 2021-07-19T20:15:31,458 Successfully built provers 2021-07-19T20:15:31,503 Removed build tracker: '/tmp/pip-req-tracker-p161e59c'