2023-09-12T01:09:06,343 Created temporary directory: /tmp/pip-build-tracker-wsywgoo8 2023-09-12T01:09:06,345 Initialized build tracking at /tmp/pip-build-tracker-wsywgoo8 2023-09-12T01:09:06,345 Created build tracker: /tmp/pip-build-tracker-wsywgoo8 2023-09-12T01:09:06,345 Entered build tracker: /tmp/pip-build-tracker-wsywgoo8 2023-09-12T01:09:06,346 Created temporary directory: /tmp/pip-wheel-uouaf0va 2023-09-12T01:09:06,349 Created temporary directory: /tmp/pip-ephem-wheel-cache-sa2bh5q6 2023-09-12T01:09:06,903 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-12T01:09:06,910 2 location(s) to search for versions of provers: 2023-09-12T01:09:06,910 * https://pypi.org/simple/provers/ 2023-09-12T01:09:06,910 * https://www.piwheels.org/simple/provers/ 2023-09-12T01:09:06,911 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-12T01:09:06,912 Getting page https://pypi.org/simple/provers/ 2023-09-12T01:09:06,914 Found index url https://pypi.org/simple/ 2023-09-12T01:09:07,075 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-12T01:09:07,080 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2023-09-12T01:09:07,081 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2023-09-12T01:09:07,082 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2023-09-12T01:09:07,083 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2023-09-12T01:09:07,084 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2023-09-12T01:09:07,085 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2023-09-12T01:09:07,086 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2023-09-12T01:09:07,087 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2023-09-12T01:09:07,088 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2023-09-12T01:09:07,089 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2023-09-12T01:09:07,090 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2023-09-12T01:09:07,091 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2023-09-12T01:09:07,092 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2023-09-12T01:09:07,093 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2023-09-12T01:09:07,095 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2023-09-12T01:09:07,095 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2023-09-12T01:09:07,096 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2023-09-12T01:09:07,097 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2023-09-12T01:09:07,098 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-12T01:09:07,099 Getting page https://www.piwheels.org/simple/provers/ 2023-09-12T01:09:07,100 Found index url https://www.piwheels.org/simple/ 2023-09-12T01:09:07,392 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-12T01:09:07,407 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv7l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,408 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp39-cp39-linux_armv6l.whl#sha256=1e438aa03145d8fdf9be152a34eb97ff277ea3714b3de18f2b80ac6d088de0a4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,408 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv7l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,409 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp37-cp37m-linux_armv6l.whl#sha256=a0c150503452bc8329e4dd1a63b662654332f097db759b0a72612bf315eff923 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,410 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv7l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,410 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.18-cp35-cp35m-linux_armv6l.whl#sha256=fb3160fd1ca5db45dcd1a2d9548472a03309322eed90237c32b190f798a01bb0 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,411 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv7l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,412 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp39-cp39-linux_armv6l.whl#sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,412 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv7l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,413 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp35-cp35m-linux_armv6l.whl#sha256=e6c7da01b62c9c60304d60f120b36d92591302098a6a651b23fba15871e59e9f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,414 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv7l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,414 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.17-cp37-cp37m-linux_armv6l.whl#sha256=88d8e62525789ff5f0d5b9a6e0899efdccc36bd3eb6910806146da71bf24bb52 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,415 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv7l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,415 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp39-cp39-linux_armv6l.whl#sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,416 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv6l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,416 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp35-cp35m-linux_armv7l.whl#sha256=736255accd938063e0aa8218f0d3ee060badb15658c394421f7ed5d24b5761a1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,417 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv6l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,417 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.16-cp37-cp37m-linux_armv7l.whl#sha256=6f0a26f4ad90fa7b018dca881263233cc4ddc6c1404d86e7e10910860592264e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,418 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv7l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,419 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,419 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv6l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,420 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp35-cp35m-linux_armv7l.whl#sha256=e8c62da70e857b55ea1fee84f8f21b558d6dcf01093bea2328caa43403bb62da (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,421 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv6l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,422 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp37-cp37m-linux_armv7l.whl#sha256=b7530687e7453cd413f2058d89818be56dca3ffb07457e364b6733b18df0e0b4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,423 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv7l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,423 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp39-cp39-linux_armv6l.whl#sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,424 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv6l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,425 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp37-cp37m-linux_armv7l.whl#sha256=f0163b0ae359807080fb898284d8c30a56c6341cbdb45a22aaaa0efc9f5adb56 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,426 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv7l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,426 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.13-cp35-cp35m-linux_armv6l.whl#sha256=ddc2bdff2e7bf1ff258e8cfb2b271bb8f78880298d23d631d8a351a233b202e2 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,427 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv7l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,428 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp311-cp311-linux_armv6l.whl#sha256=9f136d333df9bd177c235e02e18df097913bd2c5f22a48a7b66277339a53ecba (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,429 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv7l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,430 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp39-cp39-linux_armv6l.whl#sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,431 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv6l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,432 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp35-cp35m-linux_armv7l.whl#sha256=3fae08d7d56887e73ef55137fd96a707eada7bba7926a05368c00cdddf778c4f (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,433 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv6l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,433 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.12-cp37-cp37m-linux_armv7l.whl#sha256=8bf8d6798e74f19ac168ff416a7c89a0dede1d4a37f00ecc5c21d7f6be52bf97 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,434 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv7l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,434 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp311-cp311-linux_armv6l.whl#sha256=0d9d651ba5a848df405d592cb70ca0ccf8622afdbca80791526e5e1313b32f9d (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,435 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv7l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,435 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp39-cp39-linux_armv6l.whl#sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,436 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv7l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,436 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp35-cp35m-linux_armv6l.whl#sha256=5959efdd724a4bea2935bd798accaf7afc5fb6d2198a3f88e749068534d27aa6 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,437 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv7l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,437 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.4-cp37-cp37m-linux_armv6l.whl#sha256=a5372955b1cff238a2e18caefa381ee2e0d3bc99212470af397a4a5b4fe77b48 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,438 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.3-py3-none-any.whl#sha256=f49e5283cdfec90379f9db05e908b1effb4b1cb892bac656305df578b1e46b35 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,438 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.2-py3-none-any.whl#sha256=8113415d85631769830d3065e440daafb94526f1e07fab9108c3376ec2e7a83a (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,439 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.0.0-py3-none-any.whl#sha256=2b6401a015f9339d47a44c6727d44b6722f93271ca63ad98f80aa51019274445 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,440 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.0-py3-none-any.whl#sha256=0fe13627ac43c9265cab689feb720eb375bb27305aafb187486477272eaa43d4 (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T01:09:07,441 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-12T01:09:07,441 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-12T01:09:07,463 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-12T01:09:07,481 Collecting provers==0.1.13 2023-09-12T01:09:07,483 Created temporary directory: /tmp/pip-unpack-id226gmb 2023-09-12T01:09:07,698 Downloading provers-0.1.13.tar.gz (20 kB) 2023-09-12T01:09:07,749 Added provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz to build tracker '/tmp/pip-build-tracker-wsywgoo8' 2023-09-12T01:09:07,751 Running setup.py (path:/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/setup.py) egg_info for package provers 2023-09-12T01:09:07,752 Created temporary directory: /tmp/pip-pip-egg-info-f01zfc0u 2023-09-12T01:09:07,752 Preparing metadata (setup.py): started 2023-09-12T01:09:07,754 Running command python setup.py egg_info 2023-09-12T01:09:08,478 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T01:09:08,479 !! 2023-09-12T01:09:08,480 ******************************************************************************** 2023-09-12T01:09:08,481 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T01:09:08,481 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T01:09:08,482 ******************************************************************************** 2023-09-12T01:09:08,483 !! 2023-09-12T01:09:08,483 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T01:09:11,553 running egg_info 2023-09-12T01:09:11,554 creating /tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info 2023-09-12T01:09:11,582 writing /tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/PKG-INFO 2023-09-12T01:09:11,585 writing dependency_links to /tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/dependency_links.txt 2023-09-12T01:09:11,586 writing entry points to /tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/entry_points.txt 2023-09-12T01:09:11,588 writing top-level names to /tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/top_level.txt 2023-09-12T01:09:11,589 writing manifest file '/tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/SOURCES.txt' 2023-09-12T01:09:11,745 listing git files failed - pretending there aren't any 2023-09-12T01:09:11,751 reading manifest file '/tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/SOURCES.txt' 2023-09-12T01:09:11,753 reading manifest template 'MANIFEST.in' 2023-09-12T01:09:11,754 warning: no previously-included files found matching 'provers/bin/*' 2023-09-12T01:09:11,755 adding license file 'LICENSE' 2023-09-12T01:09:11,756 writing manifest file '/tmp/pip-pip-egg-info-f01zfc0u/provers.egg-info/SOURCES.txt' 2023-09-12T01:09:11,871 Preparing metadata (setup.py): finished with status 'done' 2023-09-12T01:09:11,875 Source in /tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c has version 0.1.13, which satisfies requirement provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz 2023-09-12T01:09:11,876 Removed provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz from build tracker '/tmp/pip-build-tracker-wsywgoo8' 2023-09-12T01:09:11,881 Created temporary directory: /tmp/pip-unpack-9fmhlsax 2023-09-12T01:09:11,882 Created temporary directory: /tmp/pip-unpack-4usbpfbp 2023-09-12T01:09:11,884 Building wheels for collected packages: provers 2023-09-12T01:09:11,888 Created temporary directory: /tmp/pip-wheel-5bvifnv2 2023-09-12T01:09:11,889 Building wheel for provers (setup.py): started 2023-09-12T01:09:11,890 Destination directory: /tmp/pip-wheel-5bvifnv2 2023-09-12T01:09:11,891 Running command python setup.py bdist_wheel 2023-09-12T01:09:12,582 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T01:09:12,583 !! 2023-09-12T01:09:12,584 ******************************************************************************** 2023-09-12T01:09:12,584 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T01:09:12,584 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T01:09:12,585 ******************************************************************************** 2023-09-12T01:09:12,586 !! 2023-09-12T01:09:12,586 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T01:09:13,192 running bdist_wheel 2023-09-12T01:09:13,305 running build 2023-09-12T01:09:13,306 running build_py 2023-09-12T01:09:13,316 mkdir tmp || true 2023-09-12T01:09:13,327 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T01:09:13,343 --2023-09-12 01:09:13-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T01:09:13,645 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-12T01:09:13,769 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-12T01:09:14,188 HTTP request sent, awaiting response... 200 OK 2023-09-12T01:09:14,189 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-12T01:09:14,189 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-12T01:09:14,436 0K .......... .......... .......... .......... .......... 2% 203K 8s 2023-09-12T01:09:14,555 50K .......... .......... .......... .......... .......... 5% 418K 6s 2023-09-12T01:09:14,562 100K .......... .......... .......... .......... .......... 8% 7.74M 4s 2023-09-12T01:09:14,678 150K .......... .......... .......... .......... .......... 11% 429K 4s 2023-09-12T01:09:14,683 200K .......... .......... .......... .......... .......... 14% 9.97M 3s 2023-09-12T01:09:14,688 250K .......... .......... .......... .......... .......... 17% 11.0M 2s 2023-09-12T01:09:14,692 300K .......... .......... .......... .......... .......... 19% 11.3M 2s 2023-09-12T01:09:14,697 350K .......... .......... .......... .......... .......... 22% 10.0M 2s 2023-09-12T01:09:14,805 400K .......... .......... .......... .......... .......... 25% 462K 2s 2023-09-12T01:09:14,809 450K .......... .......... .......... .......... .......... 28% 11.0M 2s 2023-09-12T01:09:14,814 500K .......... .......... .......... .......... .......... 31% 13.1M 1s 2023-09-12T01:09:14,817 550K .......... .......... .......... .......... .......... 34% 12.8M 1s 2023-09-12T01:09:14,821 600K .......... .......... .......... .......... .......... 37% 11.5M 1s 2023-09-12T01:09:14,825 650K .......... .......... .......... .......... .......... 39% 13.7M 1s 2023-09-12T01:09:14,829 700K .......... .......... .......... .......... .......... 42% 11.7M 1s 2023-09-12T01:09:14,832 750K .......... .......... .......... .......... .......... 45% 13.4M 1s 2023-09-12T01:09:14,925 800K .......... .......... .......... .......... .......... 48% 540K 1s 2023-09-12T01:09:14,930 850K .......... .......... .......... .......... .......... 51% 11.0M 1s 2023-09-12T01:09:14,932 900K .......... .......... .......... .......... .......... 54% 16.8M 1s 2023-09-12T01:09:14,936 950K .......... .......... .......... .......... .......... 57% 14.3M 1s 2023-09-12T01:09:14,939 1000K .......... .......... .......... .......... .......... 59% 16.5M 1s 2023-09-12T01:09:14,942 1050K .......... .......... .......... .......... .......... 62% 16.3M 0s 2023-09-12T01:09:14,945 1100K .......... .......... .......... .......... .......... 65% 14.0M 0s 2023-09-12T01:09:14,948 1150K .......... .......... .......... .......... .......... 68% 16.5M 0s 2023-09-12T01:09:14,952 1200K .......... .......... .......... .......... .......... 71% 14.7M 0s 2023-09-12T01:09:14,954 1250K .......... .......... .......... .......... .......... 74% 17.4M 0s 2023-09-12T01:09:14,957 1300K .......... .......... .......... .......... .......... 76% 17.6M 0s 2023-09-12T01:09:14,960 1350K .......... .......... .......... .......... .......... 79% 14.9M 0s 2023-09-12T01:09:14,963 1400K .......... .......... .......... .......... .......... 82% 17.5M 0s 2023-09-12T01:09:14,966 1450K .......... .......... .......... .......... .......... 85% 15.1M 0s 2023-09-12T01:09:14,969 1500K .......... .......... .......... .......... .......... 88% 17.6M 0s 2023-09-12T01:09:14,972 1550K .......... .......... .......... .......... .......... 91% 17.3M 0s 2023-09-12T01:09:14,975 1600K .......... .......... .......... .......... .......... 94% 15.0M 0s 2023-09-12T01:09:15,048 1650K .......... .......... .......... .......... .......... 96% 688K 0s 2023-09-12T01:09:15,051 1700K .......... .......... .......... .......... .......... 99% 14.7M 0s 2023-09-12T01:09:15,053 1750K ... 100% 6.82T=0.9s 2023-09-12T01:09:15,071 2023-09-12 01:09:15 (1.99 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-12T01:09:15,074 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-12T01:09:15,892 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-12T01:09:15,908 cd tmp/LADR-2009-11A && make all 2023-09-12T01:09:15,922 make[1]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A' 2023-09-12T01:09:15,922 cd ladr && make lib 2023-09-12T01:09:15,942 make[2]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:15,943 make libladr.a 2023-09-12T01:09:15,960 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:15,960 gcc -O -Wall -c -o order.o order.c 2023-09-12T01:09:16,174 gcc -O -Wall -c -o clock.o clock.c 2023-09-12T01:09:16,406 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-12T01:09:16,514 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-12T01:09:16,652 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-12T01:09:16,860 gcc -O -Wall -c -o memory.o memory.c 2023-09-12T01:09:17,087 gcc -O -Wall -c -o hash.o hash.c 2023-09-12T01:09:17,297 gcc -O -Wall -c -o string.o string.c 2023-09-12T01:09:17,555 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-12T01:09:17,826 gcc -O -Wall -c -o glist.o glist.c 2023-09-12T01:09:18,451 gcc -O -Wall -c -o options.o options.c 2023-09-12T01:09:18,981 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-12T01:09:19,095 symbols.c: In function ‘declare_base_symbols’: 2023-09-12T01:09:19,096 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:19,096 1304 | int sn; 2023-09-12T01:09:19,097 | ^~ 2023-09-12T01:09:19,993 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-12T01:09:20,362 gcc -O -Wall -c -o term.o term.c 2023-09-12T01:09:21,230 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-12T01:09:21,429 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-12T01:09:21,625 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-12T01:09:21,788 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-12T01:09:22,073 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-12T01:09:22,250 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-12T01:09:22,745 gcc -O -Wall -c -o parse.o parse.c 2023-09-12T01:09:23,529 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-12T01:09:23,721 gcc -O -Wall -c -o unify.o unify.c 2023-09-12T01:09:24,162 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-12T01:09:24,482 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-12T01:09:24,990 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-12T01:09:25,181 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-12T01:09:25,305 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-12T01:09:25,306 487 | Flat2 check_flat2(Flat2 f) 2023-09-12T01:09:25,306 | ^~~~~~~~~~~ 2023-09-12T01:09:25,549 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-12T01:09:25,675 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-12T01:09:25,676 146 | Flat check_flat(Flat f) 2023-09-12T01:09:25,676 | ^~~~~~~~~~ 2023-09-12T01:09:25,965 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-12T01:09:26,524 gcc -O -Wall -c -o btu.o btu.c 2023-09-12T01:09:27,173 gcc -O -Wall -c -o btm.o btm.c 2023-09-12T01:09:27,830 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-12T01:09:27,949 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-12T01:09:27,950 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:27,950 650 | Trail tr; 2023-09-12T01:09:27,951 | ^~ 2023-09-12T01:09:28,146 gcc -O -Wall -c -o basic.o basic.c 2023-09-12T01:09:28,371 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-12T01:09:28,818 gcc -O -Wall -c -o formula.o formula.c 2023-09-12T01:09:29,686 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-12T01:09:29,971 gcc -O -Wall -c -o literals.o literals.c 2023-09-12T01:09:30,423 gcc -O -Wall -c -o topform.o topform.c 2023-09-12T01:09:30,824 gcc -O -Wall -c -o clist.o clist.c 2023-09-12T01:09:31,269 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-12T01:09:31,483 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-12T01:09:31,714 gcc -O -Wall -c -o just.o just.c 2023-09-12T01:09:32,543 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-12T01:09:33,142 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-12T01:09:33,379 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-12T01:09:33,707 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-12T01:09:34,103 gcc -O -Wall -c -o compress.o compress.c 2023-09-12T01:09:34,334 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-12T01:09:34,556 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-12T01:09:34,747 gcc -O -Wall -c -o weight.o weight.c 2023-09-12T01:09:35,047 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-12T01:09:35,216 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-12T01:09:35,463 gcc -O -Wall -c -o features.o features.c 2023-09-12T01:09:35,669 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-12T01:09:35,985 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-12T01:09:36,203 gcc -O -Wall -c -o random.o random.c 2023-09-12T01:09:36,463 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-12T01:09:36,918 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-12T01:09:37,133 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-12T01:09:37,397 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T01:09:37,511 complex.c: In function ‘complex4_p1’: 2023-09-12T01:09:37,512 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:37,513 275 | BOOL dummy; 2023-09-12T01:09:37,513 | ^~~~~ 2023-09-12T01:09:37,668 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-12T01:09:38,045 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-12T01:09:38,164 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-12T01:09:38,165 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T01:09:38,166 122 | if (status == BACKTRACK) { 2023-09-12T01:09:38,167 | ^~ 2023-09-12T01:09:38,167 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:38,168 158 | Discrim dd = NULL; 2023-09-12T01:09:38,168 | ^~ 2023-09-12T01:09:38,169 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T01:09:38,169 167 | if (status == GO) { 2023-09-12T01:09:38,170 | ^~ 2023-09-12T01:09:38,331 gcc -O -Wall -c -o demod.o demod.c 2023-09-12T01:09:38,455 demod.c: In function ‘demod1’: 2023-09-12T01:09:38,456 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:38,456 376 | Term result; 2023-09-12T01:09:38,457 | ^~~~~~ 2023-09-12T01:09:38,657 gcc -O -Wall -c -o clash.o clash.c 2023-09-12T01:09:38,805 clash.c: In function ‘clash_recurse’: 2023-09-12T01:09:38,805 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T01:09:38,806 283 | else if (!p->clashable | p->clashed) 2023-09-12T01:09:38,807 | ^~~~~~~~~~~~~ 2023-09-12T01:09:38,940 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-12T01:09:39,463 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-12T01:09:39,589 paramod.c: In function ‘para_into’: 2023-09-12T01:09:39,590 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T01:09:39,591 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-12T01:09:39,835 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-12T01:09:40,073 gcc -O -Wall -c -o hints.o hints.c 2023-09-12T01:09:40,354 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-12T01:09:40,701 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-12T01:09:41,100 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-12T01:09:41,278 ivy.c: In function ‘factor2_instances’: 2023-09-12T01:09:41,278 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:41,279 633 | Literals l1i, l2i, lit; 2023-09-12T01:09:41,279 | ^~~ 2023-09-12T01:09:41,641 gcc -O -Wall -c -o interp.o interp.c 2023-09-12T01:09:41,995 interp.c: In function ‘transpose_binary’: 2023-09-12T01:09:41,995 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:41,996 358 | int i, rc; 2023-09-12T01:09:41,997 | ^~ 2023-09-12T01:09:43,693 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-12T01:09:43,849 gcc -O -Wall -c -o banner.o banner.c 2023-09-12T01:09:44,011 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-12T01:09:44,467 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-12T01:09:44,927 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-12T01:09:45,526 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2023-09-12T01:09:45,532 ar: creating libladr.a 2023-09-12T01:09:45,767 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:45,768 make[2]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:45,769 cd mace4.src && make all 2023-09-12T01:09:45,782 make[2]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:45,782 cd ../ladr && make libladr.a 2023-09-12T01:09:45,813 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:45,813 make[3]: 'libladr.a' is up to date. 2023-09-12T01:09:45,814 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:45,815 make clean 2023-09-12T01:09:45,824 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:45,824 /bin/rm -f *.o 2023-09-12T01:09:45,833 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:45,834 make libmace4.a 2023-09-12T01:09:45,844 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:45,844 gcc -O -Wall -c -o estack.o estack.c 2023-09-12T01:09:46,028 gcc -O -Wall -c -o util.o util.c 2023-09-12T01:09:46,176 gcc -O -Wall -c -o print.o print.c 2023-09-12T01:09:46,612 gcc -O -Wall -c -o syms.o syms.c 2023-09-12T01:09:46,851 gcc -O -Wall -c -o ground.o ground.c 2023-09-12T01:09:47,326 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-12T01:09:47,752 gcc -O -Wall -c -o select.o select.c 2023-09-12T01:09:48,117 select.c: In function ‘select_concentric_band’: 2023-09-12T01:09:48,118 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:09:48,118 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-12T01:09:48,119 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T01:09:48,120 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:09:48,121 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:09:48,251 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-12T01:09:48,654 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-12T01:09:48,873 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-12T01:09:49,234 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-12T01:09:49,585 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-12T01:09:49,799 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-12T01:09:50,061 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-12T01:09:50,256 msearch.c: In function ‘next_domain_size’: 2023-09-12T01:09:50,256 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T01:09:50,257 850 | int next_domain_size(n) 2023-09-12T01:09:50,258 | ^~~~~~~~~~~~~~~~ 2023-09-12T01:09:50,549 msearch.c: In function ‘mace4’: 2023-09-12T01:09:50,550 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-12T01:09:50,551 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:09:50,551 | ^~ 2023-09-12T01:09:50,552 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-12T01:09:50,552 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:09:50,553 | ^~~~~~~~~~~~~~~~ 2023-09-12T01:09:50,554 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-12T01:09:50,555 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T01:09:50,555 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T01:09:50,736 ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o 2023-09-12T01:09:50,743 ar: creating libmace4.a 2023-09-12T01:09:50,847 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:50,850 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-12T01:09:51,020 mace4.c: In function ‘init_attrs’: 2023-09-12T01:09:51,021 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:51,022 36 | int id; 2023-09-12T01:09:51,023 | ^~ 2023-09-12T01:09:51,112 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-12T01:09:51,293 /bin/mv mace4 ../bin 2023-09-12T01:09:51,301 make[2]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:51,301 cd provers.src && make all 2023-09-12T01:09:51,317 make[2]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:51,318 cd ../ladr && make libladr 2023-09-12T01:09:51,330 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:51,331 make libladr.a 2023-09-12T01:09:51,355 make[4]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:51,355 make[4]: 'libladr.a' is up to date. 2023-09-12T01:09:51,356 make[4]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:51,357 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:51,357 make clean 2023-09-12T01:09:51,365 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:51,366 /bin/rm -f *.o 2023-09-12T01:09:51,372 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:51,373 cd ../mace4.src && make libmace4 2023-09-12T01:09:51,383 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:51,384 make libmace4.a 2023-09-12T01:09:51,393 make[4]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:51,394 make[4]: 'libmace4.a' is up to date. 2023-09-12T01:09:51,395 make[4]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:51,395 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T01:09:51,396 make clean 2023-09-12T01:09:51,404 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:51,404 /bin/rm -f *.o 2023-09-12T01:09:51,412 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:51,413 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-12T01:09:51,603 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-12T01:09:51,838 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-12T01:09:52,019 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-12T01:09:52,235 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-12T01:09:52,489 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-12T01:09:52,778 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-12T01:09:53,004 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-12T01:09:53,456 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-12T01:09:53,680 gcc -O -Wall -c -o actions.o actions.c 2023-09-12T01:09:53,967 gcc -O -Wall -c -o search.o search.c 2023-09-12T01:09:55,687 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-12T01:09:56,210 gcc -O -Wall -c -o provers.o provers.c 2023-09-12T01:09:56,505 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-12T01:09:56,767 gcc -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:56,961 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-12T01:09:57,176 gcc -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:57,369 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-12T01:09:57,588 gcc -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:57,785 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-12T01:09:58,029 gcc -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:58,222 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-12T01:09:58,470 gcc -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:58,657 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-12T01:09:58,855 gcc -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:59,048 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-12T01:09:59,195 tptp_to_ladr.c: In function ‘main’: 2023-09-12T01:09:59,196 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:09:59,197 84 | int i; 2023-09-12T01:09:59,198 | ^ 2023-09-12T01:09:59,281 gcc -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2023-09-12T01:09:59,474 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-12T01:09:59,539 /bin/rm -f *.o 2023-09-12T01:09:59,552 make[2]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T01:09:59,552 cd apps.src && make all 2023-09-12T01:09:59,564 make[2]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T01:09:59,565 cd ../ladr && make libladr.a 2023-09-12T01:09:59,607 make[3]: Entering directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:59,608 make[3]: 'libladr.a' is up to date. 2023-09-12T01:09:59,608 make[3]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T01:09:59,609 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-12T01:09:59,841 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-12T01:09:59,990 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-12T01:10:00,383 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-12T01:10:00,528 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-12T01:10:00,663 clausefilter.c: In function ‘main’: 2023-09-12T01:10:00,663 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:00,664 109 | int i; 2023-09-12T01:10:00,665 | ^ 2023-09-12T01:10:00,764 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-12T01:10:00,910 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-12T01:10:01,142 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-12T01:10:01,301 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-12T01:10:01,707 renamer.c: In function ‘main’: 2023-09-12T01:10:01,708 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:01,710 54 | int i; 2023-09-12T01:10:01,711 | ^ 2023-09-12T01:10:01,754 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-12T01:10:01,901 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-12T01:10:02,073 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-12T01:10:02,222 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-12T01:10:02,435 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-12T01:10:02,597 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-12T01:10:02,803 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-12T01:10:02,950 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-12T01:10:03,207 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-12T01:10:03,363 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-12T01:10:03,596 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-12T01:10:03,744 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-12T01:10:03,995 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-12T01:10:04,165 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-12T01:10:04,360 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-12T01:10:04,514 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-12T01:10:04,648 interpfilter.c: In function ‘main’: 2023-09-12T01:10:04,650 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:04,651 66 | int i; 2023-09-12T01:10:04,651 | ^ 2023-09-12T01:10:04,717 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-12T01:10:04,889 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-12T01:10:05,139 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-12T01:10:05,295 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-12T01:10:05,470 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-12T01:10:05,615 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-12T01:10:05,885 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-12T01:10:06,033 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-12T01:10:06,186 prooftrans.c: In function ‘main’: 2023-09-12T01:10:06,187 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:06,188 225 | int label_attr, answer_attr, props_attr; 2023-09-12T01:10:06,188 | ^~~~~~~~~~ 2023-09-12T01:10:06,189 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:06,190 222 | int rc, n, number_of_proofs; 2023-09-12T01:10:06,191 | ^~ 2023-09-12T01:10:06,427 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-12T01:10:06,575 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-12T01:10:06,713 mirror-flip.c: In function ‘main’: 2023-09-12T01:10:06,715 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:06,716 129 | int i; 2023-09-12T01:10:06,716 | ^ 2023-09-12T01:10:06,792 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-12T01:10:06,943 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-12T01:10:07,118 perm3.c: In function ‘main’: 2023-09-12T01:10:07,119 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:07,120 120 | int i; 2023-09-12T01:10:07,121 | ^ 2023-09-12T01:10:07,463 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-12T01:10:07,667 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-12T01:10:07,835 sigtest.c: In function ‘main’: 2023-09-12T01:10:07,837 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:07,838 33 | int i; 2023-09-12T01:10:07,839 | ^ 2023-09-12T01:10:07,909 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-12T01:10:08,096 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-12T01:10:08,272 directproof.c: In function ‘main’: 2023-09-12T01:10:08,272 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:08,273 645 | int label_attr, answer_attr, props_attr; 2023-09-12T01:10:08,274 | ^~~~~~~~~~ 2023-09-12T01:10:08,275 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:08,276 645 | int label_attr, answer_attr, props_attr; 2023-09-12T01:10:08,277 | ^~~~~~~~~~ 2023-09-12T01:10:08,277 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:08,278 642 | int rc, n, number_of_proofs; 2023-09-12T01:10:08,279 | ^~ 2023-09-12T01:10:08,828 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-12T01:10:09,882 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-12T01:10:10,072 test_clause_eval.c: In function ‘main’: 2023-09-12T01:10:10,073 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:10,074 31 | int i; 2023-09-12T01:10:10,075 | ^ 2023-09-12T01:10:10,122 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-12T01:10:10,277 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-12T01:10:12,623 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-12T01:10:13,045 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T01:10:13,698 complex.c: In function ‘complex4_p1’: 2023-09-12T01:10:13,699 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:13,701 79 | BOOL dummy; 2023-09-12T01:10:13,706 | ^~~~~ 2023-09-12T01:10:13,708 complex.c: In function ‘main’: 2023-09-12T01:10:13,710 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-12T01:10:13,718 126 | double d; 2023-09-12T01:10:13,719 | ^ 2023-09-12T01:10:13,808 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-12T01:10:13,986 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-12T01:10:14,370 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-12T01:10:14,564 /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin 2023-09-12T01:10:14,596 /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs 2023-09-12T01:10:14,625 make[2]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T01:10:14,626 /bin/cp -p utilities/* bin 2023-09-12T01:10:14,673 **** Now try 'make test1'. **** 2023-09-12T01:10:14,677 make[1]: Leaving directory '/tmp/pip-wheel-uouaf0va/provers_e6068f07c0704a0aaec8cfac8ea5253c/provers/bin/tmp/LADR-2009-11A' 2023-09-12T01:10:14,677 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-12T01:10:14,742 cp tmp/LADR-2009-11A/bin/interpformat . 2023-09-12T01:10:15,256 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-12T01:10:15,300 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-12T01:10:15,341 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-12T01:10:15,412 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-12T01:10:15,448 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-12T01:10:15,475 rm -rf tmp 2023-09-12T01:10:15,803 mkdir tmp || true 2023-09-12T01:10:15,816 cd tmp && git clone https://github.com/eprover/eprover.git || true 2023-09-12T01:10:15,827 Cloning into 'eprover'... 2023-09-12T01:10:15,871 fatal: transport 'https' not allowed 2023-09-12T01:10:15,884 cd tmp/eprover && ./configure 2023-09-12T01:10:15,888 /bin/sh: 1: cd: can't cd to tmp/eprover 2023-09-12T01:10:15,888 make: *** [Makefile:35: eprover] Error 2 2023-09-12T01:10:15,891 creating build 2023-09-12T01:10:15,892 creating build/lib.linux-armv7l-cpython-311 2023-09-12T01:10:15,893 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:10:15,895 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:10:15,898 copying provers/fol.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:10:15,901 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:10:15,904 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T01:10:15,909 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,910 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,921 copying provers/bin/interpformat -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,933 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,944 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,962 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,972 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,984 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T01:10:15,998 running build_ext 2023-09-12T01:10:16,059 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-12T01:10:16,060 !! 2023-09-12T01:10:16,061 ******************************************************************************** 2023-09-12T01:10:16,062 Please avoid running ``setup.py`` directly. 2023-09-12T01:10:16,062 Instead, use pypa/build, pypa/installer or other 2023-09-12T01:10:16,063 standards-based tools. 2023-09-12T01:10:16,064 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-12T01:10:16,065 ******************************************************************************** 2023-09-12T01:10:16,066 !! 2023-09-12T01:10:16,067 self.initialize_options() 2023-09-12T01:10:16,089 installing to build/bdist.linux-armv7l/wheel 2023-09-12T01:10:16,090 running install 2023-09-12T01:10:16,114 running install_lib 2023-09-12T01:10:16,143 creating build/bdist.linux-armv7l 2023-09-12T01:10:16,143 creating build/bdist.linux-armv7l/wheel 2023-09-12T01:10:16,145 creating build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:10:16,146 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:10:16,148 copying build/lib.linux-armv7l-cpython-311/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:10:16,150 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:10:16,152 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,153 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,163 copying build/lib.linux-armv7l-cpython-311/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,170 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,178 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,185 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,287 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,298 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T01:10:16,312 copying build/lib.linux-armv7l-cpython-311/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T01:10:16,316 running install_egg_info 2023-09-12T01:10:16,381 running egg_info 2023-09-12T01:10:16,410 writing provers.egg-info/PKG-INFO 2023-09-12T01:10:16,414 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-12T01:10:16,415 writing entry points to provers.egg-info/entry_points.txt 2023-09-12T01:10:16,417 writing top-level names to provers.egg-info/top_level.txt 2023-09-12T01:10:16,515 listing git files failed - pretending there aren't any 2023-09-12T01:10:16,517 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T01:10:16,520 reading manifest template 'MANIFEST.in' 2023-09-12T01:10:16,521 adding license file 'LICENSE' 2023-09-12T01:10:16,523 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T01:10:16,525 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.13-py3.11.egg-info 2023-09-12T01:10:16,536 running install_scripts 2023-09-12T01:10:16,593 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.dist-info/WHEEL 2023-09-12T01:10:16,595 creating '/tmp/pip-wheel-5bvifnv2/provers-0.1.13-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-12T01:10:16,598 adding 'provers/__init__.py' 2023-09-12T01:10:16,599 adding 'provers/fol.py' 2023-09-12T01:10:16,602 adding 'provers/prover9.py' 2023-09-12T01:10:16,604 adding 'provers/util.py' 2023-09-12T01:10:16,684 adding 'provers/bin/interpformat' 2023-09-12T01:10:16,765 adding 'provers/bin/isofilter' 2023-09-12T01:10:16,874 adding 'provers/bin/ladr_to_tptp' 2023-09-12T01:10:16,971 adding 'provers/bin/mace4' 2023-09-12T01:10:17,406 adding 'provers/bin/prooftrans' 2023-09-12T01:10:17,569 adding 'provers/bin/prover9' 2023-09-12T01:10:17,831 adding 'provers/bin/tptp_to_ladr' 2023-09-12T01:10:17,842 adding 'provers-0.1.13.dist-info/LICENSE' 2023-09-12T01:10:17,843 adding 'provers-0.1.13.dist-info/METADATA' 2023-09-12T01:10:17,845 adding 'provers-0.1.13.dist-info/WHEEL' 2023-09-12T01:10:17,846 adding 'provers-0.1.13.dist-info/entry_points.txt' 2023-09-12T01:10:17,847 adding 'provers-0.1.13.dist-info/top_level.txt' 2023-09-12T01:10:17,848 adding 'provers-0.1.13.dist-info/RECORD' 2023-09-12T01:10:17,903 removing build/bdist.linux-armv7l/wheel 2023-09-12T01:10:18,031 Building wheel for provers (setup.py): finished with status 'done' 2023-09-12T01:10:18,048 Created wheel for provers: filename=provers-0.1.13-cp311-cp311-linux_armv7l.whl size=1108809 sha256=54a0a61e9481cceadb5402fecbaf66d9ca1b8afdcc2a2fa9eff8b563b28664cc 2023-09-12T01:10:18,049 Stored in directory: /tmp/pip-ephem-wheel-cache-sa2bh5q6/wheels/10/7e/4e/7a8c7f2e9d01f58501ba3a237d382d43b4233a627135e7033f 2023-09-12T01:10:18,063 Successfully built provers 2023-09-12T01:10:18,111 Removed build tracker: '/tmp/pip-build-tracker-wsywgoo8'