2021-07-15T02:07:20,829 Created temporary directory: /tmp/pip-ephem-wheel-cache-uu62e8gq 2021-07-15T02:07:20,832 Created temporary directory: /tmp/pip-req-tracker-342cojpk 2021-07-15T02:07:20,832 Initialized build tracking at /tmp/pip-req-tracker-342cojpk 2021-07-15T02:07:20,832 Created build tracker: /tmp/pip-req-tracker-342cojpk 2021-07-15T02:07:20,832 Entered build tracker: /tmp/pip-req-tracker-342cojpk 2021-07-15T02:07:20,833 Created temporary directory: /tmp/pip-wheel-3v3xy1yp 2021-07-15T02:07:20,859 1 location(s) to search for versions of provers: 2021-07-15T02:07:20,859 * https://pypi.org/simple/provers/ 2021-07-15T02:07:20,860 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-15T02:07:20,860 Getting page https://pypi.org/simple/provers/ 2021-07-15T02:07:20,862 Found index url https://pypi.org/simple 2021-07-15T02:07:21,034 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-15T02:07:21,035 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-15T02:07:21,035 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-15T02:07:21,036 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-15T02:07:21,036 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-15T02:07:21,037 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-15T02:07:21,038 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-15T02:07:21,038 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-15T02:07:21,039 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-15T02:07:21,039 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-15T02:07:21,040 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-15T02:07:21,040 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-15T02:07:21,041 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-15T02:07:21,041 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-15T02:07:21,042 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-15T02:07:21,043 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-15T02:07:21,043 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-15T02:07:21,044 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-15T02:07:21,044 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-15T02:07:21,064 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-15T02:07:21,083 Collecting provers==0.1.4 2021-07-15T02:07:21,084 Created temporary directory: /tmp/pip-unpack-ydi97128 2021-07-15T02:07:21,254 Downloading provers-0.1.4.tar.gz (14 kB) 2021-07-15T02:07:21,293 Added provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d to build tracker '/tmp/pip-req-tracker-342cojpk' 2021-07-15T02:07:21,294 Running setup.py (path:/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/setup.py) egg_info for package provers 2021-07-15T02:07:21,295 Created temporary directory: /tmp/pip-pip-egg-info-spn8gyd_ 2021-07-15T02:07:21,295 Running command python setup.py egg_info 2021-07-15T02:07:22,405 running egg_info 2021-07-15T02:07:22,407 creating /tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info 2021-07-15T02:07:22,409 writing /tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/PKG-INFO 2021-07-15T02:07:22,412 writing dependency_links to /tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/dependency_links.txt 2021-07-15T02:07:22,413 writing entry points to /tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/entry_points.txt 2021-07-15T02:07:22,415 writing top-level names to /tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/top_level.txt 2021-07-15T02:07:22,416 writing manifest file '/tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/SOURCES.txt' 2021-07-15T02:07:22,620 reading manifest file '/tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/SOURCES.txt' 2021-07-15T02:07:22,622 reading manifest template 'MANIFEST.in' 2021-07-15T02:07:22,624 warning: no previously-included files found matching 'provers/bin/*' 2021-07-15T02:07:22,624 adding license file 'LICENSE' 2021-07-15T02:07:22,626 writing manifest file '/tmp/pip-pip-egg-info-spn8gyd_/provers.egg-info/SOURCES.txt' 2021-07-15T02:07:22,710 Source in /tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23 has version 0.1.4, which satisfies requirement provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d 2021-07-15T02:07:22,711 Removed provers==0.1.4 from https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d from build tracker '/tmp/pip-req-tracker-342cojpk' 2021-07-15T02:07:22,716 Created temporary directory: /tmp/pip-unpack-tc3i79d4 2021-07-15T02:07:22,717 Building wheels for collected packages: provers 2021-07-15T02:07:22,721 Created temporary directory: /tmp/pip-wheel-qy7tim51 2021-07-15T02:07:22,721 Building wheel for provers (setup.py): started 2021-07-15T02:07:22,722 Destination directory: /tmp/pip-wheel-qy7tim51 2021-07-15T02:07:22,722 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/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-qy7tim51 2021-07-15T02:07:23,844 running bdist_wheel 2021-07-15T02:07:24,007 running build 2021-07-15T02:07:24,008 running build_py 2021-07-15T02:07:24,020 mkdir tmp || true 2021-07-15T02:07:24,030 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T02:07:24,097 --2021-07-15 02:07:24-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T02:07:24,403 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-15T02:07:24,526 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-15T02:07:25,029 HTTP request sent, awaiting response... 200 OK 2021-07-15T02:07:25,029 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-15T02:07:25,030 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-15T02:07:25,276 0K .......... .......... .......... .......... .......... 2% 203K 8s 2021-07-15T02:07:25,399 50K .......... .......... .......... .......... .......... 5% 407K 6s 2021-07-15T02:07:25,403 100K .......... .......... .......... .......... .......... 8% 12.6M 4s 2021-07-15T02:07:25,407 150K .......... .......... .......... .......... .......... 11% 13.3M 3s 2021-07-15T02:07:25,526 200K .......... .......... .......... .......... .......... 14% 418K 3s 2021-07-15T02:07:25,530 250K .......... .......... .......... .......... .......... 17% 13.1M 2s 2021-07-15T02:07:25,534 300K .......... .......... .......... .......... .......... 19% 13.2M 2s 2021-07-15T02:07:25,538 350K .......... .......... .......... .......... .......... 22% 13.2M 2s 2021-07-15T02:07:25,652 400K .......... .......... .......... .......... .......... 25% 437K 2s 2021-07-15T02:07:25,656 450K .......... .......... .......... .......... .......... 28% 11.8M 2s 2021-07-15T02:07:25,660 500K .......... .......... .......... .......... .......... 31% 12.9M 1s 2021-07-15T02:07:25,664 550K .......... .......... .......... .......... .......... 34% 12.9M 1s 2021-07-15T02:07:25,668 600K .......... .......... .......... .......... .......... 37% 12.3M 1s 2021-07-15T02:07:25,671 650K .......... .......... .......... .......... .......... 39% 13.6M 1s 2021-07-15T02:07:25,675 700K .......... .......... .......... .......... .......... 42% 13.7M 1s 2021-07-15T02:07:25,679 750K .......... .......... .......... .......... .......... 45% 13.6M 1s 2021-07-15T02:07:25,683 800K .......... .......... .......... .......... .......... 48% 11.3M 1s 2021-07-15T02:07:25,775 850K .......... .......... .......... .......... .......... 51% 541K 1s 2021-07-15T02:07:25,779 900K .......... .......... .......... .......... .......... 54% 13.9M 1s 2021-07-15T02:07:25,783 950K .......... .......... .......... .......... .......... 57% 12.0M 1s 2021-07-15T02:07:25,787 1000K .......... .......... .......... .......... .......... 59% 12.1M 1s 2021-07-15T02:07:25,790 1050K .......... .......... .......... .......... .......... 62% 13.0M 0s 2021-07-15T02:07:25,794 1100K .......... .......... .......... .......... .......... 65% 12.8M 0s 2021-07-15T02:07:25,799 1150K .......... .......... .......... .......... .......... 68% 12.8M 0s 2021-07-15T02:07:25,802 1200K .......... .......... .......... .......... .......... 71% 11.1M 0s 2021-07-15T02:07:25,806 1250K .......... .......... .......... .......... .......... 74% 13.5M 0s 2021-07-15T02:07:25,810 1300K .......... .......... .......... .......... .......... 76% 13.6M 0s 2021-07-15T02:07:25,813 1350K .......... .......... .......... .......... .......... 79% 13.6M 0s 2021-07-15T02:07:25,817 1400K .......... .......... .......... .......... .......... 82% 12.4M 0s 2021-07-15T02:07:25,821 1450K .......... .......... .......... .......... .......... 85% 13.6M 0s 2021-07-15T02:07:25,824 1500K .......... .......... .......... .......... .......... 88% 13.7M 0s 2021-07-15T02:07:25,829 1550K .......... .......... .......... .......... .......... 91% 13.7M 0s 2021-07-15T02:07:25,832 1600K .......... .......... .......... .......... .......... 94% 11.3M 0s 2021-07-15T02:07:25,836 1650K .......... .......... .......... .......... .......... 96% 13.7M 0s 2021-07-15T02:07:25,839 1700K .......... .......... .......... .......... .......... 99% 14.4M 0s 2021-07-15T02:07:25,841 1750K ... 100% 5.62M=0.8s 2021-07-15T02:07:25,877 2021-07-15 02:07:25 (2.12 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-15T02:07:25,880 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-15T02:07:26,780 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-15T02:07:26,793 cd tmp/LADR-2009-11A && make all 2021-07-15T02:07:26,803 make[1]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A' 2021-07-15T02:07:26,804 cd ladr && make lib 2021-07-15T02:07:26,820 make[2]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:26,821 make libladr.a 2021-07-15T02:07:26,831 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:26,832 gcc -O -Wall -c -o order.o order.c 2021-07-15T02:07:26,980 gcc -O -Wall -c -o clock.o clock.c 2021-07-15T02:07:27,195 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-15T02:07:27,449 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-15T02:07:27,576 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-15T02:07:27,760 gcc -O -Wall -c -o memory.o memory.c 2021-07-15T02:07:27,959 gcc -O -Wall -c -o hash.o hash.c 2021-07-15T02:07:28,147 gcc -O -Wall -c -o string.o string.c 2021-07-15T02:07:28,365 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-15T02:07:28,613 gcc -O -Wall -c -o glist.o glist.c 2021-07-15T02:07:29,148 gcc -O -Wall -c -o options.o options.c 2021-07-15T02:07:29,606 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-15T02:07:29,708 symbols.c: In function ‘declare_base_symbols’: 2021-07-15T02:07:29,708 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:29,708 1304 | int sn; 2021-07-15T02:07:29,709 | ^~ 2021-07-15T02:07:30,448 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-15T02:07:30,774 gcc -O -Wall -c -o term.o term.c 2021-07-15T02:07:31,495 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-15T02:07:31,675 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-15T02:07:31,860 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-15T02:07:32,019 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-15T02:07:32,252 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-15T02:07:32,419 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-15T02:07:32,818 gcc -O -Wall -c -o parse.o parse.c 2021-07-15T02:07:33,501 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-15T02:07:33,684 gcc -O -Wall -c -o unify.o unify.c 2021-07-15T02:07:34,076 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-15T02:07:34,363 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-15T02:07:34,814 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-15T02:07:34,990 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-15T02:07:35,101 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-15T02:07:35,101 487 | Flat2 check_flat2(Flat2 f) 2021-07-15T02:07:35,101 | ^~~~~~~~~~~ 2021-07-15T02:07:35,315 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-15T02:07:35,431 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-15T02:07:35,431 146 | Flat check_flat(Flat f) 2021-07-15T02:07:35,431 | ^~~~~~~~~~ 2021-07-15T02:07:35,687 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-15T02:07:36,172 gcc -O -Wall -c -o btu.o btu.c 2021-07-15T02:07:36,738 gcc -O -Wall -c -o btm.o btm.c 2021-07-15T02:07:37,321 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-15T02:07:37,430 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-15T02:07:37,431 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:37,431 650 | Trail tr; 2021-07-15T02:07:37,431 | ^~ 2021-07-15T02:07:37,609 gcc -O -Wall -c -o basic.o basic.c 2021-07-15T02:07:37,820 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-15T02:07:38,211 gcc -O -Wall -c -o formula.o formula.c 2021-07-15T02:07:38,948 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-15T02:07:39,199 gcc -O -Wall -c -o literals.o literals.c 2021-07-15T02:07:39,582 gcc -O -Wall -c -o topform.o topform.c 2021-07-15T02:07:39,936 gcc -O -Wall -c -o clist.o clist.c 2021-07-15T02:07:40,317 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-15T02:07:40,516 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-15T02:07:40,728 gcc -O -Wall -c -o just.o just.c 2021-07-15T02:07:41,457 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-15T02:07:41,968 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-15T02:07:42,176 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-15T02:07:42,464 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-15T02:07:43,012 gcc -O -Wall -c -o compress.o compress.c 2021-07-15T02:07:43,190 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-15T02:07:43,397 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-15T02:07:43,577 gcc -O -Wall -c -o weight.o weight.c 2021-07-15T02:07:43,844 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-15T02:07:44,007 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-15T02:07:44,236 gcc -O -Wall -c -o features.o features.c 2021-07-15T02:07:44,435 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-15T02:07:44,696 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-15T02:07:44,898 gcc -O -Wall -c -o random.o random.c 2021-07-15T02:07:45,141 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-15T02:07:45,513 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-15T02:07:45,714 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-15T02:07:45,945 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T02:07:46,050 complex.c: In function ‘complex4_p1’: 2021-07-15T02:07:46,050 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:46,050 275 | BOOL dummy; 2021-07-15T02:07:46,050 | ^~~~~ 2021-07-15T02:07:46,188 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-15T02:07:46,527 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-15T02:07:46,637 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-15T02:07:46,638 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T02:07:46,639 122 | if (status == BACKTRACK) { 2021-07-15T02:07:46,639 | ^~ 2021-07-15T02:07:46,640 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:46,640 158 | Discrim dd = NULL; 2021-07-15T02:07:46,640 | ^~ 2021-07-15T02:07:46,640 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T02:07:46,641 167 | if (status == GO) { 2021-07-15T02:07:46,641 | ^~ 2021-07-15T02:07:46,788 gcc -O -Wall -c -o demod.o demod.c 2021-07-15T02:07:46,902 demod.c: In function ‘demod1’: 2021-07-15T02:07:46,903 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:46,903 376 | Term result; 2021-07-15T02:07:46,903 | ^~~~~~ 2021-07-15T02:07:47,083 gcc -O -Wall -c -o clash.o clash.c 2021-07-15T02:07:47,197 clash.c: In function ‘clash_recurse’: 2021-07-15T02:07:47,197 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T02:07:47,197 283 | else if (!p->clashable | p->clashed) 2021-07-15T02:07:47,197 | ^~~~~~~~~~~~~ 2021-07-15T02:07:47,320 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-15T02:07:47,785 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-15T02:07:47,898 paramod.c: In function ‘para_into’: 2021-07-15T02:07:47,898 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T02:07:47,899 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-15T02:07:48,113 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-15T02:07:48,331 gcc -O -Wall -c -o hints.o hints.c 2021-07-15T02:07:48,564 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-15T02:07:48,875 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-15T02:07:49,225 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-15T02:07:49,348 ivy.c: In function ‘factor2_instances’: 2021-07-15T02:07:49,349 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:49,349 633 | Literals l1i, l2i, lit; 2021-07-15T02:07:49,349 | ^~~ 2021-07-15T02:07:49,674 gcc -O -Wall -c -o interp.o interp.c 2021-07-15T02:07:49,798 interp.c: In function ‘transpose_binary’: 2021-07-15T02:07:49,798 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:49,798 358 | int i, rc; 2021-07-15T02:07:49,799 | ^~ 2021-07-15T02:07:51,208 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-15T02:07:51,350 gcc -O -Wall -c -o banner.o banner.c 2021-07-15T02:07:51,509 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-15T02:07:52,110 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-15T02:07:52,513 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-15T02:07:53,047 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-15T02:07:53,053 ar: creating libladr.a 2021-07-15T02:07:53,168 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:53,169 make[2]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:53,170 cd mace4.src && make all 2021-07-15T02:07:53,181 make[2]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:53,182 cd ../ladr && make libladr.a 2021-07-15T02:07:53,212 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:53,212 make[3]: 'libladr.a' is up to date. 2021-07-15T02:07:53,212 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:53,213 make clean 2021-07-15T02:07:53,221 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:53,222 /bin/rm -f *.o 2021-07-15T02:07:53,229 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:53,230 make libmace4.a 2021-07-15T02:07:53,238 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:53,238 gcc -O -Wall -c -o estack.o estack.c 2021-07-15T02:07:53,408 gcc -O -Wall -c -o util.o util.c 2021-07-15T02:07:53,564 gcc -O -Wall -c -o print.o print.c 2021-07-15T02:07:53,932 gcc -O -Wall -c -o syms.o syms.c 2021-07-15T02:07:54,158 gcc -O -Wall -c -o ground.o ground.c 2021-07-15T02:07:54,533 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-15T02:07:54,910 gcc -O -Wall -c -o select.o select.c 2021-07-15T02:07:55,038 select.c: In function ‘select_concentric_band’: 2021-07-15T02:07:55,038 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:07:55,038 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-15T02:07:55,038 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T02:07:55,039 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:07:55,039 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:07:55,162 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-15T02:07:55,522 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-15T02:07:55,731 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-15T02:07:56,050 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-15T02:07:56,334 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-15T02:07:56,541 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-15T02:07:56,800 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-15T02:07:56,942 msearch.c: In function ‘next_domain_size’: 2021-07-15T02:07:56,943 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:07:56,943 850 | int next_domain_size(n) 2021-07-15T02:07:56,943 | ^~~~~~~~~~~~~~~~ 2021-07-15T02:07:57,366 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-15T02:07:57,371 ar: creating libmace4.a 2021-07-15T02:07:57,397 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,400 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-15T02:07:57,545 mace4.c: In function ‘init_attrs’: 2021-07-15T02:07:57,545 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:07:57,546 36 | int id; 2021-07-15T02:07:57,546 | ^~ 2021-07-15T02:07:57,634 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-15T02:07:57,834 /bin/mv mace4 ../bin 2021-07-15T02:07:57,843 make[2]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,844 cd provers.src && make all 2021-07-15T02:07:57,857 make[2]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:07:57,857 cd ../ladr && make libladr 2021-07-15T02:07:57,870 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:57,870 make libladr.a 2021-07-15T02:07:57,892 make[4]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:57,892 make[4]: 'libladr.a' is up to date. 2021-07-15T02:07:57,893 make[4]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:57,893 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:07:57,894 make clean 2021-07-15T02:07:57,902 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:07:57,902 /bin/rm -f *.o 2021-07-15T02:07:57,910 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:07:57,911 cd ../mace4.src && make libmace4 2021-07-15T02:07:57,922 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,922 make libmace4.a 2021-07-15T02:07:57,932 make[4]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,932 make[4]: 'libmace4.a' is up to date. 2021-07-15T02:07:57,932 make[4]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,933 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:07:57,934 make clean 2021-07-15T02:07:57,942 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:07:57,942 /bin/rm -f *.o 2021-07-15T02:07:57,953 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:07:57,955 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-15T02:07:58,137 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-15T02:07:58,548 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-15T02:07:58,727 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-15T02:07:58,927 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-15T02:07:59,165 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-15T02:07:59,435 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-15T02:07:59,651 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-15T02:08:00,022 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-15T02:08:00,234 gcc -O -Wall -c -o actions.o actions.c 2021-07-15T02:08:00,720 gcc -O -Wall -c -o search.o search.c 2021-07-15T02:08:02,267 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-15T02:08:02,737 gcc -O -Wall -c -o provers.o provers.c 2021-07-15T02:08:03,016 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-15T02:08:03,263 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-15T02:08:03,732 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-15T02:08:03,917 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-15T02:08:04,159 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-15T02:08:04,370 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-15T02:08:04,608 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-15T02:08:04,827 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-15T02:08:05,053 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-15T02:08:05,283 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-15T02:08:05,745 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-15T02:08:05,944 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-15T02:08:06,169 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-15T02:08:06,290 tptp_to_ladr.c: In function ‘main’: 2021-07-15T02:08:06,290 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:06,290 84 | int i; 2021-07-15T02:08:06,291 | ^ 2021-07-15T02:08:06,377 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-15T02:08:06,602 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-15T02:08:06,685 /bin/rm -f *.o 2021-07-15T02:08:06,699 make[2]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:08:06,700 cd apps.src && make all 2021-07-15T02:08:06,712 make[2]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T02:08:06,712 cd ../ladr && make libladr.a 2021-07-15T02:08:06,757 make[3]: Entering directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:08:06,758 make[3]: 'libladr.a' is up to date. 2021-07-15T02:08:06,758 make[3]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:08:06,760 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-15T02:08:06,977 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-15T02:08:07,146 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-15T02:08:07,469 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-15T02:08:07,642 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-15T02:08:07,764 clausefilter.c: In function ‘main’: 2021-07-15T02:08:07,765 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:07,766 109 | int i; 2021-07-15T02:08:07,766 | ^ 2021-07-15T02:08:07,862 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-15T02:08:08,043 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-15T02:08:08,249 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-15T02:08:08,416 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-15T02:08:08,542 renamer.c: In function ‘main’: 2021-07-15T02:08:08,543 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:08,543 54 | int i; 2021-07-15T02:08:08,544 | ^ 2021-07-15T02:08:08,594 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-15T02:08:08,763 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-15T02:08:08,928 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-15T02:08:09,096 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-15T02:08:09,291 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-15T02:08:09,464 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-15T02:08:09,661 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-15T02:08:09,886 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-15T02:08:10,108 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-15T02:08:10,280 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-15T02:08:10,497 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-15T02:08:10,668 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-15T02:08:10,891 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-15T02:08:11,063 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-15T02:08:11,236 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-15T02:08:11,407 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-15T02:08:11,529 interpfilter.c: In function ‘main’: 2021-07-15T02:08:11,529 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:11,529 66 | int i; 2021-07-15T02:08:11,529 | ^ 2021-07-15T02:08:11,600 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-15T02:08:11,768 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-15T02:08:11,997 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-15T02:08:12,169 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-15T02:08:12,337 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-15T02:08:12,507 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-15T02:08:12,761 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-15T02:08:12,934 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-15T02:08:13,062 prooftrans.c: In function ‘main’: 2021-07-15T02:08:13,062 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:13,062 225 | int label_attr, answer_attr, props_attr; 2021-07-15T02:08:13,062 | ^~~~~~~~~~ 2021-07-15T02:08:13,063 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:13,063 222 | int rc, n, number_of_proofs; 2021-07-15T02:08:13,063 | ^~ 2021-07-15T02:08:13,279 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-15T02:08:13,529 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-15T02:08:13,925 mirror-flip.c: In function ‘main’: 2021-07-15T02:08:13,925 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:13,925 129 | int i; 2021-07-15T02:08:13,925 | ^ 2021-07-15T02:08:14,003 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-15T02:08:14,174 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-15T02:08:14,298 perm3.c: In function ‘main’: 2021-07-15T02:08:14,299 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:14,299 120 | int i; 2021-07-15T02:08:14,300 | ^ 2021-07-15T02:08:14,392 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-15T02:08:14,564 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-15T02:08:14,684 sigtest.c: In function ‘main’: 2021-07-15T02:08:14,685 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:14,686 33 | int i; 2021-07-15T02:08:14,686 | ^ 2021-07-15T02:08:14,740 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-15T02:08:14,911 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-15T02:08:15,042 directproof.c: In function ‘main’: 2021-07-15T02:08:15,042 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:15,042 645 | int label_attr, answer_attr, props_attr; 2021-07-15T02:08:15,043 | ^~~~~~~~~~ 2021-07-15T02:08:15,043 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:15,043 645 | int label_attr, answer_attr, props_attr; 2021-07-15T02:08:15,043 | ^~~~~~~~~~ 2021-07-15T02:08:15,044 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:15,044 642 | int rc, n, number_of_proofs; 2021-07-15T02:08:15,044 | ^~ 2021-07-15T02:08:15,362 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-15T02:08:15,534 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-15T02:08:15,659 test_clause_eval.c: In function ‘main’: 2021-07-15T02:08:15,659 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:15,659 31 | int i; 2021-07-15T02:08:15,659 | ^ 2021-07-15T02:08:15,715 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-15T02:08:15,888 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-15T02:08:16,058 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-15T02:08:16,225 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T02:08:16,346 complex.c: In function ‘complex4_p1’: 2021-07-15T02:08:16,346 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:16,346 79 | BOOL dummy; 2021-07-15T02:08:16,346 | ^~~~~ 2021-07-15T02:08:16,347 complex.c: In function ‘main’: 2021-07-15T02:08:16,348 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:08:16,348 126 | double d; 2021-07-15T02:08:16,348 | ^ 2021-07-15T02:08:16,424 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-15T02:08:16,595 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-15T02:08:16,897 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-15T02:08:17,066 /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-15T02:08:17,086 /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-15T02:08:17,103 make[2]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T02:08:17,104 /bin/cp -p utilities/* bin 2021-07-15T02:08:17,133 **** Now try 'make test1'. **** 2021-07-15T02:08:17,136 make[1]: Leaving directory '/tmp/pip-wheel-3v3xy1yp/provers_ea55276d9a5c4ab29e561e1f559cbe23/provers/bin/tmp/LADR-2009-11A' 2021-07-15T02:08:17,136 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-15T02:08:17,157 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-15T02:08:17,174 rm -rf tmp 2021-07-15T02:08:17,370 creating build 2021-07-15T02:08:17,370 creating build/lib 2021-07-15T02:08:17,371 creating build/lib/provers 2021-07-15T02:08:17,372 copying provers/__init__.py -> build/lib/provers 2021-07-15T02:08:17,374 copying provers/util.py -> build/lib/provers 2021-07-15T02:08:17,376 creating build/lib/provers/bin 2021-07-15T02:08:17,377 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-15T02:08:17,389 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-15T02:08:17,398 running build_ext 2021-07-15T02:08:17,408 installing to build/bdist.linux-armv7l/wheel 2021-07-15T02:08:17,408 running install 2021-07-15T02:08:17,409 running install_lib 2021-07-15T02:08:17,413 creating build/bdist.linux-armv7l 2021-07-15T02:08:17,413 creating build/bdist.linux-armv7l/wheel 2021-07-15T02:08:17,414 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.data 2021-07-15T02:08:17,415 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib 2021-07-15T02:08:17,416 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers 2021-07-15T02:08:17,417 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers 2021-07-15T02:08:17,419 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers/bin 2021-07-15T02:08:17,420 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers/bin 2021-07-15T02:08:17,431 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers/bin 2021-07-15T02:08:17,442 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers 2021-07-15T02:08:17,444 running install_egg_info 2021-07-15T02:08:17,465 running egg_info 2021-07-15T02:08:17,466 writing provers.egg-info/PKG-INFO 2021-07-15T02:08:17,468 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-15T02:08:17,470 writing entry points to provers.egg-info/entry_points.txt 2021-07-15T02:08:17,471 writing top-level names to provers.egg-info/top_level.txt 2021-07-15T02:08:17,498 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T02:08:17,500 reading manifest template 'MANIFEST.in' 2021-07-15T02:08:17,502 adding license file 'LICENSE' 2021-07-15T02:08:17,504 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T02:08:17,506 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.4.data/purelib/provers-0.1.4-py3.9.egg-info 2021-07-15T02:08:17,516 running install_scripts 2021-07-15T02:08:17,590 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T02:08:17,596 creating build/bdist.linux-armv7l/wheel/provers-0.1.4.dist-info/WHEEL 2021-07-15T02:08:17,598 creating '/tmp/pip-wheel-qy7tim51/provers-0.1.4-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T02:08:17,601 adding 'provers-0.1.4.data/purelib/provers/__init__.py' 2021-07-15T02:08:17,603 adding 'provers-0.1.4.data/purelib/provers/util.py' 2021-07-15T02:08:17,694 adding 'provers-0.1.4.data/purelib/provers/bin/mace4' 2021-07-15T02:08:17,803 adding 'provers-0.1.4.data/purelib/provers/bin/prover9' 2021-07-15T02:08:17,814 adding 'provers-0.1.4.dist-info/LICENSE' 2021-07-15T02:08:17,815 adding 'provers-0.1.4.dist-info/METADATA' 2021-07-15T02:08:17,816 adding 'provers-0.1.4.dist-info/WHEEL' 2021-07-15T02:08:17,817 adding 'provers-0.1.4.dist-info/entry_points.txt' 2021-07-15T02:08:17,817 adding 'provers-0.1.4.dist-info/top_level.txt' 2021-07-15T02:08:17,818 adding 'provers-0.1.4.dist-info/RECORD' 2021-07-15T02:08:17,824 removing build/bdist.linux-armv7l/wheel 2021-07-15T02:08:17,917 Building wheel for provers (setup.py): finished with status 'done' 2021-07-15T02:08:17,924 Created wheel for provers: filename=provers-0.1.4-cp39-cp39-linux_armv7l.whl size=347802 sha256=1735822d9e0e18dda0a32b9c4da30cfead5cb8090e1194d42f691fe1d2031ab1 2021-07-15T02:08:17,925 Stored in directory: /tmp/pip-ephem-wheel-cache-uu62e8gq/wheels/ae/93/96/f5e532976a3fc42f8be46bec43341a6fb84c3bbaa3c5f7814a 2021-07-15T02:08:17,934 Successfully built provers 2021-07-15T02:08:17,957 Removed build tracker: '/tmp/pip-req-tracker-342cojpk'