2023-09-12T18:40:00,113 Created temporary directory: /tmp/pip-build-tracker-q8k2ni6i 2023-09-12T18:40:00,114 Initialized build tracking at /tmp/pip-build-tracker-q8k2ni6i 2023-09-12T18:40:00,114 Created build tracker: /tmp/pip-build-tracker-q8k2ni6i 2023-09-12T18:40:00,115 Entered build tracker: /tmp/pip-build-tracker-q8k2ni6i 2023-09-12T18:40:00,116 Created temporary directory: /tmp/pip-wheel-k2d8hvft 2023-09-12T18:40:00,118 Created temporary directory: /tmp/pip-ephem-wheel-cache-ijw33rfe 2023-09-12T18:40:00,140 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-12T18:40:00,143 2 location(s) to search for versions of provers: 2023-09-12T18:40:00,143 * https://pypi.org/simple/provers/ 2023-09-12T18:40:00,143 * https://www.piwheels.org/simple/provers/ 2023-09-12T18:40:00,144 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-12T18:40:00,145 Getting page https://pypi.org/simple/provers/ 2023-09-12T18:40:00,147 Found index url https://pypi.org/simple/ 2023-09-12T18:40:00,287 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-12T18:40:00,291 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-12T18:40:00,292 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-12T18:40:00,293 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-12T18:40:00,294 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-12T18:40:00,295 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-12T18:40:00,296 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-12T18:40:00,297 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-12T18:40:00,298 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-12T18:40:00,299 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-12T18:40:00,300 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-12T18:40:00,300 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-12T18:40:00,301 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-12T18:40:00,302 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-12T18:40:00,303 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-12T18:40:00,305 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-12T18:40:00,305 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-12T18:40:00,306 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-12T18:40:00,307 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-12T18:40:00,308 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-12T18:40:00,308 Getting page https://www.piwheels.org/simple/provers/ 2023-09-12T18:40:00,309 Found index url https://www.piwheels.org/simple/ 2023-09-12T18:40:00,575 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-12T18:40:00,591 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-12T18:40:00,592 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-12T18:40:00,593 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-12T18:40:00,593 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-12T18:40:00,594 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-12T18:40:00,595 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-12T18:40:00,596 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-12T18:40:00,596 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-12T18:40:00,597 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-12T18:40:00,598 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-12T18:40:00,599 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-12T18:40:00,600 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-12T18:40:00,601 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv7l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,601 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp311-cp311-linux_armv6l.whl#sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,602 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-12T18:40:00,603 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-12T18:40:00,604 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-12T18:40:00,604 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-12T18:40:00,605 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-12T18:40:00,606 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-12T18:40:00,607 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv7l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,608 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp311-cp311-linux_armv6l.whl#sha256=9980f7a8a05388fb55151f42811121545dc27a5363b0e4f5575705e978e8d1d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,609 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-12T18:40:00,611 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-12T18:40:00,612 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-12T18:40:00,613 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-12T18:40:00,613 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-12T18:40:00,614 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-12T18:40:00,614 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv7l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,615 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp311-cp311-linux_armv6l.whl#sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,616 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-12T18:40:00,616 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-12T18:40:00,617 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-12T18:40:00,617 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-12T18:40:00,618 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-12T18:40:00,619 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-12T18:40:00,620 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,620 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,620 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-12T18:40:00,621 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-12T18:40:00,621 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-12T18:40:00,622 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-12T18:40:00,622 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-12T18:40:00,623 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-12T18:40:00,623 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,624 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T18:40:00,625 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-12T18:40:00,625 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-12T18:40:00,626 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-12T18:40:00,626 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-12T18:40:00,627 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-12T18:40:00,627 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-12T18:40:00,628 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-12T18:40:00,628 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-12T18:40:00,629 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-12T18:40:00,629 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-12T18:40:00,630 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-12T18:40:00,631 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-12T18:40:00,651 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-12T18:40:00,669 Collecting provers==0.1.17 2023-09-12T18:40:00,672 Created temporary directory: /tmp/pip-unpack-7kl0rj6m 2023-09-12T18:40:00,899 Downloading provers-0.1.17.tar.gz (22 kB) 2023-09-12T18:40:00,953 Added provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz to build tracker '/tmp/pip-build-tracker-q8k2ni6i' 2023-09-12T18:40:00,955 Running setup.py (path:/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/setup.py) egg_info for package provers 2023-09-12T18:40:00,956 Created temporary directory: /tmp/pip-pip-egg-info-uh3aopea 2023-09-12T18:40:00,957 Preparing metadata (setup.py): started 2023-09-12T18:40:00,959 Running command python setup.py egg_info 2023-09-12T18:40:01,643 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:84: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T18:40:01,643 !! 2023-09-12T18:40:01,644 ******************************************************************************** 2023-09-12T18:40:01,645 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T18:40:01,646 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T18:40:01,646 ******************************************************************************** 2023-09-12T18:40:01,648 !! 2023-09-12T18:40:01,648 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T18:40:06,635 running egg_info 2023-09-12T18:40:06,636 creating /tmp/pip-pip-egg-info-uh3aopea/provers.egg-info 2023-09-12T18:40:06,659 writing /tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/PKG-INFO 2023-09-12T18:40:06,661 writing dependency_links to /tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/dependency_links.txt 2023-09-12T18:40:06,662 writing entry points to /tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/entry_points.txt 2023-09-12T18:40:06,663 writing top-level names to /tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/top_level.txt 2023-09-12T18:40:06,665 writing manifest file '/tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/SOURCES.txt' 2023-09-12T18:40:06,804 listing git files failed - pretending there aren't any 2023-09-12T18:40:06,810 reading manifest file '/tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/SOURCES.txt' 2023-09-12T18:40:06,811 reading manifest template 'MANIFEST.in' 2023-09-12T18:40:06,812 warning: no previously-included files found matching 'provers/bin/*' 2023-09-12T18:40:06,813 adding license file 'LICENSE' 2023-09-12T18:40:06,815 writing manifest file '/tmp/pip-pip-egg-info-uh3aopea/provers.egg-info/SOURCES.txt' 2023-09-12T18:40:06,908 Preparing metadata (setup.py): finished with status 'done' 2023-09-12T18:40:06,911 Source in /tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79 has version 0.1.17, which satisfies requirement provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz 2023-09-12T18:40:06,912 Removed provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz from build tracker '/tmp/pip-build-tracker-q8k2ni6i' 2023-09-12T18:40:06,917 Created temporary directory: /tmp/pip-unpack-rqkl396j 2023-09-12T18:40:06,918 Created temporary directory: /tmp/pip-unpack-c7_4k4im 2023-09-12T18:40:06,920 Building wheels for collected packages: provers 2023-09-12T18:40:06,924 Created temporary directory: /tmp/pip-wheel-mcyid045 2023-09-12T18:40:06,925 Building wheel for provers (setup.py): started 2023-09-12T18:40:06,926 Destination directory: /tmp/pip-wheel-mcyid045 2023-09-12T18:40:06,927 Running command python setup.py bdist_wheel 2023-09-12T18:40:07,565 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:84: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T18:40:07,565 !! 2023-09-12T18:40:07,566 ******************************************************************************** 2023-09-12T18:40:07,567 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T18:40:07,567 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T18:40:07,568 ******************************************************************************** 2023-09-12T18:40:07,569 !! 2023-09-12T18:40:07,569 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T18:40:08,067 running bdist_wheel 2023-09-12T18:40:08,164 running build 2023-09-12T18:40:08,165 running build_py 2023-09-12T18:40:08,173 mkdir tmp || true 2023-09-12T18:40:08,181 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T18:40:08,214 --2023-09-12 18:40:08-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T18:40:08,516 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-12T18:40:08,639 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-12T18:40:09,063 HTTP request sent, awaiting response... 200 OK 2023-09-12T18:40:09,065 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-12T18:40:09,066 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-12T18:40:09,312 0K .......... .......... .......... .......... .......... 2% 204K 8s 2023-09-12T18:40:09,429 50K .......... .......... .......... .......... .......... 5% 427K 6s 2023-09-12T18:40:09,440 100K .......... .......... .......... .......... .......... 8% 4.53M 4s 2023-09-12T18:40:09,553 150K .......... .......... .......... .......... .......... 11% 443K 4s 2023-09-12T18:40:09,561 200K .......... .......... .......... .......... .......... 14% 6.03M 3s 2023-09-12T18:40:09,568 250K .......... .......... .......... .......... .......... 17% 7.00M 2s 2023-09-12T18:40:09,575 300K .......... .......... .......... .......... .......... 19% 7.02M 2s 2023-09-12T18:40:09,583 350K .......... .......... .......... .......... .......... 22% 6.07M 2s 2023-09-12T18:40:09,682 400K .......... .......... .......... .......... .......... 25% 505K 2s 2023-09-12T18:40:09,689 450K .......... .......... .......... .......... .......... 28% 6.84M 2s 2023-09-12T18:40:09,695 500K .......... .......... .......... .......... .......... 31% 7.81M 1s 2023-09-12T18:40:09,701 550K .......... .......... .......... .......... .......... 34% 8.02M 1s 2023-09-12T18:40:09,705 600K .......... .......... .......... .......... .......... 37% 10.8M 1s 2023-09-12T18:40:09,708 650K .......... .......... .......... .......... .......... 39% 15.6M 1s 2023-09-12T18:40:09,712 700K .......... .......... .......... .......... .......... 42% 13.1M 1s 2023-09-12T18:40:09,715 750K .......... .......... .......... .......... .......... 45% 15.5M 1s 2023-09-12T18:40:09,802 800K .......... .......... .......... .......... .......... 48% 575K 1s 2023-09-12T18:40:09,806 850K .......... .......... .......... .......... .......... 51% 13.9M 1s 2023-09-12T18:40:09,809 900K .......... .......... .......... .......... .......... 54% 16.5M 1s 2023-09-12T18:40:09,812 950K .......... .......... .......... .......... .......... 57% 14.2M 1s 2023-09-12T18:40:09,815 1000K .......... .......... .......... .......... .......... 59% 17.2M 1s 2023-09-12T18:40:09,818 1050K .......... .......... .......... .......... .......... 62% 16.3M 0s 2023-09-12T18:40:09,821 1100K .......... .......... .......... .......... .......... 65% 13.8M 0s 2023-09-12T18:40:09,824 1150K .......... .......... .......... .......... .......... 68% 16.9M 0s 2023-09-12T18:40:09,828 1200K .......... .......... .......... .......... .......... 71% 15.1M 0s 2023-09-12T18:40:09,830 1250K .......... .......... .......... .......... .......... 74% 17.4M 0s 2023-09-12T18:40:09,833 1300K .......... .......... .......... .......... .......... 76% 17.3M 0s 2023-09-12T18:40:09,836 1350K .......... .......... .......... .......... .......... 79% 15.1M 0s 2023-09-12T18:40:09,839 1400K .......... .......... .......... .......... .......... 82% 17.5M 0s 2023-09-12T18:40:09,843 1450K .......... .......... .......... .......... .......... 85% 14.9M 0s 2023-09-12T18:40:09,845 1500K .......... .......... .......... .......... .......... 88% 17.6M 0s 2023-09-12T18:40:09,848 1550K .......... .......... .......... .......... .......... 91% 17.4M 0s 2023-09-12T18:40:09,851 1600K .......... .......... .......... .......... .......... 94% 15.0M 0s 2023-09-12T18:40:09,927 1650K .......... .......... .......... .......... .......... 96% 663K 0s 2023-09-12T18:40:09,930 1700K .......... .......... .......... .......... .......... 99% 17.1M 0s 2023-09-12T18:40:09,931 1750K ... 100% 6.82T=0.9s 2023-09-12T18:40:09,963 2023-09-12 18:40:09 (1.98 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-12T18:40:09,967 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-12T18:40:10,788 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-12T18:40:10,800 cd tmp/LADR-2009-11A && make all 2023-09-12T18:40:10,815 make[1]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A' 2023-09-12T18:40:10,816 cd ladr && make lib 2023-09-12T18:40:10,837 make[2]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:10,838 make libladr.a 2023-09-12T18:40:10,856 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:10,856 gcc -O -Wall -c -o order.o order.c 2023-09-12T18:40:11,025 gcc -O -Wall -c -o clock.o clock.c 2023-09-12T18:40:11,253 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-12T18:40:11,357 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-12T18:40:11,482 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-12T18:40:11,675 gcc -O -Wall -c -o memory.o memory.c 2023-09-12T18:40:11,885 gcc -O -Wall -c -o hash.o hash.c 2023-09-12T18:40:12,079 gcc -O -Wall -c -o string.o string.c 2023-09-12T18:40:12,317 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-12T18:40:12,623 gcc -O -Wall -c -o glist.o glist.c 2023-09-12T18:40:13,249 gcc -O -Wall -c -o options.o options.c 2023-09-12T18:40:13,780 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-12T18:40:13,890 symbols.c: In function ‘declare_base_symbols’: 2023-09-12T18:40:13,891 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:13,891 1304 | int sn; 2023-09-12T18:40:13,892 | ^~ 2023-09-12T18:40:14,778 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-12T18:40:15,152 gcc -O -Wall -c -o term.o term.c 2023-09-12T18:40:16,009 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-12T18:40:16,199 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-12T18:40:16,391 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-12T18:40:16,556 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-12T18:40:16,844 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-12T18:40:17,013 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-12T18:40:17,474 gcc -O -Wall -c -o parse.o parse.c 2023-09-12T18:40:18,261 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-12T18:40:18,451 gcc -O -Wall -c -o unify.o unify.c 2023-09-12T18:40:18,896 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-12T18:40:19,213 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-12T18:40:19,720 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-12T18:40:19,904 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-12T18:40:20,024 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-12T18:40:20,025 487 | Flat2 check_flat2(Flat2 f) 2023-09-12T18:40:20,026 | ^~~~~~~~~~~ 2023-09-12T18:40:20,269 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-12T18:40:20,396 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-12T18:40:20,396 146 | Flat check_flat(Flat f) 2023-09-12T18:40:20,397 | ^~~~~~~~~~ 2023-09-12T18:40:20,686 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-12T18:40:21,287 gcc -O -Wall -c -o btu.o btu.c 2023-09-12T18:40:21,936 gcc -O -Wall -c -o btm.o btm.c 2023-09-12T18:40:22,598 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-12T18:40:22,714 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-12T18:40:22,715 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:22,716 650 | Trail tr; 2023-09-12T18:40:22,716 | ^~ 2023-09-12T18:40:22,912 gcc -O -Wall -c -o basic.o basic.c 2023-09-12T18:40:23,135 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-12T18:40:23,610 gcc -O -Wall -c -o formula.o formula.c 2023-09-12T18:40:24,471 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-12T18:40:24,742 gcc -O -Wall -c -o literals.o literals.c 2023-09-12T18:40:25,184 gcc -O -Wall -c -o topform.o topform.c 2023-09-12T18:40:25,583 gcc -O -Wall -c -o clist.o clist.c 2023-09-12T18:40:26,019 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-12T18:40:26,227 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-12T18:40:26,453 gcc -O -Wall -c -o just.o just.c 2023-09-12T18:40:27,273 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-12T18:40:27,859 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-12T18:40:28,079 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-12T18:40:28,422 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-12T18:40:28,796 gcc -O -Wall -c -o compress.o compress.c 2023-09-12T18:40:28,981 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-12T18:40:29,202 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-12T18:40:29,392 gcc -O -Wall -c -o weight.o weight.c 2023-09-12T18:40:29,683 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-12T18:40:29,852 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-12T18:40:30,132 gcc -O -Wall -c -o features.o features.c 2023-09-12T18:40:30,337 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-12T18:40:30,625 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-12T18:40:30,869 gcc -O -Wall -c -o random.o random.c 2023-09-12T18:40:31,128 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-12T18:40:31,578 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-12T18:40:31,787 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-12T18:40:32,034 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T18:40:32,145 complex.c: In function ‘complex4_p1’: 2023-09-12T18:40:32,146 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:32,146 275 | BOOL dummy; 2023-09-12T18:40:32,147 | ^~~~~ 2023-09-12T18:40:32,301 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-12T18:40:32,677 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-12T18:40:32,796 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-12T18:40:32,797 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T18:40:32,797 122 | if (status == BACKTRACK) { 2023-09-12T18:40:32,798 | ^~ 2023-09-12T18:40:32,799 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:32,799 158 | Discrim dd = NULL; 2023-09-12T18:40:32,800 | ^~ 2023-09-12T18:40:32,801 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T18:40:32,801 167 | if (status == GO) { 2023-09-12T18:40:32,802 | ^~ 2023-09-12T18:40:32,959 gcc -O -Wall -c -o demod.o demod.c 2023-09-12T18:40:33,084 demod.c: In function ‘demod1’: 2023-09-12T18:40:33,084 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:33,085 376 | Term result; 2023-09-12T18:40:33,086 | ^~~~~~ 2023-09-12T18:40:33,285 gcc -O -Wall -c -o clash.o clash.c 2023-09-12T18:40:33,406 clash.c: In function ‘clash_recurse’: 2023-09-12T18:40:33,407 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T18:40:33,407 283 | else if (!p->clashable | p->clashed) 2023-09-12T18:40:33,409 | ^~~~~~~~~~~~~ 2023-09-12T18:40:33,536 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-12T18:40:34,054 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-12T18:40:34,180 paramod.c: In function ‘para_into’: 2023-09-12T18:40:34,180 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T18:40:34,181 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-12T18:40:34,434 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-12T18:40:34,689 gcc -O -Wall -c -o hints.o hints.c 2023-09-12T18:40:34,938 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-12T18:40:35,280 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-12T18:40:35,658 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-12T18:40:35,790 ivy.c: In function ‘factor2_instances’: 2023-09-12T18:40:35,791 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:35,792 633 | Literals l1i, l2i, lit; 2023-09-12T18:40:35,792 | ^~~ 2023-09-12T18:40:36,185 gcc -O -Wall -c -o interp.o interp.c 2023-09-12T18:40:36,320 interp.c: In function ‘transpose_binary’: 2023-09-12T18:40:36,321 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:36,322 358 | int i, rc; 2023-09-12T18:40:36,322 | ^~ 2023-09-12T18:40:38,010 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-12T18:40:38,155 gcc -O -Wall -c -o banner.o banner.c 2023-09-12T18:40:38,318 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-12T18:40:38,752 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-12T18:40:39,205 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-12T18:40:39,840 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-12T18:40:39,845 ar: creating libladr.a 2023-09-12T18:40:40,096 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:40,098 make[2]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:40,098 cd mace4.src && make all 2023-09-12T18:40:40,110 make[2]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:40,111 cd ../ladr && make libladr.a 2023-09-12T18:40:40,138 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:40,139 make[3]: 'libladr.a' is up to date. 2023-09-12T18:40:40,140 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:40,140 make clean 2023-09-12T18:40:40,148 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:40,149 /bin/rm -f *.o 2023-09-12T18:40:40,156 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:40,157 make libmace4.a 2023-09-12T18:40:40,166 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:40,167 gcc -O -Wall -c -o estack.o estack.c 2023-09-12T18:40:40,347 gcc -O -Wall -c -o util.o util.c 2023-09-12T18:40:40,496 gcc -O -Wall -c -o print.o print.c 2023-09-12T18:40:40,903 gcc -O -Wall -c -o syms.o syms.c 2023-09-12T18:40:41,143 gcc -O -Wall -c -o ground.o ground.c 2023-09-12T18:40:41,575 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-12T18:40:42,010 gcc -O -Wall -c -o select.o select.c 2023-09-12T18:40:42,151 select.c: In function ‘select_concentric_band’: 2023-09-12T18:40:42,152 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T18:40:42,153 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-12T18:40:42,154 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T18:40:42,155 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T18:40:42,155 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T18:40:42,283 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-12T18:40:42,686 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-12T18:40:42,909 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-12T18:40:43,288 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-12T18:40:43,606 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-12T18:40:43,821 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-12T18:40:44,108 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-12T18:40:44,263 msearch.c: In function ‘next_domain_size’: 2023-09-12T18:40:44,263 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T18:40:44,264 850 | int next_domain_size(n) 2023-09-12T18:40:44,264 | ^~~~~~~~~~~~~~~~ 2023-09-12T18:40:44,549 msearch.c: In function ‘mace4’: 2023-09-12T18:40:44,550 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-12T18:40:44,551 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T18:40:44,551 | ^~ 2023-09-12T18:40:44,552 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-12T18:40:44,552 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T18:40:44,553 | ^~~~~~~~~~~~~~~~ 2023-09-12T18:40:44,553 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-12T18:40:44,554 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T18:40:44,554 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T18:40:44,733 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-12T18:40:44,738 ar: creating libmace4.a 2023-09-12T18:40:44,837 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:44,841 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-12T18:40:44,991 mace4.c: In function ‘init_attrs’: 2023-09-12T18:40:44,992 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:44,992 36 | int id; 2023-09-12T18:40:44,993 | ^~ 2023-09-12T18:40:45,080 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-12T18:40:45,242 /bin/mv mace4 ../bin 2023-09-12T18:40:45,249 make[2]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:45,250 cd provers.src && make all 2023-09-12T18:40:45,264 make[2]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:45,264 cd ../ladr && make libladr 2023-09-12T18:40:45,275 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:45,276 make libladr.a 2023-09-12T18:40:45,298 make[4]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:45,299 make[4]: 'libladr.a' is up to date. 2023-09-12T18:40:45,299 make[4]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:45,300 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:45,301 make clean 2023-09-12T18:40:45,308 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:45,309 /bin/rm -f *.o 2023-09-12T18:40:45,316 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:45,317 cd ../mace4.src && make libmace4 2023-09-12T18:40:45,330 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:45,331 make libmace4.a 2023-09-12T18:40:45,342 make[4]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:45,342 make[4]: 'libmace4.a' is up to date. 2023-09-12T18:40:45,343 make[4]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:45,344 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T18:40:45,344 make clean 2023-09-12T18:40:45,355 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:45,356 /bin/rm -f *.o 2023-09-12T18:40:45,365 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:45,367 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-12T18:40:45,558 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-12T18:40:45,763 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-12T18:40:45,945 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-12T18:40:46,159 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-12T18:40:46,445 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-12T18:40:46,738 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-12T18:40:46,965 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-12T18:40:47,412 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-12T18:40:47,635 gcc -O -Wall -c -o actions.o actions.c 2023-09-12T18:40:47,930 gcc -O -Wall -c -o search.o search.c 2023-09-12T18:40:49,615 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-12T18:40:50,172 gcc -O -Wall -c -o provers.o provers.c 2023-09-12T18:40:50,464 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-12T18:40:50,722 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-12T18:40:50,936 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-12T18:40:51,124 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-12T18:40:51,313 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-12T18:40:51,529 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-12T18:40:51,746 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-12T18:40:51,971 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-12T18:40:52,160 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-12T18:40:52,407 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-12T18:40:52,595 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-12T18:40:52,796 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-12T18:40:52,986 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-12T18:40:53,117 tptp_to_ladr.c: In function ‘main’: 2023-09-12T18:40:53,119 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:53,120 84 | int i; 2023-09-12T18:40:53,120 | ^ 2023-09-12T18:40:53,234 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-12T18:40:53,426 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-12T18:40:53,498 /bin/rm -f *.o 2023-09-12T18:40:53,509 make[2]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T18:40:53,510 cd apps.src && make all 2023-09-12T18:40:53,522 make[2]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T18:40:53,522 cd ../ladr && make libladr.a 2023-09-12T18:40:53,566 make[3]: Entering directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:53,566 make[3]: 'libladr.a' is up to date. 2023-09-12T18:40:53,567 make[3]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T18:40:53,568 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-12T18:40:53,799 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-12T18:40:53,946 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-12T18:40:54,336 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-12T18:40:54,483 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-12T18:40:54,624 clausefilter.c: In function ‘main’: 2023-09-12T18:40:54,625 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:54,625 109 | int i; 2023-09-12T18:40:54,627 | ^ 2023-09-12T18:40:54,724 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-12T18:40:54,898 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-12T18:40:55,111 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-12T18:40:55,253 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-12T18:40:55,383 renamer.c: In function ‘main’: 2023-09-12T18:40:55,384 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:55,386 54 | int i; 2023-09-12T18:40:55,386 | ^ 2023-09-12T18:40:55,428 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-12T18:40:55,577 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-12T18:40:55,770 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-12T18:40:55,915 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-12T18:40:56,118 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-12T18:40:56,265 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-12T18:40:56,465 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-12T18:40:56,609 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-12T18:40:56,831 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-12T18:40:56,976 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-12T18:40:57,235 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-12T18:40:57,380 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-12T18:40:57,609 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-12T18:40:57,755 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-12T18:40:57,963 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-12T18:40:58,114 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-12T18:40:58,248 interpfilter.c: In function ‘main’: 2023-09-12T18:40:58,249 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:58,250 66 | int i; 2023-09-12T18:40:58,251 | ^ 2023-09-12T18:40:58,316 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-12T18:40:58,461 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-12T18:40:58,711 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-12T18:40:58,881 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-12T18:40:59,056 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-12T18:40:59,199 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-12T18:40:59,472 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-12T18:40:59,620 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-12T18:40:59,762 prooftrans.c: In function ‘main’: 2023-09-12T18:40:59,763 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:59,764 225 | int label_attr, answer_attr, props_attr; 2023-09-12T18:40:59,765 | ^~~~~~~~~~ 2023-09-12T18:40:59,765 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:40:59,766 222 | int rc, n, number_of_proofs; 2023-09-12T18:40:59,766 | ^~ 2023-09-12T18:40:59,999 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-12T18:41:00,145 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-12T18:41:00,278 mirror-flip.c: In function ‘main’: 2023-09-12T18:41:00,279 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:00,280 129 | int i; 2023-09-12T18:41:00,281 | ^ 2023-09-12T18:41:00,355 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-12T18:41:00,507 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-12T18:41:00,643 perm3.c: In function ‘main’: 2023-09-12T18:41:00,644 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:00,645 120 | int i; 2023-09-12T18:41:00,646 | ^ 2023-09-12T18:41:00,736 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-12T18:41:00,880 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-12T18:41:01,042 sigtest.c: In function ‘main’: 2023-09-12T18:41:01,044 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:01,045 33 | int i; 2023-09-12T18:41:01,045 | ^ 2023-09-12T18:41:01,092 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-12T18:41:01,240 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-12T18:41:01,391 directproof.c: In function ‘main’: 2023-09-12T18:41:01,392 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:01,392 645 | int label_attr, answer_attr, props_attr; 2023-09-12T18:41:01,393 | ^~~~~~~~~~ 2023-09-12T18:41:01,394 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:01,395 645 | int label_attr, answer_attr, props_attr; 2023-09-12T18:41:01,396 | ^~~~~~~~~~ 2023-09-12T18:41:01,396 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:01,397 642 | int rc, n, number_of_proofs; 2023-09-12T18:41:01,398 | ^~ 2023-09-12T18:41:01,754 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-12T18:41:01,906 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-12T18:41:02,038 test_clause_eval.c: In function ‘main’: 2023-09-12T18:41:02,039 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:02,040 31 | int i; 2023-09-12T18:41:02,041 | ^ 2023-09-12T18:41:02,088 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-12T18:41:02,235 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-12T18:41:02,410 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-12T18:41:02,598 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T18:41:02,730 complex.c: In function ‘complex4_p1’: 2023-09-12T18:41:02,730 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:02,731 79 | BOOL dummy; 2023-09-12T18:41:02,732 | ^~~~~ 2023-09-12T18:41:02,733 complex.c: In function ‘main’: 2023-09-12T18:41:02,734 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-12T18:41:02,734 126 | double d; 2023-09-12T18:41:02,735 | ^ 2023-09-12T18:41:02,810 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-12T18:41:02,968 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-12T18:41:03,322 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-12T18:41:03,511 /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-12T18:41:03,528 /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-12T18:41:03,545 make[2]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T18:41:03,546 /bin/cp -p utilities/* bin 2023-09-12T18:41:03,572 **** Now try 'make test1'. **** 2023-09-12T18:41:03,575 make[1]: Leaving directory '/tmp/pip-wheel-k2d8hvft/provers_9eb3f0e8789c473ba918e02a6c830a79/provers/bin/tmp/LADR-2009-11A' 2023-09-12T18:41:03,576 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-12T18:41:03,591 cp tmp/LADR-2009-11A/bin/interpformat . 2023-09-12T18:41:03,610 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-12T18:41:03,629 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-12T18:41:03,643 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-12T18:41:03,657 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-12T18:41:03,672 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-12T18:41:03,686 rm -rf tmp 2023-09-12T18:41:03,869 creating build 2023-09-12T18:41:03,870 creating build/lib.linux-armv7l-cpython-311 2023-09-12T18:41:03,871 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,872 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,874 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,876 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,878 copying provers/fol.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,880 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T18:41:03,884 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,884 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,892 copying provers/bin/interpformat -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,899 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,905 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,914 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,923 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,931 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T18:41:03,947 running build_ext 2023-09-12T18:41:03,974 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-12T18:41:03,974 !! 2023-09-12T18:41:03,975 ******************************************************************************** 2023-09-12T18:41:03,976 Please avoid running ``setup.py`` directly. 2023-09-12T18:41:03,976 Instead, use pypa/build, pypa/installer or other 2023-09-12T18:41:03,976 standards-based tools. 2023-09-12T18:41:03,977 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-12T18:41:03,977 ******************************************************************************** 2023-09-12T18:41:03,978 !! 2023-09-12T18:41:03,979 self.initialize_options() 2023-09-12T18:41:04,002 installing to build/bdist.linux-armv7l/wheel 2023-09-12T18:41:04,003 running install 2023-09-12T18:41:04,027 running install_lib 2023-09-12T18:41:04,054 creating build/bdist.linux-armv7l 2023-09-12T18:41:04,055 creating build/bdist.linux-armv7l/wheel 2023-09-12T18:41:04,057 creating build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,059 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,062 copying build/lib.linux-armv7l-cpython-311/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,065 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,067 copying build/lib.linux-armv7l-cpython-311/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,070 copying build/lib.linux-armv7l-cpython-311/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T18:41:04,074 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,076 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,089 copying build/lib.linux-armv7l-cpython-311/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,099 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,110 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,121 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,132 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,146 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T18:41:04,155 running install_egg_info 2023-09-12T18:41:04,201 running egg_info 2023-09-12T18:41:04,223 writing provers.egg-info/PKG-INFO 2023-09-12T18:41:04,225 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-12T18:41:04,226 writing entry points to provers.egg-info/entry_points.txt 2023-09-12T18:41:04,227 writing top-level names to provers.egg-info/top_level.txt 2023-09-12T18:41:04,303 listing git files failed - pretending there aren't any 2023-09-12T18:41:04,306 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T18:41:04,308 reading manifest template 'MANIFEST.in' 2023-09-12T18:41:04,309 adding license file 'LICENSE' 2023-09-12T18:41:04,311 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T18:41:04,313 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.17-py3.11.egg-info 2023-09-12T18:41:04,321 running install_scripts 2023-09-12T18:41:04,379 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.dist-info/WHEEL 2023-09-12T18:41:04,381 creating '/tmp/pip-wheel-mcyid045/provers-0.1.17-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-12T18:41:04,383 adding 'provers/__init__.py' 2023-09-12T18:41:04,385 adding 'provers/eprover.py' 2023-09-12T18:41:04,386 adding 'provers/fol.py' 2023-09-12T18:41:04,389 adding 'provers/prover9.py' 2023-09-12T18:41:04,390 adding 'provers/util.py' 2023-09-12T18:41:04,469 adding 'provers/bin/interpformat' 2023-09-12T18:41:04,549 adding 'provers/bin/isofilter' 2023-09-12T18:41:04,658 adding 'provers/bin/ladr_to_tptp' 2023-09-12T18:41:04,752 adding 'provers/bin/mace4' 2023-09-12T18:41:04,825 adding 'provers/bin/prooftrans' 2023-09-12T18:41:04,932 adding 'provers/bin/prover9' 2023-09-12T18:41:05,042 adding 'provers/bin/tptp_to_ladr' 2023-09-12T18:41:05,052 adding 'provers-0.1.17.dist-info/LICENSE' 2023-09-12T18:41:05,053 adding 'provers-0.1.17.dist-info/METADATA' 2023-09-12T18:41:05,054 adding 'provers-0.1.17.dist-info/WHEEL' 2023-09-12T18:41:05,055 adding 'provers-0.1.17.dist-info/entry_points.txt' 2023-09-12T18:41:05,056 adding 'provers-0.1.17.dist-info/top_level.txt' 2023-09-12T18:41:05,057 adding 'provers-0.1.17.dist-info/RECORD' 2023-09-12T18:41:05,069 removing build/bdist.linux-armv7l/wheel 2023-09-12T18:41:05,175 Building wheel for provers (setup.py): finished with status 'done' 2023-09-12T18:41:05,191 Created wheel for provers: filename=provers-0.1.17-cp311-cp311-linux_armv7l.whl size=1111963 sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 2023-09-12T18:41:05,192 Stored in directory: /tmp/pip-ephem-wheel-cache-ijw33rfe/wheels/dd/5e/d1/46cb531fb6eab8b0d1ed127d4b853d8081c0b780ac6e8d14e0 2023-09-12T18:41:05,203 Successfully built provers 2023-09-12T18:41:05,246 Removed build tracker: '/tmp/pip-build-tracker-q8k2ni6i'