2021-07-15T03:45:14,647 Created temporary directory: /tmp/pip-ephem-wheel-cache-_4wmepfp 2021-07-15T03:45:14,649 Created temporary directory: /tmp/pip-req-tracker-n__9q81c 2021-07-15T03:45:14,650 Initialized build tracking at /tmp/pip-req-tracker-n__9q81c 2021-07-15T03:45:14,650 Created build tracker: /tmp/pip-req-tracker-n__9q81c 2021-07-15T03:45:14,650 Entered build tracker: /tmp/pip-req-tracker-n__9q81c 2021-07-15T03:45:14,651 Created temporary directory: /tmp/pip-wheel-xzt9b3_u 2021-07-15T03:45:14,681 1 location(s) to search for versions of provers: 2021-07-15T03:45:14,681 * https://pypi.org/simple/provers/ 2021-07-15T03:45:14,682 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-15T03:45:14,682 Getting page https://pypi.org/simple/provers/ 2021-07-15T03:45:14,684 Found index url https://pypi.org/simple 2021-07-15T03:45:14,780 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz#sha256=5c364393f3307a69967f9b674535b9970a4f3e971f9be6e70d6719919c874201 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2021-07-15T03:45:14,781 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz#sha256=8e363ff54aad4188f10b7d5c1815a88a00522af206f3033a514e3d7d3a5d1510 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2021-07-15T03:45:14,782 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz#sha256=32dee5d680e6bd6450fac8a50fdc673088594ccf98c74693a7713b35ab9eba28 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2021-07-15T03:45:14,782 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2021-07-15T03:45:14,783 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2021-07-15T03:45:14,783 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz#sha256=2a97cb3a56fb9b58f676e8a40449b731237d3d6db6816e2221149cdf348f1b64 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2021-07-15T03:45:14,784 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz#sha256=4617929a75c520e3faae9f17c0eeb709c707810a7b8b45d1a7ad7184cdaef969 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2021-07-15T03:45:14,784 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz#sha256=3519a75cf648dcdb030b94bdf5333bbcbaa3b93f18b7e2e5ebf3ec1e87d0b8c4 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2021-07-15T03:45:14,785 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz#sha256=4eaba71a1c4d64d2bbd46638346f25ace92d9bae2b8077b0ea2011e5a9be5651 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2021-07-15T03:45:14,786 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz#sha256=b758dc230e5cac9b2d2b77de55c13bb14b40261c91313428f06764980b862b7e (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2021-07-15T03:45:14,786 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz#sha256=73a578ffd8c23b0a10653abd21eb108700a2f0d6fad03cc5bd52bff86a8261ed (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2021-07-15T03:45:14,787 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz#sha256=b59ceb0b1c13dd36b43929c475bd652214d323491529662d96c4995994953535 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2021-07-15T03:45:14,787 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2021-07-15T03:45:14,788 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2021-07-15T03:45:14,788 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2021-07-15T03:45:14,789 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2021-07-15T03:45:14,790 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2021-07-15T03:45:14,790 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2021-07-15T03:45:14,790 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-15T03:45:14,810 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-15T03:45:14,832 Collecting provers==0.1.13 2021-07-15T03:45:14,833 Created temporary directory: /tmp/pip-unpack-ftkj5ia3 2021-07-15T03:45:15,011 Downloading provers-0.1.13.tar.gz (20 kB) 2021-07-15T03:45:15,067 Added provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 to build tracker '/tmp/pip-req-tracker-n__9q81c' 2021-07-15T03:45:15,068 Running setup.py (path:/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/setup.py) egg_info for package provers 2021-07-15T03:45:15,069 Created temporary directory: /tmp/pip-pip-egg-info-orcdonrl 2021-07-15T03:45:15,069 Running command python setup.py egg_info 2021-07-15T03:45:16,340 running egg_info 2021-07-15T03:45:16,342 creating /tmp/pip-pip-egg-info-orcdonrl/provers.egg-info 2021-07-15T03:45:16,343 writing /tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/PKG-INFO 2021-07-15T03:45:16,346 writing dependency_links to /tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/dependency_links.txt 2021-07-15T03:45:16,347 writing entry points to /tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/entry_points.txt 2021-07-15T03:45:16,349 writing top-level names to /tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/top_level.txt 2021-07-15T03:45:16,351 writing manifest file '/tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/SOURCES.txt' 2021-07-15T03:45:16,562 reading manifest file '/tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/SOURCES.txt' 2021-07-15T03:45:16,564 reading manifest template 'MANIFEST.in' 2021-07-15T03:45:16,565 warning: no previously-included files found matching 'provers/bin/*' 2021-07-15T03:45:16,566 adding license file 'LICENSE' 2021-07-15T03:45:16,568 writing manifest file '/tmp/pip-pip-egg-info-orcdonrl/provers.egg-info/SOURCES.txt' 2021-07-15T03:45:16,656 Source in /tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514 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#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 2021-07-15T03:45:16,657 Removed provers==0.1.13 from https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 from build tracker '/tmp/pip-req-tracker-n__9q81c' 2021-07-15T03:45:16,663 Created temporary directory: /tmp/pip-unpack-3fkgf02h 2021-07-15T03:45:16,663 Building wheels for collected packages: provers 2021-07-15T03:45:16,667 Created temporary directory: /tmp/pip-wheel-s03b3h20 2021-07-15T03:45:16,667 Building wheel for provers (setup.py): started 2021-07-15T03:45:16,668 Destination directory: /tmp/pip-wheel-s03b3h20 2021-07-15T03:45:16,668 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-s03b3h20 2021-07-15T03:45:17,971 running bdist_wheel 2021-07-15T03:45:18,140 running build 2021-07-15T03:45:18,140 running build_py 2021-07-15T03:45:18,153 mkdir tmp || true 2021-07-15T03:45:18,163 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T03:45:18,188 --2021-07-15 03:45:18-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T03:45:18,515 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-15T03:45:18,649 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-15T03:45:19,060 HTTP request sent, awaiting response... 200 OK 2021-07-15T03:45:19,060 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-15T03:45:19,062 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-15T03:45:19,328 0K .......... .......... .......... .......... .......... 2% 189K 9s 2021-07-15T03:45:19,460 50K .......... .......... .......... .......... .......... 5% 380K 7s 2021-07-15T03:45:19,468 100K .......... .......... .......... .......... .......... 8% 5.93M 4s 2021-07-15T03:45:19,590 150K .......... .......... .......... .......... .......... 11% 410K 4s 2021-07-15T03:45:19,596 200K .......... .......... .......... .......... .......... 14% 6.79M 3s 2021-07-15T03:45:19,601 250K .......... .......... .......... .......... .......... 17% 10.6M 3s 2021-07-15T03:45:19,606 300K .......... .......... .......... .......... .......... 19% 10.5M 2s 2021-07-15T03:45:19,609 350K .......... .......... .......... .......... .......... 22% 15.6M 2s 2021-07-15T03:45:19,725 400K .......... .......... .......... .......... .......... 25% 429K 2s 2021-07-15T03:45:19,730 450K .......... .......... .......... .......... .......... 28% 11.0M 2s 2021-07-15T03:45:19,733 500K .......... .......... .......... .......... .......... 31% 12.8M 1s 2021-07-15T03:45:19,737 550K .......... .......... .......... .......... .......... 34% 15.6M 1s 2021-07-15T03:45:19,740 600K .......... .......... .......... .......... .......... 37% 15.3M 1s 2021-07-15T03:45:19,743 650K .......... .......... .......... .......... .......... 39% 16.5M 1s 2021-07-15T03:45:19,746 700K .......... .......... .......... .......... .......... 42% 16.4M 1s 2021-07-15T03:45:19,749 750K .......... .......... .......... .......... .......... 45% 16.5M 1s 2021-07-15T03:45:19,752 800K .......... .......... .......... .......... .......... 48% 15.5M 1s 2021-07-15T03:45:19,858 850K .......... .......... .......... .......... .......... 51% 469K 1s 2021-07-15T03:45:19,863 900K .......... .......... .......... .......... .......... 54% 10.5M 1s 2021-07-15T03:45:19,868 950K .......... .......... .......... .......... .......... 57% 10.2M 1s 2021-07-15T03:45:19,873 1000K .......... .......... .......... .......... .......... 59% 10.2M 1s 2021-07-15T03:45:19,877 1050K .......... .......... .......... .......... .......... 62% 10.5M 0s 2021-07-15T03:45:19,879 1100K .......... .......... .......... .......... .......... 65% 22.5M 0s 2021-07-15T03:45:19,882 1150K .......... .......... .......... .......... .......... 68% 27.2M 0s 2021-07-15T03:45:19,883 1200K .......... .......... .......... .......... .......... 71% 21.1M 0s 2021-07-15T03:45:19,885 1250K .......... .......... .......... .......... .......... 74% 27.4M 0s 2021-07-15T03:45:19,887 1300K .......... .......... .......... .......... .......... 76% 27.7M 0s 2021-07-15T03:45:19,889 1350K .......... .......... .......... .......... .......... 79% 27.1M 0s 2021-07-15T03:45:19,891 1400K .......... .......... .......... .......... .......... 82% 26.4M 0s 2021-07-15T03:45:19,892 1450K .......... .......... .......... .......... .......... 85% 27.4M 0s 2021-07-15T03:45:19,894 1500K .......... .......... .......... .......... .......... 88% 27.1M 0s 2021-07-15T03:45:19,896 1550K .......... .......... .......... .......... .......... 91% 27.5M 0s 2021-07-15T03:45:19,898 1600K .......... .......... .......... .......... .......... 94% 21.3M 0s 2021-07-15T03:45:19,900 1650K .......... .......... .......... .......... .......... 96% 27.7M 0s 2021-07-15T03:45:19,902 1700K .......... .......... .......... .......... .......... 99% 30.3M 0s 2021-07-15T03:45:19,902 1750K ... 100% 37.9M=0.8s 2021-07-15T03:45:19,927 2021-07-15 03:45:19 (2.04 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-15T03:45:19,928 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-15T03:45:20,966 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-15T03:45:20,983 cd tmp/LADR-2009-11A && make all 2021-07-15T03:45:20,998 make[1]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A' 2021-07-15T03:45:20,999 cd ladr && make lib 2021-07-15T03:45:21,022 make[2]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:21,023 make libladr.a 2021-07-15T03:45:21,037 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:21,037 gcc -O -Wall -c -o order.o order.c 2021-07-15T03:45:21,205 gcc -O -Wall -c -o clock.o clock.c 2021-07-15T03:45:21,434 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-15T03:45:21,554 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-15T03:45:21,692 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-15T03:45:21,890 gcc -O -Wall -c -o memory.o memory.c 2021-07-15T03:45:22,104 gcc -O -Wall -c -o hash.o hash.c 2021-07-15T03:45:22,312 gcc -O -Wall -c -o string.o string.c 2021-07-15T03:45:22,559 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-15T03:45:22,823 gcc -O -Wall -c -o glist.o glist.c 2021-07-15T03:45:23,372 gcc -O -Wall -c -o options.o options.c 2021-07-15T03:45:23,842 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-15T03:45:23,959 symbols.c: In function ‘declare_base_symbols’: 2021-07-15T03:45:23,959 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:23,959 1304 | int sn; 2021-07-15T03:45:23,959 | ^~ 2021-07-15T03:45:24,701 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-15T03:45:25,038 gcc -O -Wall -c -o term.o term.c 2021-07-15T03:45:25,765 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-15T03:45:25,962 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-15T03:45:26,154 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-15T03:45:26,327 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-15T03:45:26,578 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-15T03:45:26,754 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-15T03:45:27,166 gcc -O -Wall -c -o parse.o parse.c 2021-07-15T03:45:27,860 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-15T03:45:28,054 gcc -O -Wall -c -o unify.o unify.c 2021-07-15T03:45:28,453 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-15T03:45:28,756 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-15T03:45:29,222 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-15T03:45:29,407 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-15T03:45:29,530 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-15T03:45:29,531 487 | Flat2 check_flat2(Flat2 f) 2021-07-15T03:45:29,531 | ^~~~~~~~~~~ 2021-07-15T03:45:29,747 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-15T03:45:29,873 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-15T03:45:29,874 146 | Flat check_flat(Flat f) 2021-07-15T03:45:29,874 | ^~~~~~~~~~ 2021-07-15T03:45:30,133 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-15T03:45:30,629 gcc -O -Wall -c -o btu.o btu.c 2021-07-15T03:45:31,214 gcc -O -Wall -c -o btm.o btm.c 2021-07-15T03:45:31,811 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-15T03:45:31,928 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-15T03:45:31,928 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:31,928 650 | Trail tr; 2021-07-15T03:45:31,928 | ^~ 2021-07-15T03:45:32,111 gcc -O -Wall -c -o basic.o basic.c 2021-07-15T03:45:32,335 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-15T03:45:32,740 gcc -O -Wall -c -o formula.o formula.c 2021-07-15T03:45:33,486 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-15T03:45:33,747 gcc -O -Wall -c -o literals.o literals.c 2021-07-15T03:45:34,146 gcc -O -Wall -c -o topform.o topform.c 2021-07-15T03:45:34,515 gcc -O -Wall -c -o clist.o clist.c 2021-07-15T03:45:34,972 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-15T03:45:35,184 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-15T03:45:35,405 gcc -O -Wall -c -o just.o just.c 2021-07-15T03:45:36,148 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-15T03:45:36,667 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-15T03:45:36,885 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-15T03:45:37,178 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-15T03:45:37,524 gcc -O -Wall -c -o compress.o compress.c 2021-07-15T03:45:37,713 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-15T03:45:37,931 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-15T03:45:38,129 gcc -O -Wall -c -o weight.o weight.c 2021-07-15T03:45:38,408 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-15T03:45:38,584 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-15T03:45:38,826 gcc -O -Wall -c -o features.o features.c 2021-07-15T03:45:39,036 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-15T03:45:39,307 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-15T03:45:39,519 gcc -O -Wall -c -o random.o random.c 2021-07-15T03:45:39,775 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-15T03:45:40,165 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-15T03:45:40,378 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-15T03:45:40,627 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T03:45:40,779 complex.c: In function ‘complex4_p1’: 2021-07-15T03:45:40,779 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:40,779 275 | BOOL dummy; 2021-07-15T03:45:40,779 | ^~~~~ 2021-07-15T03:45:40,921 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-15T03:45:41,278 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-15T03:45:41,403 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-15T03:45:41,404 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T03:45:41,404 122 | if (status == BACKTRACK) { 2021-07-15T03:45:41,404 | ^~ 2021-07-15T03:45:41,405 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:41,406 158 | Discrim dd = NULL; 2021-07-15T03:45:41,406 | ^~ 2021-07-15T03:45:41,406 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T03:45:41,406 167 | if (status == GO) { 2021-07-15T03:45:41,406 | ^~ 2021-07-15T03:45:41,558 gcc -O -Wall -c -o demod.o demod.c 2021-07-15T03:45:41,689 demod.c: In function ‘demod1’: 2021-07-15T03:45:41,690 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:41,690 376 | Term result; 2021-07-15T03:45:41,690 | ^~~~~~ 2021-07-15T03:45:41,874 gcc -O -Wall -c -o clash.o clash.c 2021-07-15T03:45:41,991 clash.c: In function ‘clash_recurse’: 2021-07-15T03:45:41,991 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T03:45:41,992 283 | else if (!p->clashable | p->clashed) 2021-07-15T03:45:41,992 | ^~~~~~~~~~~~~ 2021-07-15T03:45:42,115 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-15T03:45:42,595 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-15T03:45:42,720 paramod.c: In function ‘para_into’: 2021-07-15T03:45:42,720 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T03:45:42,720 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-15T03:45:42,940 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-15T03:45:43,180 gcc -O -Wall -c -o hints.o hints.c 2021-07-15T03:45:43,433 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-15T03:45:43,757 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-15T03:45:44,124 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-15T03:45:44,259 ivy.c: In function ‘factor2_instances’: 2021-07-15T03:45:44,259 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:44,259 633 | Literals l1i, l2i, lit; 2021-07-15T03:45:44,260 | ^~~ 2021-07-15T03:45:44,587 gcc -O -Wall -c -o interp.o interp.c 2021-07-15T03:45:44,722 interp.c: In function ‘transpose_binary’: 2021-07-15T03:45:44,722 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:44,722 358 | int i, rc; 2021-07-15T03:45:44,722 | ^~ 2021-07-15T03:45:46,144 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-15T03:45:46,298 gcc -O -Wall -c -o banner.o banner.c 2021-07-15T03:45:46,474 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-15T03:45:46,872 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-15T03:45:47,291 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-15T03:45:47,846 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2021-07-15T03:45:47,852 ar: creating libladr.a 2021-07-15T03:45:47,970 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:47,971 make[2]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:47,972 cd mace4.src && make all 2021-07-15T03:45:47,985 make[2]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:47,985 cd ../ladr && make libladr.a 2021-07-15T03:45:48,024 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:48,024 make[3]: 'libladr.a' is up to date. 2021-07-15T03:45:48,025 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:48,025 make clean 2021-07-15T03:45:48,034 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:48,034 /bin/rm -f *.o 2021-07-15T03:45:48,043 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:48,044 make libmace4.a 2021-07-15T03:45:48,055 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:48,055 gcc -O -Wall -c -o estack.o estack.c 2021-07-15T03:45:48,240 gcc -O -Wall -c -o util.o util.c 2021-07-15T03:45:48,399 gcc -O -Wall -c -o print.o print.c 2021-07-15T03:45:48,780 gcc -O -Wall -c -o syms.o syms.c 2021-07-15T03:45:49,029 gcc -O -Wall -c -o ground.o ground.c 2021-07-15T03:45:49,419 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-15T03:45:49,815 gcc -O -Wall -c -o select.o select.c 2021-07-15T03:45:49,949 select.c: In function ‘select_concentric_band’: 2021-07-15T03:45:49,949 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T03:45:49,949 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-15T03:45:49,950 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T03:45:49,950 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T03:45:49,950 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T03:45:50,077 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-15T03:45:50,456 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-15T03:45:50,680 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-15T03:45:51,014 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-15T03:45:51,314 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-15T03:45:51,535 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-15T03:45:51,799 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-15T03:45:51,952 msearch.c: In function ‘next_domain_size’: 2021-07-15T03:45:51,953 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T03:45:51,953 850 | int next_domain_size(n) 2021-07-15T03:45:51,953 | ^~~~~~~~~~~~~~~~ 2021-07-15T03:45:52,371 ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o 2021-07-15T03:45:52,377 ar: creating libmace4.a 2021-07-15T03:45:52,409 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,413 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-15T03:45:52,567 mace4.c: In function ‘init_attrs’: 2021-07-15T03:45:52,568 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:45:52,568 36 | int id; 2021-07-15T03:45:52,568 | ^~ 2021-07-15T03:45:52,660 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-15T03:45:52,866 /bin/mv mace4 ../bin 2021-07-15T03:45:52,875 make[2]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,877 cd provers.src && make all 2021-07-15T03:45:52,894 make[2]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:45:52,895 cd ../ladr && make libladr 2021-07-15T03:45:52,910 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:52,911 make libladr.a 2021-07-15T03:45:52,939 make[4]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:52,939 make[4]: 'libladr.a' is up to date. 2021-07-15T03:45:52,939 make[4]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:52,940 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:45:52,941 make clean 2021-07-15T03:45:52,950 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:45:52,950 /bin/rm -f *.o 2021-07-15T03:45:52,958 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:45:52,959 cd ../mace4.src && make libmace4 2021-07-15T03:45:52,973 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,973 make libmace4.a 2021-07-15T03:45:52,986 make[4]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,987 make[4]: 'libmace4.a' is up to date. 2021-07-15T03:45:52,987 make[4]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,987 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T03:45:52,988 make clean 2021-07-15T03:45:52,998 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:45:52,999 /bin/rm -f *.o 2021-07-15T03:45:53,008 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:45:53,010 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-15T03:45:53,216 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-15T03:45:53,423 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-15T03:45:53,612 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-15T03:45:53,836 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-15T03:45:54,085 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-15T03:45:54,385 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-15T03:45:54,615 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-15T03:45:55,003 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-15T03:45:55,233 gcc -O -Wall -c -o actions.o actions.c 2021-07-15T03:45:55,522 gcc -O -Wall -c -o search.o search.c 2021-07-15T03:45:57,033 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-15T03:45:57,512 gcc -O -Wall -c -o provers.o provers.c 2021-07-15T03:45:57,806 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-15T03:45:58,063 gcc -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:45:58,323 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-15T03:45:58,522 gcc -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:45:58,765 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-15T03:45:59,002 gcc -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:45:59,249 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-15T03:45:59,491 gcc -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:45:59,728 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-15T03:45:59,972 gcc -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:46:00,214 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-15T03:46:00,430 gcc -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:46:00,667 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-15T03:46:00,802 tptp_to_ladr.c: In function ‘main’: 2021-07-15T03:46:00,803 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:00,803 84 | int i; 2021-07-15T03:46:00,803 | ^ 2021-07-15T03:46:00,895 gcc -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T03:46:01,141 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-15T03:46:01,299 /bin/rm -f *.o 2021-07-15T03:46:01,315 make[2]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T03:46:01,315 cd apps.src && make all 2021-07-15T03:46:01,332 make[2]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T03:46:01,332 cd ../ladr && make libladr.a 2021-07-15T03:46:01,386 make[3]: Entering directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:46:01,387 make[3]: 'libladr.a' is up to date. 2021-07-15T03:46:01,387 make[3]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T03:46:01,389 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-15T03:46:01,625 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-15T03:46:01,826 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-15T03:46:02,189 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-15T03:46:02,370 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-15T03:46:02,504 clausefilter.c: In function ‘main’: 2021-07-15T03:46:02,504 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:02,504 109 | int i; 2021-07-15T03:46:02,504 | ^ 2021-07-15T03:46:02,604 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-15T03:46:02,796 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-15T03:46:03,035 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-15T03:46:03,223 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-15T03:46:03,371 renamer.c: In function ‘main’: 2021-07-15T03:46:03,371 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:03,371 54 | int i; 2021-07-15T03:46:03,372 | ^ 2021-07-15T03:46:03,433 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-15T03:46:03,629 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-15T03:46:03,811 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-15T03:46:04,003 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-15T03:46:04,228 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-15T03:46:04,428 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-15T03:46:04,654 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-15T03:46:04,843 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-15T03:46:05,079 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-15T03:46:05,281 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-15T03:46:05,522 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-15T03:46:05,711 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-15T03:46:05,944 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-15T03:46:06,127 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-15T03:46:06,311 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-15T03:46:06,499 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-15T03:46:06,635 interpfilter.c: In function ‘main’: 2021-07-15T03:46:06,635 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:06,636 66 | int i; 2021-07-15T03:46:06,636 | ^ 2021-07-15T03:46:06,710 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-15T03:46:06,895 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-15T03:46:07,139 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-15T03:46:07,328 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-15T03:46:07,519 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-15T03:46:07,699 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-15T03:46:07,964 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-15T03:46:08,149 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-15T03:46:08,295 prooftrans.c: In function ‘main’: 2021-07-15T03:46:08,296 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:08,296 225 | int label_attr, answer_attr, props_attr; 2021-07-15T03:46:08,297 | ^~~~~~~~~~ 2021-07-15T03:46:08,298 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:08,298 222 | int rc, n, number_of_proofs; 2021-07-15T03:46:08,298 | ^~ 2021-07-15T03:46:08,517 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-15T03:46:08,719 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-15T03:46:08,864 mirror-flip.c: In function ‘main’: 2021-07-15T03:46:08,864 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:08,864 129 | int i; 2021-07-15T03:46:08,864 | ^ 2021-07-15T03:46:08,947 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-15T03:46:09,149 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-15T03:46:09,305 perm3.c: In function ‘main’: 2021-07-15T03:46:09,306 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:09,306 120 | int i; 2021-07-15T03:46:09,307 | ^ 2021-07-15T03:46:09,406 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-15T03:46:09,620 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-15T03:46:09,757 sigtest.c: In function ‘main’: 2021-07-15T03:46:09,758 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:09,758 33 | int i; 2021-07-15T03:46:09,758 | ^ 2021-07-15T03:46:09,819 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-15T03:46:10,008 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-15T03:46:10,153 directproof.c: In function ‘main’: 2021-07-15T03:46:10,154 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:10,154 645 | int label_attr, answer_attr, props_attr; 2021-07-15T03:46:10,154 | ^~~~~~~~~~ 2021-07-15T03:46:10,155 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:10,155 645 | int label_attr, answer_attr, props_attr; 2021-07-15T03:46:10,155 | ^~~~~~~~~~ 2021-07-15T03:46:10,156 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:10,156 642 | int rc, n, number_of_proofs; 2021-07-15T03:46:10,156 | ^~ 2021-07-15T03:46:10,478 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-15T03:46:10,669 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-15T03:46:10,806 test_clause_eval.c: In function ‘main’: 2021-07-15T03:46:10,806 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:10,807 31 | int i; 2021-07-15T03:46:10,807 | ^ 2021-07-15T03:46:10,865 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-15T03:46:11,051 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-15T03:46:11,232 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-15T03:46:11,432 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T03:46:11,571 complex.c: In function ‘complex4_p1’: 2021-07-15T03:46:11,571 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:11,571 79 | BOOL dummy; 2021-07-15T03:46:11,572 | ^~~~~ 2021-07-15T03:46:11,573 complex.c: In function ‘main’: 2021-07-15T03:46:11,573 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-15T03:46:11,573 126 | double d; 2021-07-15T03:46:11,573 | ^ 2021-07-15T03:46:11,651 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-15T03:46:11,847 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-15T03:46:12,161 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-15T03:46:12,348 /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin 2021-07-15T03:46:12,371 /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs 2021-07-15T03:46:12,395 make[2]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T03:46:12,396 /bin/cp -p utilities/* bin 2021-07-15T03:46:12,437 **** Now try 'make test1'. **** 2021-07-15T03:46:12,441 make[1]: Leaving directory '/tmp/pip-wheel-xzt9b3_u/provers_af326679d3e0453ba6c3db7a4a30b514/provers/bin/tmp/LADR-2009-11A' 2021-07-15T03:46:12,442 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-15T03:46:12,475 cp tmp/LADR-2009-11A/bin/interpformat . 2021-07-15T03:46:12,496 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-15T03:46:12,518 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-15T03:46:12,545 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-15T03:46:12,572 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-15T03:46:12,600 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-15T03:46:12,620 rm -rf tmp 2021-07-15T03:46:12,883 mkdir tmp || true 2021-07-15T03:46:12,895 cd tmp && git clone https://github.com/eprover/eprover.git || true 2021-07-15T03:46:12,906 Cloning into 'eprover'... 2021-07-15T03:46:12,952 fatal: transport 'https' not allowed 2021-07-15T03:46:12,967 cd tmp/eprover && ./configure 2021-07-15T03:46:12,971 /bin/sh: 1: cd: can't cd to tmp/eprover 2021-07-15T03:46:12,972 make: *** [Makefile:35: eprover] Error 2 2021-07-15T03:46:12,977 creating build 2021-07-15T03:46:12,978 creating build/lib 2021-07-15T03:46:12,979 creating build/lib/provers 2021-07-15T03:46:12,981 copying provers/prover9.py -> build/lib/provers 2021-07-15T03:46:12,985 copying provers/fol.py -> build/lib/provers 2021-07-15T03:46:12,988 copying provers/__init__.py -> build/lib/provers 2021-07-15T03:46:12,991 copying provers/util.py -> build/lib/provers 2021-07-15T03:46:12,996 creating build/lib/provers/bin 2021-07-15T03:46:12,997 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-15T03:46:13,008 copying provers/bin/interpformat -> build/lib/provers/bin 2021-07-15T03:46:13,017 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-15T03:46:13,027 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-15T03:46:13,040 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-15T03:46:13,053 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-15T03:46:13,064 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-15T03:46:13,077 running build_ext 2021-07-15T03:46:13,087 installing to build/bdist.linux-armv7l/wheel 2021-07-15T03:46:13,087 running install 2021-07-15T03:46:13,089 running install_lib 2021-07-15T03:46:13,093 creating build/bdist.linux-armv7l 2021-07-15T03:46:13,093 creating build/bdist.linux-armv7l/wheel 2021-07-15T03:46:13,094 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.data 2021-07-15T03:46:13,095 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib 2021-07-15T03:46:13,097 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers 2021-07-15T03:46:13,098 copying build/lib/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers 2021-07-15T03:46:13,101 copying build/lib/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers 2021-07-15T03:46:13,104 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers 2021-07-15T03:46:13,106 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,108 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,119 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,131 copying build/lib/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,142 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,151 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,163 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,173 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers/bin 2021-07-15T03:46:13,189 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers 2021-07-15T03:46:13,191 running install_egg_info 2021-07-15T03:46:13,217 running egg_info 2021-07-15T03:46:13,219 writing provers.egg-info/PKG-INFO 2021-07-15T03:46:13,221 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-15T03:46:13,223 writing entry points to provers.egg-info/entry_points.txt 2021-07-15T03:46:13,225 writing top-level names to provers.egg-info/top_level.txt 2021-07-15T03:46:13,258 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T03:46:13,260 reading manifest template 'MANIFEST.in' 2021-07-15T03:46:13,263 adding license file 'LICENSE' 2021-07-15T03:46:13,266 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T03:46:13,267 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.13.data/purelib/provers-0.1.13-py3.9.egg-info 2021-07-15T03:46:13,280 running install_scripts 2021-07-15T03:46:13,355 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T03:46:13,361 creating build/bdist.linux-armv7l/wheel/provers-0.1.13.dist-info/WHEEL 2021-07-15T03:46:13,363 creating '/tmp/pip-wheel-s03b3h20/provers-0.1.13-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T03:46:13,367 adding 'provers-0.1.13.data/purelib/provers/__init__.py' 2021-07-15T03:46:13,369 adding 'provers-0.1.13.data/purelib/provers/fol.py' 2021-07-15T03:46:13,373 adding 'provers-0.1.13.data/purelib/provers/prover9.py' 2021-07-15T03:46:13,375 adding 'provers-0.1.13.data/purelib/provers/util.py' 2021-07-15T03:46:13,458 adding 'provers-0.1.13.data/purelib/provers/bin/interpformat' 2021-07-15T03:46:13,539 adding 'provers-0.1.13.data/purelib/provers/bin/isofilter' 2021-07-15T03:46:13,650 adding 'provers-0.1.13.data/purelib/provers/bin/ladr_to_tptp' 2021-07-15T03:46:13,745 adding 'provers-0.1.13.data/purelib/provers/bin/mace4' 2021-07-15T03:46:13,820 adding 'provers-0.1.13.data/purelib/provers/bin/prooftrans' 2021-07-15T03:46:13,929 adding 'provers-0.1.13.data/purelib/provers/bin/prover9' 2021-07-15T03:46:14,042 adding 'provers-0.1.13.data/purelib/provers/bin/tptp_to_ladr' 2021-07-15T03:46:14,053 adding 'provers-0.1.13.dist-info/LICENSE' 2021-07-15T03:46:14,055 adding 'provers-0.1.13.dist-info/METADATA' 2021-07-15T03:46:14,056 adding 'provers-0.1.13.dist-info/WHEEL' 2021-07-15T03:46:14,057 adding 'provers-0.1.13.dist-info/entry_points.txt' 2021-07-15T03:46:14,058 adding 'provers-0.1.13.dist-info/top_level.txt' 2021-07-15T03:46:14,059 adding 'provers-0.1.13.dist-info/RECORD' 2021-07-15T03:46:14,079 removing build/bdist.linux-armv7l/wheel 2021-07-15T03:46:14,178 Building wheel for provers (setup.py): finished with status 'done' 2021-07-15T03:46:14,195 Created wheel for provers: filename=provers-0.1.13-cp39-cp39-linux_armv7l.whl size=1105489 sha256=d6c739a246a58ff4c3785797598e296aafb30737a0f86e6d83281391a75bbd60 2021-07-15T03:46:14,195 Stored in directory: /tmp/pip-ephem-wheel-cache-_4wmepfp/wheels/0e/14/d0/18005b7d9e863049444a25a11fe503e4d77f892b5ae079dac7 2021-07-15T03:46:14,207 Successfully built provers 2021-07-15T03:46:14,249 Removed build tracker: '/tmp/pip-req-tracker-n__9q81c'