2023-09-13T01:10:04,574 Created temporary directory: /tmp/pip-build-tracker-mdoorx0j 2023-09-13T01:10:04,575 Initialized build tracking at /tmp/pip-build-tracker-mdoorx0j 2023-09-13T01:10:04,576 Created build tracker: /tmp/pip-build-tracker-mdoorx0j 2023-09-13T01:10:04,576 Entered build tracker: /tmp/pip-build-tracker-mdoorx0j 2023-09-13T01:10:04,577 Created temporary directory: /tmp/pip-wheel-xps3d8th 2023-09-13T01:10:04,580 Created temporary directory: /tmp/pip-ephem-wheel-cache-s_flqyqu 2023-09-13T01:10:04,603 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-13T01:10:04,606 2 location(s) to search for versions of provers: 2023-09-13T01:10:04,606 * https://pypi.org/simple/provers/ 2023-09-13T01:10:04,606 * https://www.piwheels.org/simple/provers/ 2023-09-13T01:10:04,607 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-13T01:10:04,608 Getting page https://pypi.org/simple/provers/ 2023-09-13T01:10:04,609 Found index url https://pypi.org/simple/ 2023-09-13T01:10:04,866 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-13T01:10:04,871 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-13T01:10:04,872 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-13T01:10:04,873 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-13T01:10:04,874 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-13T01:10:04,875 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-13T01:10:04,876 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-13T01:10:04,877 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-13T01:10:04,878 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-13T01:10:04,879 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-13T01:10:04,880 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-13T01:10:04,881 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-13T01:10:04,882 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-13T01:10:04,883 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-13T01:10:04,884 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-13T01:10:04,885 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-13T01:10:04,886 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-13T01:10:04,887 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-13T01:10:04,888 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-13T01:10:04,888 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-13T01:10:04,889 Getting page https://www.piwheels.org/simple/provers/ 2023-09-13T01:10:04,890 Found index url https://www.piwheels.org/simple/ 2023-09-13T01:10:05,175 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-13T01:10:05,194 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-13T01:10:05,195 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-13T01:10:05,196 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-13T01:10:05,197 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-13T01:10:05,198 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-13T01:10:05,199 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-13T01:10:05,200 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv7l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-13T01:10:05,201 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp311-cp311-linux_armv6l.whl#sha256=1dccab1c49bd7f26dd9a1c2d6f15389ca8e3cbb25dd64122f7cbe1a2589ce7e1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-13T01:10:05,202 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-13T01:10:05,203 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-13T01:10:05,203 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-13T01:10:05,204 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-13T01:10:05,205 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-13T01:10:05,205 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-13T01:10:05,206 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-13T01:10:05,207 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-13T01:10:05,208 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-13T01:10:05,208 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-13T01:10:05,209 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-13T01:10:05,210 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-13T01:10:05,210 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-13T01:10:05,211 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-13T01:10:05,212 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-13T01:10:05,213 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-13T01:10:05,214 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-13T01:10:05,214 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-13T01:10:05,215 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-13T01:10:05,216 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-13T01:10:05,216 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-13T01:10:05,217 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-13T01:10:05,218 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-13T01:10:05,218 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-13T01:10:05,219 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-13T01:10:05,220 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-13T01:10:05,220 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-13T01:10:05,221 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-13T01:10:05,222 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-13T01:10:05,223 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-13T01:10:05,223 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-13T01:10:05,224 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-13T01:10:05,224 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-13T01:10:05,225 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-13T01:10:05,226 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-13T01:10:05,226 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-13T01:10:05,227 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-13T01:10:05,228 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-13T01:10:05,228 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-13T01:10:05,229 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-13T01:10:05,229 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-13T01:10:05,230 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-13T01:10:05,231 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-13T01:10:05,232 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-13T01:10:05,232 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-13T01:10:05,233 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-13T01:10:05,233 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-13T01:10:05,234 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-13T01:10:05,235 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-13T01:10:05,235 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-13T01:10:05,236 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-13T01:10:05,237 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-13T01:10:05,267 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-13T01:10:05,290 Collecting provers==0.1.18 2023-09-13T01:10:05,292 Created temporary directory: /tmp/pip-unpack-ic2_86ub 2023-09-13T01:10:05,503 Downloading provers-0.1.18.tar.gz (23 kB) 2023-09-13T01:10:05,550 Added provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz to build tracker '/tmp/pip-build-tracker-mdoorx0j' 2023-09-13T01:10:05,551 Running setup.py (path:/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/setup.py) egg_info for package provers 2023-09-13T01:10:05,552 Created temporary directory: /tmp/pip-pip-egg-info-y_s6gzir 2023-09-13T01:10:05,553 Preparing metadata (setup.py): started 2023-09-13T01:10:05,554 Running command python setup.py egg_info 2023-09-13T01:10:06,217 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-13T01:10:06,217 !! 2023-09-13T01:10:06,219 ******************************************************************************** 2023-09-13T01:10:06,219 Requirements should be satisfied by a PEP 517 installer. 2023-09-13T01:10:06,220 If you are using pip, you can try `pip install --use-pep517`. 2023-09-13T01:10:06,220 ******************************************************************************** 2023-09-13T01:10:06,221 !! 2023-09-13T01:10:06,222 dist.fetch_build_eggs(dist.setup_requires) 2023-09-13T01:10:16,545 running egg_info 2023-09-13T01:10:16,546 creating /tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info 2023-09-13T01:10:16,577 writing /tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/PKG-INFO 2023-09-13T01:10:16,580 writing dependency_links to /tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/dependency_links.txt 2023-09-13T01:10:16,586 writing entry points to /tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/entry_points.txt 2023-09-13T01:10:16,588 writing top-level names to /tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/top_level.txt 2023-09-13T01:10:16,590 writing manifest file '/tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/SOURCES.txt' 2023-09-13T01:10:16,772 listing git files failed - pretending there aren't any 2023-09-13T01:10:16,778 reading manifest file '/tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/SOURCES.txt' 2023-09-13T01:10:16,780 reading manifest template 'MANIFEST.in' 2023-09-13T01:10:16,782 warning: no previously-included files found matching 'provers/bin/*' 2023-09-13T01:10:16,782 adding license file 'LICENSE' 2023-09-13T01:10:16,784 writing manifest file '/tmp/pip-pip-egg-info-y_s6gzir/provers.egg-info/SOURCES.txt' 2023-09-13T01:10:16,900 Preparing metadata (setup.py): finished with status 'done' 2023-09-13T01:10:16,904 Source in /tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9 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 2023-09-13T01:10:16,905 Removed provers==0.1.18 from https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz from build tracker '/tmp/pip-build-tracker-mdoorx0j' 2023-09-13T01:10:16,911 Created temporary directory: /tmp/pip-unpack-wva1o5v6 2023-09-13T01:10:16,912 Created temporary directory: /tmp/pip-unpack-aefx3e23 2023-09-13T01:10:16,915 Building wheels for collected packages: provers 2023-09-13T01:10:16,920 Created temporary directory: /tmp/pip-wheel-qykzpads 2023-09-13T01:10:16,920 Building wheel for provers (setup.py): started 2023-09-13T01:10:16,922 Destination directory: /tmp/pip-wheel-qykzpads 2023-09-13T01:10:16,922 Running command python setup.py bdist_wheel 2023-09-13T01:10:17,682 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-13T01:10:17,683 !! 2023-09-13T01:10:17,684 ******************************************************************************** 2023-09-13T01:10:17,684 Requirements should be satisfied by a PEP 517 installer. 2023-09-13T01:10:17,685 If you are using pip, you can try `pip install --use-pep517`. 2023-09-13T01:10:17,686 ******************************************************************************** 2023-09-13T01:10:17,687 !! 2023-09-13T01:10:17,687 dist.fetch_build_eggs(dist.setup_requires) 2023-09-13T01:10:18,315 running bdist_wheel 2023-09-13T01:10:18,423 running build 2023-09-13T01:10:18,423 running build_py 2023-09-13T01:10:18,432 mkdir tmp || true 2023-09-13T01:10:18,441 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-13T01:10:18,475 --2023-09-13 01:10:18-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-13T01:10:18,773 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-13T01:10:18,897 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-13T01:10:19,323 HTTP request sent, awaiting response... 200 OK 2023-09-13T01:10:19,324 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-13T01:10:19,325 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-13T01:10:19,569 0K .......... .......... .......... .......... .......... 2% 204K 8s 2023-09-13T01:10:19,690 50K .......... .......... .......... .......... .......... 5% 416K 6s 2023-09-13T01:10:19,696 100K .......... .......... .......... .......... .......... 8% 7.28M 4s 2023-09-13T01:10:19,813 150K .......... .......... .......... .......... .......... 11% 430K 4s 2023-09-13T01:10:19,817 200K .......... .......... .......... .......... .......... 14% 11.1M 3s 2023-09-13T01:10:19,821 250K .......... .......... .......... .......... .......... 17% 12.8M 2s 2023-09-13T01:10:19,824 300K .......... .......... .......... .......... .......... 19% 13.3M 2s 2023-09-13T01:10:19,829 350K .......... .......... .......... .......... .......... 22% 11.6M 2s 2023-09-13T01:10:19,939 400K .......... .......... .......... .......... .......... 25% 454K 2s 2023-09-13T01:10:19,942 450K .......... .......... .......... .......... .......... 28% 13.1M 2s 2023-09-13T01:10:19,946 500K .......... .......... .......... .......... .......... 31% 14.2M 1s 2023-09-13T01:10:19,949 550K .......... .......... .......... .......... .......... 34% 15.2M 1s 2023-09-13T01:10:19,953 600K .......... .......... .......... .......... .......... 37% 12.5M 1s 2023-09-13T01:10:19,956 650K .......... .......... .......... .......... .......... 39% 15.3M 1s 2023-09-13T01:10:19,960 700K .......... .......... .......... .......... .......... 42% 13.2M 1s 2023-09-13T01:10:19,963 750K .......... .......... .......... .......... .......... 45% 15.1M 1s 2023-09-13T01:10:20,061 800K .......... .......... .......... .......... .......... 48% 510K 1s 2023-09-13T01:10:20,065 850K .......... .......... .......... .......... .......... 51% 11.9M 1s 2023-09-13T01:10:20,069 900K .......... .......... .......... .......... .......... 54% 14.0M 1s 2023-09-13T01:10:20,073 950K .......... .......... .......... .......... .......... 57% 12.3M 1s 2023-09-13T01:10:20,076 1000K .......... .......... .......... .......... .......... 59% 14.0M 1s 2023-09-13T01:10:20,080 1050K .......... .......... .......... .......... .......... 62% 13.5M 0s 2023-09-13T01:10:20,084 1100K .......... .......... .......... .......... .......... 65% 11.8M 0s 2023-09-13T01:10:20,088 1150K .......... .......... .......... .......... .......... 68% 14.1M 0s 2023-09-13T01:10:20,091 1200K .......... .......... .......... .......... .......... 71% 12.6M 0s 2023-09-13T01:10:20,095 1250K .......... .......... .......... .......... .......... 74% 14.1M 0s 2023-09-13T01:10:20,214 1300K .......... .......... .......... .......... .......... 76% 420K 0s 2023-09-13T01:10:20,219 1350K .......... .......... .......... .......... .......... 79% 10.3M 0s 2023-09-13T01:10:20,223 1400K .......... .......... .......... .......... .......... 82% 12.3M 0s 2023-09-13T01:10:20,233 1450K .......... .......... .......... .......... .......... 85% 4.63M 0s 2023-09-13T01:10:20,312 1500K .......... .......... .......... .......... .......... 88% 637K 0s 2023-09-13T01:10:20,316 1550K .......... .......... .......... .......... .......... 91% 12.2M 0s 2023-09-13T01:10:20,337 1600K .......... .......... .......... .......... .......... 94% 2.33M 0s 2023-09-13T01:10:20,340 1650K .......... .......... .......... .......... .......... 96% 14.5M 0s 2023-09-13T01:10:20,344 1700K .......... .......... .......... .......... .......... 99% 13.1M 0s 2023-09-13T01:10:20,345 1750K ... 100% 6.82T=1.0s 2023-09-13T01:10:20,385 2023-09-13 01:10:20 (1.68 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-13T01:10:20,389 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-13T01:10:21,169 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-13T01:10:21,185 cd tmp/LADR-2009-11A && make all 2023-09-13T01:10:21,200 make[1]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A' 2023-09-13T01:10:21,201 cd ladr && make lib 2023-09-13T01:10:21,222 make[2]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:21,223 make libladr.a 2023-09-13T01:10:21,237 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:21,238 gcc -O -Wall -c -o order.o order.c 2023-09-13T01:10:21,425 gcc -O -Wall -c -o clock.o clock.c 2023-09-13T01:10:21,654 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-13T01:10:21,757 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-13T01:10:21,882 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-13T01:10:22,076 gcc -O -Wall -c -o memory.o memory.c 2023-09-13T01:10:22,287 gcc -O -Wall -c -o hash.o hash.c 2023-09-13T01:10:22,484 gcc -O -Wall -c -o string.o string.c 2023-09-13T01:10:22,721 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-13T01:10:22,991 gcc -O -Wall -c -o glist.o glist.c 2023-09-13T01:10:23,617 gcc -O -Wall -c -o options.o options.c 2023-09-13T01:10:24,145 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-13T01:10:24,268 symbols.c: In function ‘declare_base_symbols’: 2023-09-13T01:10:24,269 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:24,269 1304 | int sn; 2023-09-13T01:10:24,270 | ^~ 2023-09-13T01:10:25,156 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-13T01:10:25,525 gcc -O -Wall -c -o term.o term.c 2023-09-13T01:10:26,384 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-13T01:10:26,576 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-13T01:10:26,769 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-13T01:10:26,934 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-13T01:10:27,193 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-13T01:10:27,367 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-13T01:10:27,827 gcc -O -Wall -c -o parse.o parse.c 2023-09-13T01:10:28,631 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-13T01:10:28,858 gcc -O -Wall -c -o unify.o unify.c 2023-09-13T01:10:29,308 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-13T01:10:29,629 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-13T01:10:30,142 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-13T01:10:30,328 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-13T01:10:30,451 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-13T01:10:30,452 487 | Flat2 check_flat2(Flat2 f) 2023-09-13T01:10:30,453 | ^~~~~~~~~~~ 2023-09-13T01:10:30,696 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-13T01:10:30,820 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-13T01:10:30,821 146 | Flat check_flat(Flat f) 2023-09-13T01:10:30,822 | ^~~~~~~~~~ 2023-09-13T01:10:31,112 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-13T01:10:31,674 gcc -O -Wall -c -o btu.o btu.c 2023-09-13T01:10:32,324 gcc -O -Wall -c -o btm.o btm.c 2023-09-13T01:10:33,015 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-13T01:10:33,132 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-13T01:10:33,133 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:33,134 650 | Trail tr; 2023-09-13T01:10:33,134 | ^~ 2023-09-13T01:10:33,334 gcc -O -Wall -c -o basic.o basic.c 2023-09-13T01:10:33,619 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-13T01:10:34,074 gcc -O -Wall -c -o formula.o formula.c 2023-09-13T01:10:34,939 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-13T01:10:35,223 gcc -O -Wall -c -o literals.o literals.c 2023-09-13T01:10:35,670 gcc -O -Wall -c -o topform.o topform.c 2023-09-13T01:10:36,072 gcc -O -Wall -c -o clist.o clist.c 2023-09-13T01:10:36,540 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-13T01:10:36,786 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-13T01:10:37,014 gcc -O -Wall -c -o just.o just.c 2023-09-13T01:10:37,886 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-13T01:10:38,478 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-13T01:10:38,701 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-13T01:10:39,015 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-13T01:10:39,387 gcc -O -Wall -c -o compress.o compress.c 2023-09-13T01:10:39,610 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-13T01:10:39,835 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-13T01:10:40,027 gcc -O -Wall -c -o weight.o weight.c 2023-09-13T01:10:40,339 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-13T01:10:40,519 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-13T01:10:40,769 gcc -O -Wall -c -o features.o features.c 2023-09-13T01:10:40,978 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-13T01:10:41,295 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-13T01:10:41,541 gcc -O -Wall -c -o random.o random.c 2023-09-13T01:10:41,853 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-13T01:10:42,306 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-13T01:10:42,519 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-13T01:10:42,801 gcc -O -Wall -c -o complex.o complex.c 2023-09-13T01:10:42,916 complex.c: In function ‘complex4_p1’: 2023-09-13T01:10:42,917 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:42,917 275 | BOOL dummy; 2023-09-13T01:10:42,918 | ^~~~~ 2023-09-13T01:10:43,074 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-13T01:10:43,453 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-13T01:10:43,574 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-13T01:10:43,575 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-13T01:10:43,575 122 | if (status == BACKTRACK) { 2023-09-13T01:10:43,576 | ^~ 2023-09-13T01:10:43,577 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:43,578 158 | Discrim dd = NULL; 2023-09-13T01:10:43,578 | ^~ 2023-09-13T01:10:43,579 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-13T01:10:43,580 167 | if (status == GO) { 2023-09-13T01:10:43,581 | ^~ 2023-09-13T01:10:43,738 gcc -O -Wall -c -o demod.o demod.c 2023-09-13T01:10:43,863 demod.c: In function ‘demod1’: 2023-09-13T01:10:43,864 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:43,864 376 | Term result; 2023-09-13T01:10:43,865 | ^~~~~~ 2023-09-13T01:10:44,065 gcc -O -Wall -c -o clash.o clash.c 2023-09-13T01:10:44,188 clash.c: In function ‘clash_recurse’: 2023-09-13T01:10:44,189 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-13T01:10:44,189 283 | else if (!p->clashable | p->clashed) 2023-09-13T01:10:44,190 | ^~~~~~~~~~~~~ 2023-09-13T01:10:44,350 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-13T01:10:44,881 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-13T01:10:45,006 paramod.c: In function ‘para_into’: 2023-09-13T01:10:45,007 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-13T01:10:45,008 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-13T01:10:45,249 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-13T01:10:45,487 gcc -O -Wall -c -o hints.o hints.c 2023-09-13T01:10:45,746 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-13T01:10:46,121 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-13T01:10:46,513 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-13T01:10:46,654 ivy.c: In function ‘factor2_instances’: 2023-09-13T01:10:46,654 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:46,655 633 | Literals l1i, l2i, lit; 2023-09-13T01:10:46,655 | ^~~ 2023-09-13T01:10:47,019 gcc -O -Wall -c -o interp.o interp.c 2023-09-13T01:10:47,166 interp.c: In function ‘transpose_binary’: 2023-09-13T01:10:47,166 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:47,167 358 | int i, rc; 2023-09-13T01:10:47,167 | ^~ 2023-09-13T01:10:48,868 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-13T01:10:49,012 gcc -O -Wall -c -o banner.o banner.c 2023-09-13T01:10:49,176 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-13T01:10:49,636 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-13T01:10:50,087 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-13T01:10:50,689 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-13T01:10:50,695 ar: creating libladr.a 2023-09-13T01:10:50,933 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:50,933 make[2]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:50,934 cd mace4.src && make all 2023-09-13T01:10:50,946 make[2]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:50,946 cd ../ladr && make libladr.a 2023-09-13T01:10:50,973 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:50,974 make[3]: 'libladr.a' is up to date. 2023-09-13T01:10:50,975 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:50,975 make clean 2023-09-13T01:10:50,983 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:50,984 /bin/rm -f *.o 2023-09-13T01:10:50,992 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:50,993 make libmace4.a 2023-09-13T01:10:51,001 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:51,001 gcc -O -Wall -c -o estack.o estack.c 2023-09-13T01:10:51,178 gcc -O -Wall -c -o util.o util.c 2023-09-13T01:10:51,325 gcc -O -Wall -c -o print.o print.c 2023-09-13T01:10:51,762 gcc -O -Wall -c -o syms.o syms.c 2023-09-13T01:10:52,003 gcc -O -Wall -c -o ground.o ground.c 2023-09-13T01:10:52,429 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-13T01:10:52,857 gcc -O -Wall -c -o select.o select.c 2023-09-13T01:10:52,996 select.c: In function ‘select_concentric_band’: 2023-09-13T01:10:52,997 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-13T01:10:52,997 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-13T01:10:52,999 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-13T01:10:53,000 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-13T01:10:53,000 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-13T01:10:53,129 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-13T01:10:53,531 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-13T01:10:53,844 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-13T01:10:54,204 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-13T01:10:54,514 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-13T01:10:54,760 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-13T01:10:55,023 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-13T01:10:55,174 msearch.c: In function ‘next_domain_size’: 2023-09-13T01:10:55,175 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-13T01:10:55,176 850 | int next_domain_size(n) 2023-09-13T01:10:55,176 | ^~~~~~~~~~~~~~~~ 2023-09-13T01:10:55,494 msearch.c: In function ‘mace4’: 2023-09-13T01:10:55,496 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-13T01:10:55,496 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-13T01:10:55,497 | ^~ 2023-09-13T01:10:55,497 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-13T01:10:55,498 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-13T01:10:55,498 | ^~~~~~~~~~~~~~~~ 2023-09-13T01:10:55,499 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-13T01:10:55,500 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-13T01:10:55,500 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-13T01:10:55,681 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-13T01:10:55,686 ar: creating libmace4.a 2023-09-13T01:10:55,781 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:55,784 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-13T01:10:55,951 mace4.c: In function ‘init_attrs’: 2023-09-13T01:10:55,952 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:10:55,953 36 | int id; 2023-09-13T01:10:55,954 | ^~ 2023-09-13T01:10:56,041 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-13T01:10:56,229 /bin/mv mace4 ../bin 2023-09-13T01:10:56,239 make[2]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:56,240 cd provers.src && make all 2023-09-13T01:10:56,254 make[2]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:10:56,254 cd ../ladr && make libladr 2023-09-13T01:10:56,266 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:56,267 make libladr.a 2023-09-13T01:10:56,289 make[4]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:56,290 make[4]: 'libladr.a' is up to date. 2023-09-13T01:10:56,290 make[4]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:56,291 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:10:56,291 make clean 2023-09-13T01:10:56,299 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:10:56,300 /bin/rm -f *.o 2023-09-13T01:10:56,306 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:10:56,307 cd ../mace4.src && make libmace4 2023-09-13T01:10:56,317 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:56,317 make libmace4.a 2023-09-13T01:10:56,326 make[4]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:56,327 make[4]: 'libmace4.a' is up to date. 2023-09-13T01:10:56,328 make[4]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:56,328 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-13T01:10:56,329 make clean 2023-09-13T01:10:56,336 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:10:56,337 /bin/rm -f *.o 2023-09-13T01:10:56,343 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:10:56,345 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-13T01:10:56,529 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-13T01:10:56,735 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-13T01:10:56,920 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-13T01:10:57,170 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-13T01:10:57,447 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-13T01:10:57,739 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-13T01:10:58,005 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-13T01:10:58,417 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-13T01:10:58,640 gcc -O -Wall -c -o actions.o actions.c 2023-09-13T01:10:58,933 gcc -O -Wall -c -o search.o search.c 2023-09-13T01:11:00,670 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-13T01:11:01,190 gcc -O -Wall -c -o provers.o provers.c 2023-09-13T01:11:01,484 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-13T01:11:01,741 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-13T01:11:01,934 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-13T01:11:02,120 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-13T01:11:02,334 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-13T01:11:02,550 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-13T01:11:02,738 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-13T01:11:02,969 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-13T01:11:03,346 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-13T01:11:03,709 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-13T01:11:04,269 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-13T01:11:04,661 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-13T01:11:04,941 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-13T01:11:05,142 tptp_to_ladr.c: In function ‘main’: 2023-09-13T01:11:05,144 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:05,145 84 | int i; 2023-09-13T01:11:05,145 | ^ 2023-09-13T01:11:05,231 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-13T01:11:05,667 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-13T01:11:05,847 /bin/rm -f *.o 2023-09-13T01:11:05,869 make[2]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-13T01:11:05,870 cd apps.src && make all 2023-09-13T01:11:05,891 make[2]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-13T01:11:05,892 cd ../ladr && make libladr.a 2023-09-13T01:11:05,968 make[3]: Entering directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:11:05,969 make[3]: 'libladr.a' is up to date. 2023-09-13T01:11:05,970 make[3]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-13T01:11:05,972 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-13T01:11:06,242 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-13T01:11:06,394 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-13T01:11:06,756 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-13T01:11:06,932 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-13T01:11:07,068 clausefilter.c: In function ‘main’: 2023-09-13T01:11:07,069 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:07,070 109 | int i; 2023-09-13T01:11:07,071 | ^ 2023-09-13T01:11:07,169 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-13T01:11:07,320 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-13T01:11:07,540 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-13T01:11:07,710 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-13T01:11:07,841 renamer.c: In function ‘main’: 2023-09-13T01:11:07,842 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:07,843 54 | int i; 2023-09-13T01:11:07,844 | ^ 2023-09-13T01:11:07,887 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-13T01:11:08,034 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-13T01:11:08,204 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-13T01:11:08,354 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-13T01:11:08,593 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-13T01:11:08,749 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-13T01:11:08,958 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-13T01:11:09,123 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-13T01:11:09,387 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-13T01:11:09,572 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-13T01:11:10,069 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-13T01:11:10,376 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-13T01:11:10,616 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-13T01:11:10,766 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-13T01:11:10,955 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-13T01:11:11,129 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-13T01:11:11,266 interpfilter.c: In function ‘main’: 2023-09-13T01:11:11,267 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:11,268 66 | int i; 2023-09-13T01:11:11,269 | ^ 2023-09-13T01:11:11,335 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-13T01:11:11,482 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-13T01:11:11,729 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-13T01:11:11,880 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-13T01:11:12,054 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-13T01:11:12,202 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-13T01:11:12,493 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-13T01:11:12,682 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-13T01:11:12,823 prooftrans.c: In function ‘main’: 2023-09-13T01:11:12,824 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:12,825 225 | int label_attr, answer_attr, props_attr; 2023-09-13T01:11:12,826 | ^~~~~~~~~~ 2023-09-13T01:11:12,827 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:12,827 222 | int rc, n, number_of_proofs; 2023-09-13T01:11:12,828 | ^~ 2023-09-13T01:11:13,064 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-13T01:11:13,210 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-13T01:11:13,343 mirror-flip.c: In function ‘main’: 2023-09-13T01:11:13,344 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:13,345 129 | int i; 2023-09-13T01:11:13,346 | ^ 2023-09-13T01:11:13,422 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-13T01:11:13,572 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-13T01:11:13,711 perm3.c: In function ‘main’: 2023-09-13T01:11:13,712 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:13,713 120 | int i; 2023-09-13T01:11:13,714 | ^ 2023-09-13T01:11:13,806 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-13T01:11:13,954 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-13T01:11:14,094 sigtest.c: In function ‘main’: 2023-09-13T01:11:14,095 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:14,096 33 | int i; 2023-09-13T01:11:14,097 | ^ 2023-09-13T01:11:14,146 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-13T01:11:14,300 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-13T01:11:14,447 directproof.c: In function ‘main’: 2023-09-13T01:11:14,448 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:14,449 645 | int label_attr, answer_attr, props_attr; 2023-09-13T01:11:14,450 | ^~~~~~~~~~ 2023-09-13T01:11:14,451 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:14,453 645 | int label_attr, answer_attr, props_attr; 2023-09-13T01:11:14,454 | ^~~~~~~~~~ 2023-09-13T01:11:14,455 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:14,456 642 | int rc, n, number_of_proofs; 2023-09-13T01:11:14,457 | ^~ 2023-09-13T01:11:14,810 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-13T01:11:14,956 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-13T01:11:15,088 test_clause_eval.c: In function ‘main’: 2023-09-13T01:11:15,089 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:15,090 31 | int i; 2023-09-13T01:11:15,091 | ^ 2023-09-13T01:11:15,137 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-13T01:11:15,285 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-13T01:11:15,463 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-13T01:11:15,637 gcc -O -Wall -c -o complex.o complex.c 2023-09-13T01:11:15,773 complex.c: In function ‘complex4_p1’: 2023-09-13T01:11:15,774 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:15,776 79 | BOOL dummy; 2023-09-13T01:11:15,777 | ^~~~~ 2023-09-13T01:11:15,778 complex.c: In function ‘main’: 2023-09-13T01:11:15,778 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-13T01:11:15,779 126 | double d; 2023-09-13T01:11:15,780 | ^ 2023-09-13T01:11:15,852 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-13T01:11:16,003 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-13T01:11:16,380 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-13T01:11:16,531 /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-13T01:11:16,549 /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-13T01:11:16,566 make[2]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-13T01:11:16,567 /bin/cp -p utilities/* bin 2023-09-13T01:11:16,595 **** Now try 'make test1'. **** 2023-09-13T01:11:16,598 make[1]: Leaving directory '/tmp/pip-wheel-xps3d8th/provers_dcbceb3fe04847559a12774e0c7c7ce9/provers/bin/tmp/LADR-2009-11A' 2023-09-13T01:11:16,598 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-13T01:11:16,614 cp tmp/LADR-2009-11A/bin/interpformat . 2023-09-13T01:11:16,631 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-13T01:11:16,651 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-13T01:11:16,665 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-13T01:11:16,682 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-13T01:11:16,700 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-13T01:11:16,714 rm -rf tmp 2023-09-13T01:11:16,896 creating build 2023-09-13T01:11:16,897 creating build/lib.linux-armv7l-cpython-311 2023-09-13T01:11:16,898 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,900 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,902 copying provers/fol.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,904 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,907 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,910 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-13T01:11:16,912 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,914 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,921 copying provers/bin/interpformat -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,928 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,935 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,943 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,953 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,964 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-13T01:11:16,972 running build_ext 2023-09-13T01:11:17,002 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-13T01:11:17,002 !! 2023-09-13T01:11:17,003 ******************************************************************************** 2023-09-13T01:11:17,004 Please avoid running ``setup.py`` directly. 2023-09-13T01:11:17,004 Instead, use pypa/build, pypa/installer or other 2023-09-13T01:11:17,005 standards-based tools. 2023-09-13T01:11:17,006 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-13T01:11:17,006 ******************************************************************************** 2023-09-13T01:11:17,007 !! 2023-09-13T01:11:17,008 self.initialize_options() 2023-09-13T01:11:17,032 installing to build/bdist.linux-armv7l/wheel 2023-09-13T01:11:17,033 running install 2023-09-13T01:11:17,057 running install_lib 2023-09-13T01:11:17,085 creating build/bdist.linux-armv7l 2023-09-13T01:11:17,086 creating build/bdist.linux-armv7l/wheel 2023-09-13T01:11:17,088 creating build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,089 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,092 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,093 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,103 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,113 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,126 copying build/lib.linux-armv7l-cpython-311/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,136 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,147 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,158 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-13T01:11:17,171 copying build/lib.linux-armv7l-cpython-311/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,173 copying build/lib.linux-armv7l-cpython-311/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,176 copying build/lib.linux-armv7l-cpython-311/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,179 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-13T01:11:17,181 running install_egg_info 2023-09-13T01:11:17,244 running egg_info 2023-09-13T01:11:17,271 writing provers.egg-info/PKG-INFO 2023-09-13T01:11:17,274 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-13T01:11:17,275 writing entry points to provers.egg-info/entry_points.txt 2023-09-13T01:11:17,277 writing top-level names to provers.egg-info/top_level.txt 2023-09-13T01:11:17,365 listing git files failed - pretending there aren't any 2023-09-13T01:11:17,368 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-13T01:11:17,370 reading manifest template 'MANIFEST.in' 2023-09-13T01:11:17,371 adding license file 'LICENSE' 2023-09-13T01:11:17,373 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-13T01:11:17,374 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.18-py3.11.egg-info 2023-09-13T01:11:17,383 running install_scripts 2023-09-13T01:11:17,439 creating build/bdist.linux-armv7l/wheel/provers-0.1.18.dist-info/WHEEL 2023-09-13T01:11:17,441 creating '/tmp/pip-wheel-qykzpads/provers-0.1.18-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-13T01:11:17,443 adding 'provers/__init__.py' 2023-09-13T01:11:17,445 adding 'provers/eprover.py' 2023-09-13T01:11:17,446 adding 'provers/fol.py' 2023-09-13T01:11:17,449 adding 'provers/prover9.py' 2023-09-13T01:11:17,451 adding 'provers/util.py' 2023-09-13T01:11:17,529 adding 'provers/bin/interpformat' 2023-09-13T01:11:17,611 adding 'provers/bin/isofilter' 2023-09-13T01:11:17,720 adding 'provers/bin/ladr_to_tptp' 2023-09-13T01:11:17,814 adding 'provers/bin/mace4' 2023-09-13T01:11:17,889 adding 'provers/bin/prooftrans' 2023-09-13T01:11:17,997 adding 'provers/bin/prover9' 2023-09-13T01:11:18,108 adding 'provers/bin/tptp_to_ladr' 2023-09-13T01:11:18,118 adding 'provers-0.1.18.dist-info/LICENSE' 2023-09-13T01:11:18,120 adding 'provers-0.1.18.dist-info/METADATA' 2023-09-13T01:11:18,120 adding 'provers-0.1.18.dist-info/WHEEL' 2023-09-13T01:11:18,121 adding 'provers-0.1.18.dist-info/entry_points.txt' 2023-09-13T01:11:18,122 adding 'provers-0.1.18.dist-info/top_level.txt' 2023-09-13T01:11:18,123 adding 'provers-0.1.18.dist-info/RECORD' 2023-09-13T01:11:18,136 removing build/bdist.linux-armv7l/wheel 2023-09-13T01:11:18,261 Building wheel for provers (setup.py): finished with status 'done' 2023-09-13T01:11:18,277 Created wheel for provers: filename=provers-0.1.18-cp311-cp311-linux_armv7l.whl size=1111997 sha256=114a248773f1f59139ca1c88f09ea7875a6b291d3b172e3838be68584e5407a5 2023-09-13T01:11:18,278 Stored in directory: /tmp/pip-ephem-wheel-cache-s_flqyqu/wheels/e7/e9/5c/80b81bfcf2ad4315c6cddda58ba7b44a483475f19f17f7d8c3 2023-09-13T01:11:18,290 Successfully built provers 2023-09-13T01:11:18,322 Removed build tracker: '/tmp/pip-build-tracker-mdoorx0j'