2023-09-12T14:15:23,330 Created temporary directory: /tmp/pip-build-tracker-z0xurpkb 2023-09-12T14:15:23,331 Initialized build tracking at /tmp/pip-build-tracker-z0xurpkb 2023-09-12T14:15:23,332 Created build tracker: /tmp/pip-build-tracker-z0xurpkb 2023-09-12T14:15:23,332 Entered build tracker: /tmp/pip-build-tracker-z0xurpkb 2023-09-12T14:15:23,333 Created temporary directory: /tmp/pip-wheel-a5_ujvd1 2023-09-12T14:15:23,336 Created temporary directory: /tmp/pip-ephem-wheel-cache-f5q1cdyk 2023-09-12T14:15:23,357 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2023-09-12T14:15:23,361 2 location(s) to search for versions of provers: 2023-09-12T14:15:23,361 * https://pypi.org/simple/provers/ 2023-09-12T14:15:23,361 * https://www.piwheels.org/simple/provers/ 2023-09-12T14:15:23,362 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2023-09-12T14:15:23,363 Getting page https://pypi.org/simple/provers/ 2023-09-12T14:15:23,364 Found index url https://pypi.org/simple/ 2023-09-12T14:15:23,509 Fetched page https://pypi.org/simple/provers/ as application/vnd.pypi.simple.v1+json 2023-09-12T14:15:23,514 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-12T14:15:23,515 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-12T14:15:23,516 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-12T14:15:23,517 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-12T14:15:23,518 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-12T14:15:23,519 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-12T14:15:23,520 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-12T14:15:23,521 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-12T14:15:23,522 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-12T14:15:23,523 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-12T14:15:23,524 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-12T14:15:23,525 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-12T14:15:23,526 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-12T14:15:23,527 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-12T14:15:23,528 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-12T14:15:23,529 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-12T14:15:23,530 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-12T14:15:23,531 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-12T14:15:23,532 Fetching project page and analyzing links: https://www.piwheels.org/simple/provers/ 2023-09-12T14:15:23,532 Getting page https://www.piwheels.org/simple/provers/ 2023-09-12T14:15:23,533 Found index url https://www.piwheels.org/simple/ 2023-09-12T14:15:31,425 Fetched page https://www.piwheels.org/simple/provers/ as text/html 2023-09-12T14:15:31,458 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-12T14:15:31,459 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-12T14:15:31,460 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-12T14:15:31,461 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-12T14:15:31,461 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-12T14:15:31,462 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-12T14:15:31,463 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-12T14:15:31,464 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-12T14:15:31,465 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-12T14:15:31,466 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-12T14:15:31,466 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-12T14:15:31,467 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-12T14:15:31,468 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-12T14:15:31,468 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-12T14:15:31,469 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-12T14:15:31,470 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-12T14:15:31,470 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-12T14:15:31,471 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-12T14:15:31,472 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-12T14:15:31,473 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-12T14:15:31,473 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-12T14:15:31,474 Skipping link: No binaries permitted for provers: https://www.piwheels.org/simple/provers/provers-0.1.15-cp39-cp39-linux_armv6l.whl#sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e (from https://www.piwheels.org/simple/provers/) (requires-python:>=3.5) 2023-09-12T14:15:31,475 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-12T14:15:31,476 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-12T14:15:31,476 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-12T14:15:31,477 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-12T14:15:31,478 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-12T14:15:31,478 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-12T14:15:31,479 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-12T14:15:31,479 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-12T14:15:31,480 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-12T14:15:31,481 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-12T14:15:31,482 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-12T14:15:31,482 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-12T14:15:31,483 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-12T14:15:31,484 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-12T14:15:31,485 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-12T14:15:31,485 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-12T14:15:31,486 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-12T14:15:31,486 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-12T14:15:31,489 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-12T14:15:31,490 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-12T14:15:31,490 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-12T14:15:31,491 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-12T14:15:31,492 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-12T14:15:31,493 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-12T14:15:31,493 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-12T14:15:31,494 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-12T14:15:31,495 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-12T14:15:31,495 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-12T14:15:31,496 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-12T14:15:31,497 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-12T14:15:31,498 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-12T14:15:31,498 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-12T14:15:31,499 Skipping link: not a file: https://www.piwheels.org/simple/provers/ 2023-09-12T14:15:31,499 Skipping link: not a file: https://pypi.org/simple/provers/ 2023-09-12T14:15:31,529 Given no hashes to check 1 links for project 'provers': discarding no candidates 2023-09-12T14:15:31,554 Collecting provers==0.1.16 2023-09-12T14:15:31,557 Created temporary directory: /tmp/pip-unpack-h1rehqs8 2023-09-12T14:15:32,267 Downloading provers-0.1.16.tar.gz (22 kB) 2023-09-12T14:15:32,326 Added provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz to build tracker '/tmp/pip-build-tracker-z0xurpkb' 2023-09-12T14:15:32,329 Running setup.py (path:/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/setup.py) egg_info for package provers 2023-09-12T14:15:32,330 Created temporary directory: /tmp/pip-pip-egg-info-44fem12q 2023-09-12T14:15:32,331 Preparing metadata (setup.py): started 2023-09-12T14:15:32,333 Running command python setup.py egg_info 2023-09-12T14:15:33,075 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T14:15:33,075 !! 2023-09-12T14:15:33,076 ******************************************************************************** 2023-09-12T14:15:33,077 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T14:15:33,077 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T14:15:33,078 ******************************************************************************** 2023-09-12T14:15:33,079 !! 2023-09-12T14:15:33,079 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T14:15:36,142 running egg_info 2023-09-12T14:15:36,143 creating /tmp/pip-pip-egg-info-44fem12q/provers.egg-info 2023-09-12T14:15:36,172 writing /tmp/pip-pip-egg-info-44fem12q/provers.egg-info/PKG-INFO 2023-09-12T14:15:36,175 writing dependency_links to /tmp/pip-pip-egg-info-44fem12q/provers.egg-info/dependency_links.txt 2023-09-12T14:15:36,176 writing entry points to /tmp/pip-pip-egg-info-44fem12q/provers.egg-info/entry_points.txt 2023-09-12T14:15:36,178 writing top-level names to /tmp/pip-pip-egg-info-44fem12q/provers.egg-info/top_level.txt 2023-09-12T14:15:36,179 writing manifest file '/tmp/pip-pip-egg-info-44fem12q/provers.egg-info/SOURCES.txt' 2023-09-12T14:15:36,334 listing git files failed - pretending there aren't any 2023-09-12T14:15:36,340 reading manifest file '/tmp/pip-pip-egg-info-44fem12q/provers.egg-info/SOURCES.txt' 2023-09-12T14:15:36,341 reading manifest template 'MANIFEST.in' 2023-09-12T14:15:36,342 warning: no previously-included files found matching 'provers/bin/*' 2023-09-12T14:15:36,343 adding license file 'LICENSE' 2023-09-12T14:15:36,345 writing manifest file '/tmp/pip-pip-egg-info-44fem12q/provers.egg-info/SOURCES.txt' 2023-09-12T14:15:36,460 Preparing metadata (setup.py): finished with status 'done' 2023-09-12T14:15:36,464 Source in /tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996 has version 0.1.16, which satisfies requirement provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz 2023-09-12T14:15:36,464 Removed provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz from build tracker '/tmp/pip-build-tracker-z0xurpkb' 2023-09-12T14:15:36,469 Created temporary directory: /tmp/pip-unpack-c7ejum0f 2023-09-12T14:15:36,470 Created temporary directory: /tmp/pip-unpack-foo_mgyv 2023-09-12T14:15:36,473 Building wheels for collected packages: provers 2023-09-12T14:15:36,477 Created temporary directory: /tmp/pip-wheel-46623m3x 2023-09-12T14:15:36,477 Building wheel for provers (setup.py): started 2023-09-12T14:15:36,478 Destination directory: /tmp/pip-wheel-46623m3x 2023-09-12T14:15:36,479 Running command python setup.py bdist_wheel 2023-09-12T14:15:37,150 /usr/local/lib/python3.11/dist-packages/setuptools/__init__.py:80: _DeprecatedInstaller: setuptools.installer and fetch_build_eggs are deprecated. 2023-09-12T14:15:37,150 !! 2023-09-12T14:15:37,151 ******************************************************************************** 2023-09-12T14:15:37,152 Requirements should be satisfied by a PEP 517 installer. 2023-09-12T14:15:37,153 If you are using pip, you can try `pip install --use-pep517`. 2023-09-12T14:15:37,153 ******************************************************************************** 2023-09-12T14:15:37,154 !! 2023-09-12T14:15:37,155 dist.fetch_build_eggs(dist.setup_requires) 2023-09-12T14:15:37,769 running bdist_wheel 2023-09-12T14:15:37,876 running build 2023-09-12T14:15:37,877 running build_py 2023-09-12T14:15:37,885 mkdir tmp || true 2023-09-12T14:15:37,893 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T14:15:37,917 --2023-09-12 14:15:37-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2023-09-12T14:15:38,218 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2023-09-12T14:15:38,339 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2023-09-12T14:15:38,762 HTTP request sent, awaiting response... 200 OK 2023-09-12T14:15:38,763 Length: 1795750 (1.7M) [application/x-gzip] 2023-09-12T14:15:38,764 Saving to: ‘LADR-2009-11A.tar.gz’ 2023-09-12T14:15:39,005 0K .......... .......... .......... .......... .......... 2% 207K 8s 2023-09-12T14:15:39,123 50K .......... .......... .......... .......... .......... 5% 423K 6s 2023-09-12T14:15:39,130 100K .......... .......... .......... .......... .......... 8% 7.03M 4s 2023-09-12T14:15:39,245 150K .......... .......... .......... .......... .......... 11% 435K 4s 2023-09-12T14:15:39,249 200K .......... .......... .......... .......... .......... 14% 11.5M 3s 2023-09-12T14:15:39,253 250K .......... .......... .......... .......... .......... 17% 12.9M 2s 2023-09-12T14:15:39,257 300K .......... .......... .......... .......... .......... 19% 13.6M 2s 2023-09-12T14:15:39,366 350K .......... .......... .......... .......... .......... 22% 458K 2s 2023-09-12T14:15:39,369 400K .......... .......... .......... .......... .......... 25% 14.4M 2s 2023-09-12T14:15:39,373 450K .......... .......... .......... .......... .......... 28% 12.3M 2s 2023-09-12T14:15:39,376 500K .......... .......... .......... .......... .......... 31% 13.9M 1s 2023-09-12T14:15:39,380 550K .......... .......... .......... .......... .......... 34% 15.1M 1s 2023-09-12T14:15:39,383 600K .......... .......... .......... .......... .......... 37% 13.2M 1s 2023-09-12T14:15:39,387 650K .......... .......... .......... .......... .......... 39% 15.4M 1s 2023-09-12T14:15:39,390 700K .......... .......... .......... .......... .......... 42% 13.3M 1s 2023-09-12T14:15:39,393 750K .......... .......... .......... .......... .......... 45% 15.4M 1s 2023-09-12T14:15:39,490 800K .......... .......... .......... .......... .......... 48% 520K 1s 2023-09-12T14:15:39,493 850K .......... .......... .......... .......... .......... 51% 13.9M 1s 2023-09-12T14:15:39,496 900K .......... .......... .......... .......... .......... 54% 16.0M 1s 2023-09-12T14:15:39,500 950K .......... .......... .......... .......... .......... 57% 14.3M 1s 2023-09-12T14:15:39,503 1000K .......... .......... .......... .......... .......... 59% 16.0M 0s 2023-09-12T14:15:39,506 1050K .......... .......... .......... .......... .......... 62% 13.4M 0s 2023-09-12T14:15:39,510 1100K .......... .......... .......... .......... .......... 65% 11.6M 0s 2023-09-12T14:15:39,514 1150K .......... .......... .......... .......... .......... 68% 13.6M 0s 2023-09-12T14:15:39,518 1200K .......... .......... .......... .......... .......... 71% 11.5M 0s 2023-09-12T14:15:39,522 1250K .......... .......... .......... .......... .......... 74% 13.5M 0s 2023-09-12T14:15:39,526 1300K .......... .......... .......... .......... .......... 76% 13.5M 0s 2023-09-12T14:15:39,530 1350K .......... .......... .......... .......... .......... 79% 11.7M 0s 2023-09-12T14:15:39,533 1400K .......... .......... .......... .......... .......... 82% 13.5M 0s 2023-09-12T14:15:39,538 1450K .......... .......... .......... .......... .......... 85% 11.6M 0s 2023-09-12T14:15:39,541 1500K .......... .......... .......... .......... .......... 88% 13.5M 0s 2023-09-12T14:15:39,545 1550K .......... .......... .......... .......... .......... 91% 13.5M 0s 2023-09-12T14:15:39,609 1600K .......... .......... .......... .......... .......... 94% 774K 0s 2023-09-12T14:15:39,612 1650K .......... .......... .......... .......... .......... 96% 18.8M 0s 2023-09-12T14:15:39,615 1700K .......... .......... .......... .......... .......... 99% 16.2M 0s 2023-09-12T14:15:39,616 1750K ... 100% 6.82T=0.9s 2023-09-12T14:15:39,639 2023-09-12 14:15:39 (2.01 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2023-09-12T14:15:39,643 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2023-09-12T14:15:40,420 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2023-09-12T14:15:40,437 cd tmp/LADR-2009-11A && make all 2023-09-12T14:15:40,451 make[1]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A' 2023-09-12T14:15:40,452 cd ladr && make lib 2023-09-12T14:15:40,474 make[2]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:15:40,475 make libladr.a 2023-09-12T14:15:40,489 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:15:40,490 gcc -O -Wall -c -o order.o order.c 2023-09-12T14:15:40,685 gcc -O -Wall -c -o clock.o clock.c 2023-09-12T14:15:40,913 gcc -O -Wall -c -o nonport.o nonport.c 2023-09-12T14:15:41,017 gcc -O -Wall -c -o fatal.o fatal.c 2023-09-12T14:15:41,141 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2023-09-12T14:15:41,342 gcc -O -Wall -c -o memory.o memory.c 2023-09-12T14:15:41,582 gcc -O -Wall -c -o hash.o hash.c 2023-09-12T14:15:41,779 gcc -O -Wall -c -o string.o string.c 2023-09-12T14:15:42,016 gcc -O -Wall -c -o strbuf.o strbuf.c 2023-09-12T14:15:42,326 gcc -O -Wall -c -o glist.o glist.c 2023-09-12T14:15:42,965 gcc -O -Wall -c -o options.o options.c 2023-09-12T14:15:43,498 gcc -O -Wall -c -o symbols.o symbols.c 2023-09-12T14:15:43,608 symbols.c: In function ‘declare_base_symbols’: 2023-09-12T14:15:43,609 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:15:43,609 1304 | int sn; 2023-09-12T14:15:43,610 | ^~ 2023-09-12T14:15:44,497 gcc -O -Wall -c -o avltree.o avltree.c 2023-09-12T14:15:44,872 gcc -O -Wall -c -o term.o term.c 2023-09-12T14:15:45,785 gcc -O -Wall -c -o termflag.o termflag.c 2023-09-12T14:15:45,977 gcc -O -Wall -c -o listterm.o listterm.c 2023-09-12T14:15:46,170 gcc -O -Wall -c -o tlist.o tlist.c 2023-09-12T14:15:46,332 gcc -O -Wall -c -o flatterm.o flatterm.c 2023-09-12T14:15:46,587 gcc -O -Wall -c -o multiset.o multiset.c 2023-09-12T14:15:46,792 gcc -O -Wall -c -o termorder.o termorder.c 2023-09-12T14:15:47,253 gcc -O -Wall -c -o parse.o parse.c 2023-09-12T14:15:48,038 gcc -O -Wall -c -o accanon.o accanon.c 2023-09-12T14:15:48,230 gcc -O -Wall -c -o unify.o unify.c 2023-09-12T14:15:48,671 gcc -O -Wall -c -o fpalist.o fpalist.c 2023-09-12T14:15:48,989 gcc -O -Wall -c -o fpa.o fpa.c 2023-09-12T14:15:49,510 gcc -O -Wall -c -o discrim.o discrim.c 2023-09-12T14:15:49,693 gcc -O -Wall -c -o discrimb.o discrimb.c 2023-09-12T14:15:49,815 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2023-09-12T14:15:49,816 487 | Flat2 check_flat2(Flat2 f) 2023-09-12T14:15:49,817 | ^~~~~~~~~~~ 2023-09-12T14:15:50,059 gcc -O -Wall -c -o discrimw.o discrimw.c 2023-09-12T14:15:50,185 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2023-09-12T14:15:50,185 146 | Flat check_flat(Flat f) 2023-09-12T14:15:50,186 | ^~~~~~~~~~ 2023-09-12T14:15:50,507 gcc -O -Wall -c -o dioph.o dioph.c 2023-09-12T14:15:51,074 gcc -O -Wall -c -o btu.o btu.c 2023-09-12T14:15:51,722 gcc -O -Wall -c -o btm.o btm.c 2023-09-12T14:15:52,376 gcc -O -Wall -c -o mindex.o mindex.c 2023-09-12T14:15:52,494 mindex.c: In function ‘mindex_retrieve_next’: 2023-09-12T14:15:52,494 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:15:52,495 650 | Trail tr; 2023-09-12T14:15:52,495 | ^~ 2023-09-12T14:15:52,692 gcc -O -Wall -c -o basic.o basic.c 2023-09-12T14:15:52,917 gcc -O -Wall -c -o attrib.o attrib.c 2023-09-12T14:15:53,365 gcc -O -Wall -c -o formula.o formula.c 2023-09-12T14:15:54,233 gcc -O -Wall -c -o definitions.o definitions.c 2023-09-12T14:15:54,505 gcc -O -Wall -c -o literals.o literals.c 2023-09-12T14:15:54,950 gcc -O -Wall -c -o topform.o topform.c 2023-09-12T14:15:55,350 gcc -O -Wall -c -o clist.o clist.c 2023-09-12T14:15:55,790 gcc -O -Wall -c -o clauseid.o clauseid.c 2023-09-12T14:15:55,998 gcc -O -Wall -c -o clauses.o clauses.c 2023-09-12T14:15:56,224 gcc -O -Wall -c -o just.o just.c 2023-09-12T14:15:57,049 gcc -O -Wall -c -o cnf.o cnf.c 2023-09-12T14:15:57,665 gcc -O -Wall -c -o clausify.o clausify.c 2023-09-12T14:15:57,887 gcc -O -Wall -c -o parautil.o parautil.c 2023-09-12T14:15:58,197 gcc -O -Wall -c -o pindex.o pindex.c 2023-09-12T14:15:58,598 gcc -O -Wall -c -o compress.o compress.c 2023-09-12T14:15:58,785 gcc -O -Wall -c -o maximal.o maximal.c 2023-09-12T14:15:59,009 gcc -O -Wall -c -o lindex.o lindex.c 2023-09-12T14:15:59,197 gcc -O -Wall -c -o weight.o weight.c 2023-09-12T14:15:59,484 gcc -O -Wall -c -o weight2.o weight2.c 2023-09-12T14:15:59,654 gcc -O -Wall -c -o int_code.o int_code.c 2023-09-12T14:15:59,932 gcc -O -Wall -c -o features.o features.c 2023-09-12T14:16:00,138 gcc -O -Wall -c -o di_tree.o di_tree.c 2023-09-12T14:16:00,423 gcc -O -Wall -c -o fastparse.o fastparse.c 2023-09-12T14:16:00,667 gcc -O -Wall -c -o random.o random.c 2023-09-12T14:16:00,927 gcc -O -Wall -c -o subsume.o subsume.c 2023-09-12T14:16:01,347 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2023-09-12T14:16:01,560 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2023-09-12T14:16:01,809 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T14:16:02,192 complex.c: In function ‘complex4_p1’: 2023-09-12T14:16:02,193 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:02,194 275 | BOOL dummy; 2023-09-12T14:16:02,195 | ^~~~~ 2023-09-12T14:16:02,389 gcc -O -Wall -c -o dollar.o dollar.c 2023-09-12T14:16:02,770 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2023-09-12T14:16:02,894 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2023-09-12T14:16:02,896 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T14:16:02,897 122 | if (status == BACKTRACK) { 2023-09-12T14:16:02,898 | ^~ 2023-09-12T14:16:02,899 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:02,900 158 | Discrim dd = NULL; 2023-09-12T14:16:02,901 | ^~ 2023-09-12T14:16:02,901 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2023-09-12T14:16:02,902 167 | if (status == GO) { 2023-09-12T14:16:02,903 | ^~ 2023-09-12T14:16:03,060 gcc -O -Wall -c -o demod.o demod.c 2023-09-12T14:16:03,185 demod.c: In function ‘demod1’: 2023-09-12T14:16:03,185 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:03,186 376 | Term result; 2023-09-12T14:16:03,187 | ^~~~~~ 2023-09-12T14:16:03,387 gcc -O -Wall -c -o clash.o clash.c 2023-09-12T14:16:03,733 clash.c: In function ‘clash_recurse’: 2023-09-12T14:16:03,734 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T14:16:03,735 283 | else if (!p->clashable | p->clashed) 2023-09-12T14:16:03,736 | ^~~~~~~~~~~~~ 2023-09-12T14:16:04,112 gcc -O -Wall -c -o resolve.o resolve.c 2023-09-12T14:16:04,633 gcc -O -Wall -c -o paramod.o paramod.c 2023-09-12T14:16:04,758 paramod.c: In function ‘para_into’: 2023-09-12T14:16:04,759 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2023-09-12T14:16:04,760 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2023-09-12T14:16:05,002 gcc -O -Wall -c -o backdemod.o backdemod.c 2023-09-12T14:16:05,244 gcc -O -Wall -c -o hints.o hints.c 2023-09-12T14:16:05,522 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2023-09-12T14:16:05,867 gcc -O -Wall -c -o xproofs.o xproofs.c 2023-09-12T14:16:06,248 gcc -O -Wall -c -o ivy.o ivy.c 2023-09-12T14:16:06,383 ivy.c: In function ‘factor2_instances’: 2023-09-12T14:16:06,384 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:06,385 633 | Literals l1i, l2i, lit; 2023-09-12T14:16:06,385 | ^~~ 2023-09-12T14:16:06,748 gcc -O -Wall -c -o interp.o interp.c 2023-09-12T14:16:06,885 interp.c: In function ‘transpose_binary’: 2023-09-12T14:16:06,886 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:06,887 358 | int i, rc; 2023-09-12T14:16:06,887 | ^~ 2023-09-12T14:16:08,579 gcc -O -Wall -c -o std_options.o std_options.c 2023-09-12T14:16:08,725 gcc -O -Wall -c -o banner.o banner.c 2023-09-12T14:16:08,887 gcc -O -Wall -c -o ioutil.o ioutil.c 2023-09-12T14:16:09,315 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2023-09-12T14:16:09,765 gcc -O -Wall -c -o top_input.o top_input.c 2023-09-12T14:16:10,366 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-12T14:16:10,371 ar: creating libladr.a 2023-09-12T14:16:10,603 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:10,604 make[2]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:10,604 cd mace4.src && make all 2023-09-12T14:16:10,616 make[2]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:10,616 cd ../ladr && make libladr.a 2023-09-12T14:16:10,643 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:10,643 make[3]: 'libladr.a' is up to date. 2023-09-12T14:16:10,644 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:10,644 make clean 2023-09-12T14:16:10,651 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:10,652 /bin/rm -f *.o 2023-09-12T14:16:10,659 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:10,660 make libmace4.a 2023-09-12T14:16:10,668 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:10,669 gcc -O -Wall -c -o estack.o estack.c 2023-09-12T14:16:10,847 gcc -O -Wall -c -o util.o util.c 2023-09-12T14:16:10,994 gcc -O -Wall -c -o print.o print.c 2023-09-12T14:16:11,429 gcc -O -Wall -c -o syms.o syms.c 2023-09-12T14:16:11,667 gcc -O -Wall -c -o ground.o ground.c 2023-09-12T14:16:12,127 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2023-09-12T14:16:12,555 gcc -O -Wall -c -o select.o select.c 2023-09-12T14:16:12,696 select.c: In function ‘select_concentric_band’: 2023-09-12T14:16:12,697 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T14:16:12,697 236 | int select_concentric_band(min_id, max_id, max_constrained) 2023-09-12T14:16:12,698 | ^~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T14:16:12,698 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T14:16:12,699 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T14:16:12,829 gcc -O -Wall -c -o propagate.o propagate.c 2023-09-12T14:16:13,233 gcc -O -Wall -c -o mstate.o mstate.c 2023-09-12T14:16:13,451 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2023-09-12T14:16:13,812 gcc -O -Wall -c -o negprop.o negprop.c 2023-09-12T14:16:14,157 gcc -O -Wall -c -o ordercells.o ordercells.c 2023-09-12T14:16:14,371 gcc -O -Wall -c -o commandline.o commandline.c 2023-09-12T14:16:14,637 gcc -O -Wall -c -o msearch.o msearch.c 2023-09-12T14:16:14,788 msearch.c: In function ‘next_domain_size’: 2023-09-12T14:16:14,789 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2023-09-12T14:16:14,789 850 | int next_domain_size(n) 2023-09-12T14:16:14,790 | ^~~~~~~~~~~~~~~~ 2023-09-12T14:16:15,075 msearch.c: In function ‘mace4’: 2023-09-12T14:16:15,076 msearch.c:892:31: warning: ‘%d’ directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] 2023-09-12T14:16:15,077 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T14:16:15,077 | ^~ 2023-09-12T14:16:15,078 msearch.c:892:18: note: directive argument in the range [2, 2147483647] 2023-09-12T14:16:15,078 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T14:16:15,078 | ^~~~~~~~~~~~~~~~ 2023-09-12T14:16:15,079 msearch.c:892:5: note: ‘sprintf’ output between 14 and 23 bytes into a destination of size 20 2023-09-12T14:16:15,079 892 | sprintf(str, "DOMAIN SIZE %d", n); 2023-09-12T14:16:15,080 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2023-09-12T14:16:15,261 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-12T14:16:15,266 ar: creating libmace4.a 2023-09-12T14:16:15,358 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:15,361 gcc -O -Wall -c -o mace4.o mace4.c 2023-09-12T14:16:15,518 mace4.c: In function ‘init_attrs’: 2023-09-12T14:16:15,519 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:15,519 36 | int id; 2023-09-12T14:16:15,520 | ^~ 2023-09-12T14:16:15,606 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2023-09-12T14:16:15,770 /bin/mv mace4 ../bin 2023-09-12T14:16:15,779 make[2]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:15,780 cd provers.src && make all 2023-09-12T14:16:15,792 make[2]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:15,793 cd ../ladr && make libladr 2023-09-12T14:16:15,807 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:15,808 make libladr.a 2023-09-12T14:16:15,834 make[4]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:15,835 make[4]: 'libladr.a' is up to date. 2023-09-12T14:16:15,835 make[4]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:15,836 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:15,836 make clean 2023-09-12T14:16:15,847 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:15,849 /bin/rm -f *.o 2023-09-12T14:16:15,872 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:15,873 cd ../mace4.src && make libmace4 2023-09-12T14:16:16,096 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:16,097 make libmace4.a 2023-09-12T14:16:16,109 make[4]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:16,109 make[4]: 'libmace4.a' is up to date. 2023-09-12T14:16:16,111 make[4]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:16,111 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/mace4.src' 2023-09-12T14:16:16,112 make clean 2023-09-12T14:16:16,120 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:16,120 /bin/rm -f *.o 2023-09-12T14:16:16,128 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:16,129 gcc -O -Wall -c -o prover9.o prover9.c 2023-09-12T14:16:16,337 gcc -O -Wall -c -o index_lits.o index_lits.c 2023-09-12T14:16:16,586 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2023-09-12T14:16:16,984 gcc -O -Wall -c -o demodulate.o demodulate.c 2023-09-12T14:16:17,209 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2023-09-12T14:16:17,486 gcc -O -Wall -c -o unfold.o unfold.c 2023-09-12T14:16:18,007 gcc -O -Wall -c -o semantics.o semantics.c 2023-09-12T14:16:18,270 gcc -O -Wall -c -o giv_select.o giv_select.c 2023-09-12T14:16:18,684 gcc -O -Wall -c -o white_black.o white_black.c 2023-09-12T14:16:18,908 gcc -O -Wall -c -o actions.o actions.c 2023-09-12T14:16:19,198 gcc -O -Wall -c -o search.o search.c 2023-09-12T14:16:20,928 gcc -O -Wall -c -o utilities.o utilities.c 2023-09-12T14:16:21,449 gcc -O -Wall -c -o provers.o provers.c 2023-09-12T14:16:21,747 gcc -O -Wall -c -o foffer.o foffer.c 2023-09-12T14:16:22,010 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-12T14:16:22,203 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2023-09-12T14:16:22,390 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-12T14:16:22,580 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2023-09-12T14:16:22,798 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-12T14:16:22,985 gcc -O -Wall -c -o newauto.o newauto.c 2023-09-12T14:16:23,248 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-12T14:16:23,445 gcc -O -Wall -c -o newsax.o newsax.c 2023-09-12T14:16:23,698 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-12T14:16:23,892 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2023-09-12T14:16:24,125 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-12T14:16:24,333 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2023-09-12T14:16:24,469 tptp_to_ladr.c: In function ‘main’: 2023-09-12T14:16:24,471 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:24,472 84 | int i; 2023-09-12T14:16:24,472 | ^ 2023-09-12T14:16:24,555 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-12T14:16:24,757 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2023-09-12T14:16:24,824 /bin/rm -f *.o 2023-09-12T14:16:24,837 make[2]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/provers.src' 2023-09-12T14:16:24,838 cd apps.src && make all 2023-09-12T14:16:24,851 make[2]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T14:16:24,852 cd ../ladr && make libladr.a 2023-09-12T14:16:24,896 make[3]: Entering directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:24,897 make[3]: 'libladr.a' is up to date. 2023-09-12T14:16:24,897 make[3]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/ladr' 2023-09-12T14:16:24,899 gcc -O -Wall -c -o latfilter.o latfilter.c 2023-09-12T14:16:25,136 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2023-09-12T14:16:25,285 gcc -O -Wall -c -o olfilter.o olfilter.c 2023-09-12T14:16:25,683 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2023-09-12T14:16:25,872 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2023-09-12T14:16:26,008 clausefilter.c: In function ‘main’: 2023-09-12T14:16:26,009 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:26,010 109 | int i; 2023-09-12T14:16:26,011 | ^ 2023-09-12T14:16:26,108 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2023-09-12T14:16:26,283 gcc -O -Wall -c -o idfilter.o idfilter.c 2023-09-12T14:16:26,529 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2023-09-12T14:16:26,725 gcc -O -Wall -c -o renamer.o renamer.c 2023-09-12T14:16:26,866 renamer.c: In function ‘main’: 2023-09-12T14:16:26,868 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:26,869 54 | int i; 2023-09-12T14:16:26,870 | ^ 2023-09-12T14:16:26,913 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2023-09-12T14:16:27,084 gcc -O -Wall -c -o unfast.o unfast.c 2023-09-12T14:16:27,266 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2023-09-12T14:16:27,413 gcc -O -Wall -c -o clausetester.o clausetester.c 2023-09-12T14:16:27,622 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2023-09-12T14:16:27,776 gcc -O -Wall -c -o rewriter.o rewriter.c 2023-09-12T14:16:27,980 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2023-09-12T14:16:28,126 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2023-09-12T14:16:28,350 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2023-09-12T14:16:28,500 gcc -O -Wall -c -o isofilter.o isofilter.c 2023-09-12T14:16:28,733 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2023-09-12T14:16:28,887 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2023-09-12T14:16:29,121 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2023-09-12T14:16:29,272 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2023-09-12T14:16:29,452 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2023-09-12T14:16:29,602 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2023-09-12T14:16:29,740 interpfilter.c: In function ‘main’: 2023-09-12T14:16:29,741 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:29,742 66 | int i; 2023-09-12T14:16:29,743 | ^ 2023-09-12T14:16:29,808 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2023-09-12T14:16:29,966 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2023-09-12T14:16:30,243 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2023-09-12T14:16:30,392 gcc -O -Wall -c -o miniscope.o miniscope.c 2023-09-12T14:16:30,567 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2023-09-12T14:16:30,713 gcc -O -Wall -c -o interpformat.o interpformat.c 2023-09-12T14:16:31,023 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2023-09-12T14:16:31,175 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2023-09-12T14:16:31,318 prooftrans.c: In function ‘main’: 2023-09-12T14:16:31,320 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:31,321 225 | int label_attr, answer_attr, props_attr; 2023-09-12T14:16:31,321 | ^~~~~~~~~~ 2023-09-12T14:16:31,322 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:31,322 222 | int rc, n, number_of_proofs; 2023-09-12T14:16:31,323 | ^~ 2023-09-12T14:16:31,556 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2023-09-12T14:16:31,732 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2023-09-12T14:16:31,867 mirror-flip.c: In function ‘main’: 2023-09-12T14:16:31,869 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:31,870 129 | int i; 2023-09-12T14:16:31,870 | ^ 2023-09-12T14:16:31,945 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2023-09-12T14:16:32,093 gcc -O -Wall -c -o perm3.o perm3.c 2023-09-12T14:16:32,228 perm3.c: In function ‘main’: 2023-09-12T14:16:32,229 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:32,230 120 | int i; 2023-09-12T14:16:32,231 | ^ 2023-09-12T14:16:32,321 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2023-09-12T14:16:32,469 gcc -O -Wall -c -o sigtest.o sigtest.c 2023-09-12T14:16:32,604 sigtest.c: In function ‘main’: 2023-09-12T14:16:32,605 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:32,606 33 | int i; 2023-09-12T14:16:32,607 | ^ 2023-09-12T14:16:32,657 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2023-09-12T14:16:32,808 gcc -O -Wall -c -o directproof.o directproof.c 2023-09-12T14:16:32,954 directproof.c: In function ‘main’: 2023-09-12T14:16:32,955 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:32,956 645 | int label_attr, answer_attr, props_attr; 2023-09-12T14:16:32,956 | ^~~~~~~~~~ 2023-09-12T14:16:32,957 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:32,957 645 | int label_attr, answer_attr, props_attr; 2023-09-12T14:16:32,958 | ^~~~~~~~~~ 2023-09-12T14:16:32,959 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:32,960 642 | int rc, n, number_of_proofs; 2023-09-12T14:16:32,960 | ^~ 2023-09-12T14:16:33,320 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2023-09-12T14:16:33,474 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2023-09-12T14:16:33,613 test_clause_eval.c: In function ‘main’: 2023-09-12T14:16:33,615 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:33,615 31 | int i; 2023-09-12T14:16:33,616 | ^ 2023-09-12T14:16:33,663 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2023-09-12T14:16:33,846 gcc -O -Wall -c -o test_complex.o test_complex.c 2023-09-12T14:16:34,069 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2023-09-12T14:16:34,217 gcc -O -Wall -c -o complex.o complex.c 2023-09-12T14:16:34,351 complex.c: In function ‘complex4_p1’: 2023-09-12T14:16:34,351 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:34,353 79 | BOOL dummy; 2023-09-12T14:16:34,354 | ^~~~~ 2023-09-12T14:16:34,354 complex.c: In function ‘main’: 2023-09-12T14:16:34,355 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2023-09-12T14:16:34,356 126 | double d; 2023-09-12T14:16:34,356 | ^ 2023-09-12T14:16:34,428 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2023-09-12T14:16:34,576 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2023-09-12T14:16:34,938 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2023-09-12T14:16:35,085 /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-12T14:16:35,103 /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-12T14:16:35,120 make[2]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A/apps.src' 2023-09-12T14:16:35,121 /bin/cp -p utilities/* bin 2023-09-12T14:16:35,149 **** Now try 'make test1'. **** 2023-09-12T14:16:35,152 make[1]: Leaving directory '/tmp/pip-wheel-a5_ujvd1/provers_96b2445b1c7948a1b8057f287b44a996/provers/bin/tmp/LADR-2009-11A' 2023-09-12T14:16:35,152 cp tmp/LADR-2009-11A/bin/isofilter . 2023-09-12T14:16:35,170 cp tmp/LADR-2009-11A/bin/interpformat . 2023-09-12T14:16:35,189 cp tmp/LADR-2009-11A/bin/prooftrans . 2023-09-12T14:16:35,210 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2023-09-12T14:16:35,224 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2023-09-12T14:16:35,238 cp tmp/LADR-2009-11A/bin/mace4 . 2023-09-12T14:16:35,256 cp tmp/LADR-2009-11A/bin/prover9 . 2023-09-12T14:16:35,270 rm -rf tmp 2023-09-12T14:16:35,464 creating build 2023-09-12T14:16:35,464 creating build/lib.linux-armv7l-cpython-311 2023-09-12T14:16:35,465 creating build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,467 copying provers/prover9.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,470 copying provers/util.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,472 copying provers/__init__.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,474 copying provers/eprover.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,476 copying provers/fol.py -> build/lib.linux-armv7l-cpython-311/provers 2023-09-12T14:16:35,480 creating build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,481 copying provers/bin/isofilter -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,494 copying provers/bin/interpformat -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,505 copying provers/bin/prooftrans -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,516 copying provers/bin/tptp_to_ladr -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,529 copying provers/bin/ladr_to_tptp -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,546 copying provers/bin/mace4 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,561 copying provers/bin/prover9 -> build/lib.linux-armv7l-cpython-311/provers/bin 2023-09-12T14:16:35,574 running build_ext 2023-09-12T14:16:35,615 /usr/local/lib/python3.11/dist-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. 2023-09-12T14:16:35,616 !! 2023-09-12T14:16:35,617 ******************************************************************************** 2023-09-12T14:16:35,618 Please avoid running ``setup.py`` directly. 2023-09-12T14:16:35,618 Instead, use pypa/build, pypa/installer or other 2023-09-12T14:16:35,619 standards-based tools. 2023-09-12T14:16:35,620 See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html for details. 2023-09-12T14:16:35,620 ******************************************************************************** 2023-09-12T14:16:35,621 !! 2023-09-12T14:16:35,622 self.initialize_options() 2023-09-12T14:16:35,658 installing to build/bdist.linux-armv7l/wheel 2023-09-12T14:16:35,659 running install 2023-09-12T14:16:35,695 running install_lib 2023-09-12T14:16:35,725 creating build/bdist.linux-armv7l 2023-09-12T14:16:35,726 creating build/bdist.linux-armv7l/wheel 2023-09-12T14:16:35,728 creating build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,729 copying build/lib.linux-armv7l-cpython-311/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,732 copying build/lib.linux-armv7l-cpython-311/provers/util.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,734 copying build/lib.linux-armv7l-cpython-311/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,736 copying build/lib.linux-armv7l-cpython-311/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,738 creating build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,739 copying build/lib.linux-armv7l-cpython-311/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,746 copying build/lib.linux-armv7l-cpython-311/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,756 copying build/lib.linux-armv7l-cpython-311/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,766 copying build/lib.linux-armv7l-cpython-311/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,773 copying build/lib.linux-armv7l-cpython-311/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,780 copying build/lib.linux-armv7l-cpython-311/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,789 copying build/lib.linux-armv7l-cpython-311/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers/bin 2023-09-12T14:16:35,797 copying build/lib.linux-armv7l-cpython-311/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers 2023-09-12T14:16:35,798 running install_egg_info 2023-09-12T14:16:35,856 running egg_info 2023-09-12T14:16:35,883 writing provers.egg-info/PKG-INFO 2023-09-12T14:16:35,886 writing dependency_links to provers.egg-info/dependency_links.txt 2023-09-12T14:16:35,888 writing entry points to provers.egg-info/entry_points.txt 2023-09-12T14:16:35,889 writing top-level names to provers.egg-info/top_level.txt 2023-09-12T14:16:35,981 listing git files failed - pretending there aren't any 2023-09-12T14:16:35,983 reading manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T14:16:35,985 reading manifest template 'MANIFEST.in' 2023-09-12T14:16:35,987 adding license file 'LICENSE' 2023-09-12T14:16:35,989 writing manifest file 'provers.egg-info/SOURCES.txt' 2023-09-12T14:16:35,990 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.16-py3.11.egg-info 2023-09-12T14:16:35,999 running install_scripts 2023-09-12T14:16:36,055 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.dist-info/WHEEL 2023-09-12T14:16:36,057 creating '/tmp/pip-wheel-46623m3x/provers-0.1.16-cp311-cp311-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2023-09-12T14:16:36,059 adding 'provers/__init__.py' 2023-09-12T14:16:36,061 adding 'provers/eprover.py' 2023-09-12T14:16:36,062 adding 'provers/fol.py' 2023-09-12T14:16:36,065 adding 'provers/prover9.py' 2023-09-12T14:16:36,067 adding 'provers/util.py' 2023-09-12T14:16:36,145 adding 'provers/bin/interpformat' 2023-09-12T14:16:36,225 adding 'provers/bin/isofilter' 2023-09-12T14:16:36,335 adding 'provers/bin/ladr_to_tptp' 2023-09-12T14:16:36,428 adding 'provers/bin/mace4' 2023-09-12T14:16:36,503 adding 'provers/bin/prooftrans' 2023-09-12T14:16:36,610 adding 'provers/bin/prover9' 2023-09-12T14:16:36,721 adding 'provers/bin/tptp_to_ladr' 2023-09-12T14:16:36,732 adding 'provers-0.1.16.dist-info/LICENSE' 2023-09-12T14:16:36,733 adding 'provers-0.1.16.dist-info/METADATA' 2023-09-12T14:16:36,734 adding 'provers-0.1.16.dist-info/WHEEL' 2023-09-12T14:16:36,734 adding 'provers-0.1.16.dist-info/entry_points.txt' 2023-09-12T14:16:36,735 adding 'provers-0.1.16.dist-info/top_level.txt' 2023-09-12T14:16:36,736 adding 'provers-0.1.16.dist-info/RECORD' 2023-09-12T14:16:36,749 removing build/bdist.linux-armv7l/wheel 2023-09-12T14:16:36,871 Building wheel for provers (setup.py): finished with status 'done' 2023-09-12T14:16:36,887 Created wheel for provers: filename=provers-0.1.16-cp311-cp311-linux_armv7l.whl size=1111606 sha256=eea5d4929ac28dc67c7c06cdf4d4cbd9d080b5aa32440aa76a39eda04ec5a328 2023-09-12T14:16:36,889 Stored in directory: /tmp/pip-ephem-wheel-cache-f5q1cdyk/wheels/e9/89/92/59fe909876b299c7fd1eb6695190278f426a48e9c5df6805ff 2023-09-12T14:16:36,900 Successfully built provers 2023-09-12T14:16:36,929 Removed build tracker: '/tmp/pip-build-tracker-z0xurpkb'