2021-07-16T12:55:24,276 Created temporary directory: /tmp/pip-ephem-wheel-cache-7mllaikh 2021-07-16T12:55:24,279 Created temporary directory: /tmp/pip-req-tracker-d22wjyja 2021-07-16T12:55:24,279 Initialized build tracking at /tmp/pip-req-tracker-d22wjyja 2021-07-16T12:55:24,279 Created build tracker: /tmp/pip-req-tracker-d22wjyja 2021-07-16T12:55:24,280 Entered build tracker: /tmp/pip-req-tracker-d22wjyja 2021-07-16T12:55:24,280 Created temporary directory: /tmp/pip-wheel-0auh90dl 2021-07-16T12:55:24,310 1 location(s) to search for versions of provers: 2021-07-16T12:55:24,310 * https://pypi.org/simple/provers/ 2021-07-16T12:55:24,311 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-16T12:55:24,311 Getting page https://pypi.org/simple/provers/ 2021-07-16T12:55:24,313 Found index url https://pypi.org/simple 2021-07-16T12:55:24,507 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-16T12:55:24,507 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-16T12:55:24,508 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-16T12:55:24,509 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-16T12:55:24,509 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-16T12:55:24,510 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-16T12:55:24,510 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-16T12:55:24,511 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-16T12:55:24,512 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-16T12:55:24,512 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-16T12:55:24,513 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-16T12:55:24,513 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-16T12:55:24,514 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-16T12:55:24,514 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-16T12:55:24,515 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-16T12:55:24,515 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-16T12:55:24,516 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-16T12:55:24,517 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-16T12:55:24,517 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-16T12:55:24,537 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-16T12:55:24,559 Collecting provers==0.1.17 2021-07-16T12:55:24,561 Created temporary directory: /tmp/pip-unpack-l_njo12o 2021-07-16T12:55:24,739 Downloading provers-0.1.17.tar.gz (22 kB) 2021-07-16T12:55:24,802 Added provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 to build tracker '/tmp/pip-req-tracker-d22wjyja' 2021-07-16T12:55:24,803 Running setup.py (path:/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/setup.py) egg_info for package provers 2021-07-16T12:55:24,804 Created temporary directory: /tmp/pip-pip-egg-info-1yo8mhrj 2021-07-16T12:55:24,804 Running command python setup.py egg_info 2021-07-16T12:55:26,110 running egg_info 2021-07-16T12:55:26,112 creating /tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info 2021-07-16T12:55:26,113 writing /tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/PKG-INFO 2021-07-16T12:55:26,116 writing dependency_links to /tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/dependency_links.txt 2021-07-16T12:55:26,117 writing entry points to /tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/entry_points.txt 2021-07-16T12:55:26,119 writing top-level names to /tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/top_level.txt 2021-07-16T12:55:26,121 writing manifest file '/tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/SOURCES.txt' 2021-07-16T12:55:26,340 reading manifest file '/tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/SOURCES.txt' 2021-07-16T12:55:26,342 reading manifest template 'MANIFEST.in' 2021-07-16T12:55:26,344 warning: no previously-included files found matching 'provers/bin/*' 2021-07-16T12:55:26,344 adding license file 'LICENSE' 2021-07-16T12:55:26,347 writing manifest file '/tmp/pip-pip-egg-info-1yo8mhrj/provers.egg-info/SOURCES.txt' 2021-07-16T12:55:26,440 Source in /tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57 has version 0.1.17, which satisfies requirement provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 2021-07-16T12:55:26,441 Removed provers==0.1.17 from https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 from build tracker '/tmp/pip-req-tracker-d22wjyja' 2021-07-16T12:55:26,447 Created temporary directory: /tmp/pip-unpack-f2s1y2zt 2021-07-16T12:55:26,448 Building wheels for collected packages: provers 2021-07-16T12:55:26,452 Created temporary directory: /tmp/pip-wheel-fdqy4uvp 2021-07-16T12:55:26,453 Building wheel for provers (setup.py): started 2021-07-16T12:55:26,453 Destination directory: /tmp/pip-wheel-fdqy4uvp 2021-07-16T12:55:26,454 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/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-fdqy4uvp 2021-07-16T12:55:27,759 running bdist_wheel 2021-07-16T12:55:27,926 running build 2021-07-16T12:55:27,927 running build_py 2021-07-16T12:55:27,940 mkdir tmp || true 2021-07-16T12:55:27,953 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-16T12:55:28,017 --2021-07-16 12:55:28-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-16T12:55:28,341 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-16T12:55:28,475 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-16T12:55:28,890 HTTP request sent, awaiting response... 200 OK 2021-07-16T12:55:28,891 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-16T12:55:28,891 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-16T12:55:29,160 0K .......... .......... .......... .......... .......... 2% 186K 9s 2021-07-16T12:55:29,288 50K .......... .......... .......... .......... .......... 5% 390K 7s 2021-07-16T12:55:29,298 100K .......... .......... .......... .......... .......... 8% 4.91M 4s 2021-07-16T12:55:29,422 150K .......... .......... .......... .......... .......... 11% 409K 4s 2021-07-16T12:55:29,432 200K .......... .......... .......... .......... .......... 14% 5.02M 3s 2021-07-16T12:55:29,434 250K .......... .......... .......... .......... .......... 17% 12.2M 3s 2021-07-16T12:55:29,437 300K .......... .......... .......... .......... .......... 19% 15.1M 2s 2021-07-16T12:55:29,441 350K .......... .......... .......... .......... .......... 22% 16.1M 2s 2021-07-16T12:55:29,558 400K .......... .......... .......... .......... .......... 25% 425K 2s 2021-07-16T12:55:29,563 450K .......... .......... .......... .......... .......... 28% 9.28M 2s 2021-07-16T12:55:29,570 500K .......... .......... .......... .......... .......... 31% 9.22M 1s 2021-07-16T12:55:29,572 550K .......... .......... .......... .......... .......... 34% 13.4M 1s 2021-07-16T12:55:29,575 600K .......... .......... .......... .......... .......... 37% 19.3M 1s 2021-07-16T12:55:29,577 650K .......... .......... .......... .......... .......... 39% 19.1M 1s 2021-07-16T12:55:29,580 700K .......... .......... .......... .......... .......... 42% 19.0M 1s 2021-07-16T12:55:29,584 750K .......... .......... .......... .......... .......... 45% 16.9M 1s 2021-07-16T12:55:29,586 800K .......... .......... .......... .......... .......... 48% 15.8M 1s 2021-07-16T12:55:29,691 850K .......... .......... .......... .......... .......... 51% 476K 1s 2021-07-16T12:55:29,696 900K .......... .......... .......... .......... .......... 54% 10.7M 1s 2021-07-16T12:55:29,700 950K .......... .......... .......... .......... .......... 57% 10.9M 1s 2021-07-16T12:55:29,705 1000K .......... .......... .......... .......... .......... 59% 10.4M 1s 2021-07-16T12:55:29,707 1050K .......... .......... .......... .......... .......... 62% 20.4M 0s 2021-07-16T12:55:29,709 1100K .......... .......... .......... .......... .......... 65% 22.6M 0s 2021-07-16T12:55:29,712 1150K .......... .......... .......... .......... .......... 68% 21.6M 0s 2021-07-16T12:55:29,714 1200K .......... .......... .......... .......... .......... 71% 17.5M 0s 2021-07-16T12:55:29,716 1250K .......... .......... .......... .......... .......... 74% 22.9M 0s 2021-07-16T12:55:29,718 1300K .......... .......... .......... .......... .......... 76% 23.7M 0s 2021-07-16T12:55:29,721 1350K .......... .......... .......... .......... .......... 79% 23.7M 0s 2021-07-16T12:55:29,723 1400K .......... .......... .......... .......... .......... 82% 23.0M 0s 2021-07-16T12:55:29,724 1450K .......... .......... .......... .......... .......... 85% 25.5M 0s 2021-07-16T12:55:29,726 1500K .......... .......... .......... .......... .......... 88% 27.4M 0s 2021-07-16T12:55:29,729 1550K .......... .......... .......... .......... .......... 91% 27.2M 0s 2021-07-16T12:55:29,730 1600K .......... .......... .......... .......... .......... 94% 21.1M 0s 2021-07-16T12:55:29,732 1650K .......... .......... .......... .......... .......... 96% 26.2M 0s 2021-07-16T12:55:29,734 1700K .......... .......... .......... .......... .......... 99% 30.0M 0s 2021-07-16T12:55:29,734 1750K ... 100% 36.7M=0.8s 2021-07-16T12:55:29,764 2021-07-16 12:55:29 (2.03 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-16T12:55:29,765 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-16T12:55:30,911 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-16T12:55:30,931 cd tmp/LADR-2009-11A && make all 2021-07-16T12:55:30,946 make[1]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A' 2021-07-16T12:55:30,947 cd ladr && make lib 2021-07-16T12:55:30,970 make[2]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:30,971 make libladr.a 2021-07-16T12:55:30,986 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:30,986 gcc -O -Wall -c -o order.o order.c 2021-07-16T12:55:31,170 gcc -O -Wall -c -o clock.o clock.c 2021-07-16T12:55:31,408 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-16T12:55:31,534 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-16T12:55:31,692 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-16T12:55:31,899 gcc -O -Wall -c -o memory.o memory.c 2021-07-16T12:55:32,128 gcc -O -Wall -c -o hash.o hash.c 2021-07-16T12:55:32,338 gcc -O -Wall -c -o string.o string.c 2021-07-16T12:55:32,585 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-16T12:55:32,856 gcc -O -Wall -c -o glist.o glist.c 2021-07-16T12:55:33,418 gcc -O -Wall -c -o options.o options.c 2021-07-16T12:55:33,909 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-16T12:55:34,031 symbols.c: In function ‘declare_base_symbols’: 2021-07-16T12:55:34,032 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:34,032 1304 | int sn; 2021-07-16T12:55:34,032 | ^~ 2021-07-16T12:55:34,787 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-16T12:55:35,144 gcc -O -Wall -c -o term.o term.c 2021-07-16T12:55:35,885 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-16T12:55:36,108 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-16T12:55:36,311 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-16T12:55:36,499 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-16T12:55:36,756 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-16T12:55:36,946 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-16T12:55:37,365 gcc -O -Wall -c -o parse.o parse.c 2021-07-16T12:55:38,074 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-16T12:55:38,279 gcc -O -Wall -c -o unify.o unify.c 2021-07-16T12:55:38,684 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-16T12:55:39,001 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-16T12:55:39,465 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-16T12:55:39,662 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-16T12:55:39,795 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-16T12:55:39,795 487 | Flat2 check_flat2(Flat2 f) 2021-07-16T12:55:39,795 | ^~~~~~~~~~~ 2021-07-16T12:55:40,014 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-16T12:55:40,150 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-16T12:55:40,151 146 | Flat check_flat(Flat f) 2021-07-16T12:55:40,151 | ^~~~~~~~~~ 2021-07-16T12:55:40,411 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-16T12:55:40,910 gcc -O -Wall -c -o btu.o btu.c 2021-07-16T12:55:41,497 gcc -O -Wall -c -o btm.o btm.c 2021-07-16T12:55:42,106 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-16T12:55:42,234 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-16T12:55:42,234 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:42,234 650 | Trail tr; 2021-07-16T12:55:42,235 | ^~ 2021-07-16T12:55:42,420 gcc -O -Wall -c -o basic.o basic.c 2021-07-16T12:55:42,651 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-16T12:55:43,061 gcc -O -Wall -c -o formula.o formula.c 2021-07-16T12:55:43,816 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-16T12:55:44,087 gcc -O -Wall -c -o literals.o literals.c 2021-07-16T12:55:44,495 gcc -O -Wall -c -o topform.o topform.c 2021-07-16T12:55:44,868 gcc -O -Wall -c -o clist.o clist.c 2021-07-16T12:55:45,274 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-16T12:55:45,498 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-16T12:55:45,726 gcc -O -Wall -c -o just.o just.c 2021-07-16T12:55:46,487 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-16T12:55:47,040 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-16T12:55:47,272 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-16T12:55:47,577 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-16T12:55:47,933 gcc -O -Wall -c -o compress.o compress.c 2021-07-16T12:55:48,135 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-16T12:55:48,365 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-16T12:55:48,572 gcc -O -Wall -c -o weight.o weight.c 2021-07-16T12:55:48,868 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-16T12:55:49,057 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-16T12:55:49,309 gcc -O -Wall -c -o features.o features.c 2021-07-16T12:55:49,528 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-16T12:55:49,813 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-16T12:55:50,039 gcc -O -Wall -c -o random.o random.c 2021-07-16T12:55:50,310 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-16T12:55:50,713 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-16T12:55:50,930 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-16T12:55:51,187 gcc -O -Wall -c -o complex.o complex.c 2021-07-16T12:55:51,310 complex.c: In function ‘complex4_p1’: 2021-07-16T12:55:51,310 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:51,310 275 | BOOL dummy; 2021-07-16T12:55:51,310 | ^~~~~ 2021-07-16T12:55:51,452 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-16T12:55:51,815 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-16T12:55:51,947 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-16T12:55:51,948 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-16T12:55:51,948 122 | if (status == BACKTRACK) { 2021-07-16T12:55:51,948 | ^~ 2021-07-16T12:55:51,948 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:51,949 158 | Discrim dd = NULL; 2021-07-16T12:55:51,949 | ^~ 2021-07-16T12:55:51,949 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-16T12:55:51,949 167 | if (status == GO) { 2021-07-16T12:55:51,949 | ^~ 2021-07-16T12:55:52,099 gcc -O -Wall -c -o demod.o demod.c 2021-07-16T12:55:52,235 demod.c: In function ‘demod1’: 2021-07-16T12:55:52,235 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:52,235 376 | Term result; 2021-07-16T12:55:52,235 | ^~~~~~ 2021-07-16T12:55:52,421 gcc -O -Wall -c -o clash.o clash.c 2021-07-16T12:55:52,552 clash.c: In function ‘clash_recurse’: 2021-07-16T12:55:52,552 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-16T12:55:52,552 283 | else if (!p->clashable | p->clashed) 2021-07-16T12:55:52,553 | ^~~~~~~~~~~~~ 2021-07-16T12:55:52,678 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-16T12:55:53,173 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-16T12:55:53,305 paramod.c: In function ‘para_into’: 2021-07-16T12:55:53,305 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-16T12:55:53,305 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-16T12:55:53,525 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-16T12:55:53,774 gcc -O -Wall -c -o hints.o hints.c 2021-07-16T12:55:54,031 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-16T12:55:54,366 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-16T12:55:54,755 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-16T12:55:54,903 ivy.c: In function ‘factor2_instances’: 2021-07-16T12:55:54,904 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:54,904 633 | Literals l1i, l2i, lit; 2021-07-16T12:55:54,904 | ^~~ 2021-07-16T12:55:55,246 gcc -O -Wall -c -o interp.o interp.c 2021-07-16T12:55:55,394 interp.c: In function ‘transpose_binary’: 2021-07-16T12:55:55,394 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:55:55,394 358 | int i, rc; 2021-07-16T12:55:55,394 | ^~ 2021-07-16T12:55:56,825 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-16T12:55:56,992 gcc -O -Wall -c -o banner.o banner.c 2021-07-16T12:55:57,178 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-16T12:55:57,587 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-16T12:55:58,020 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-16T12:55:58,585 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-16T12:55:58,591 ar: creating libladr.a 2021-07-16T12:55:58,738 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:58,739 make[2]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:58,739 cd mace4.src && make all 2021-07-16T12:55:58,760 make[2]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:55:58,760 cd ../ladr && make libladr.a 2021-07-16T12:55:58,801 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:58,801 make[3]: 'libladr.a' is up to date. 2021-07-16T12:55:58,801 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:55:58,801 make clean 2021-07-16T12:55:58,811 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:55:58,811 /bin/rm -f *.o 2021-07-16T12:55:58,821 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:55:58,822 make libmace4.a 2021-07-16T12:55:58,833 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:55:58,833 gcc -O -Wall -c -o estack.o estack.c 2021-07-16T12:55:59,031 gcc -O -Wall -c -o util.o util.c 2021-07-16T12:55:59,197 gcc -O -Wall -c -o print.o print.c 2021-07-16T12:55:59,592 gcc -O -Wall -c -o syms.o syms.c 2021-07-16T12:55:59,855 gcc -O -Wall -c -o ground.o ground.c 2021-07-16T12:56:00,263 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-16T12:56:00,671 gcc -O -Wall -c -o select.o select.c 2021-07-16T12:56:00,820 select.c: In function ‘select_concentric_band’: 2021-07-16T12:56:00,820 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T12:56:00,821 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-16T12:56:00,821 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-16T12:56:00,821 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T12:56:00,821 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T12:56:00,947 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-16T12:56:01,342 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-16T12:56:01,587 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-16T12:56:01,945 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-16T12:56:02,269 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-16T12:56:02,503 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-16T12:56:02,769 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-16T12:56:02,934 msearch.c: In function ‘next_domain_size’: 2021-07-16T12:56:02,934 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T12:56:02,935 850 | int next_domain_size(n) 2021-07-16T12:56:02,935 | ^~~~~~~~~~~~~~~~ 2021-07-16T12:56:03,356 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-16T12:56:03,362 ar: creating libmace4.a 2021-07-16T12:56:03,396 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:03,400 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-16T12:56:03,563 mace4.c: In function ‘init_attrs’: 2021-07-16T12:56:03,564 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:03,564 36 | int id; 2021-07-16T12:56:03,564 | ^~ 2021-07-16T12:56:03,656 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-16T12:56:03,883 /bin/mv mace4 ../bin 2021-07-16T12:56:03,895 make[2]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:03,895 cd provers.src && make all 2021-07-16T12:56:03,915 make[2]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:03,915 cd ../ladr && make libladr 2021-07-16T12:56:03,932 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:03,933 make libladr.a 2021-07-16T12:56:03,964 make[4]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:03,964 make[4]: 'libladr.a' is up to date. 2021-07-16T12:56:03,964 make[4]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:03,964 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:03,965 make clean 2021-07-16T12:56:03,977 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:03,977 /bin/rm -f *.o 2021-07-16T12:56:03,987 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:03,988 cd ../mace4.src && make libmace4 2021-07-16T12:56:04,004 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:04,005 make libmace4.a 2021-07-16T12:56:04,018 make[4]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:04,019 make[4]: 'libmace4.a' is up to date. 2021-07-16T12:56:04,019 make[4]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:04,019 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T12:56:04,020 make clean 2021-07-16T12:56:04,033 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:04,033 /bin/rm -f *.o 2021-07-16T12:56:04,049 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:04,052 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-16T12:56:04,272 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-16T12:56:04,492 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-16T12:56:04,699 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-16T12:56:04,927 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-16T12:56:05,197 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-16T12:56:05,486 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-16T12:56:05,733 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-16T12:56:06,142 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-16T12:56:06,383 gcc -O -Wall -c -o actions.o actions.c 2021-07-16T12:56:06,680 gcc -O -Wall -c -o search.o search.c 2021-07-16T12:56:08,213 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-16T12:56:08,713 gcc -O -Wall -c -o provers.o provers.c 2021-07-16T12:56:09,028 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-16T12:56:09,311 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-16T12:56:09,590 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-16T12:56:09,806 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-16T12:56:10,066 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-16T12:56:10,311 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-16T12:56:10,575 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-16T12:56:10,822 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-16T12:56:11,082 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-16T12:56:11,354 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-16T12:56:11,612 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-16T12:56:11,835 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-16T12:56:12,317 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-16T12:56:12,464 tptp_to_ladr.c: In function ‘main’: 2021-07-16T12:56:12,465 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:12,466 84 | int i; 2021-07-16T12:56:12,466 | ^ 2021-07-16T12:56:12,556 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-16T12:56:12,811 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-16T12:56:12,918 /bin/rm -f *.o 2021-07-16T12:56:12,936 make[2]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T12:56:12,936 cd apps.src && make all 2021-07-16T12:56:12,953 make[2]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-16T12:56:12,954 cd ../ladr && make libladr.a 2021-07-16T12:56:13,019 make[3]: Entering directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:13,020 make[3]: 'libladr.a' is up to date. 2021-07-16T12:56:13,020 make[3]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T12:56:13,022 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-16T12:56:13,271 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-16T12:56:13,470 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-16T12:56:13,820 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-16T12:56:14,017 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-16T12:56:14,155 clausefilter.c: In function ‘main’: 2021-07-16T12:56:14,155 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:14,155 109 | int i; 2021-07-16T12:56:14,155 | ^ 2021-07-16T12:56:14,258 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-16T12:56:14,455 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-16T12:56:14,690 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-16T12:56:14,883 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-16T12:56:15,018 renamer.c: In function ‘main’: 2021-07-16T12:56:15,018 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:15,018 54 | int i; 2021-07-16T12:56:15,018 | ^ 2021-07-16T12:56:15,075 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-16T12:56:15,268 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-16T12:56:15,458 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-16T12:56:15,643 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-16T12:56:15,872 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-16T12:56:16,076 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-16T12:56:16,304 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-16T12:56:16,504 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-16T12:56:16,744 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-16T12:56:16,941 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-16T12:56:17,201 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-16T12:56:17,404 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-16T12:56:17,663 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-16T12:56:17,875 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-16T12:56:18,077 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-16T12:56:18,281 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-16T12:56:18,423 interpfilter.c: In function ‘main’: 2021-07-16T12:56:18,424 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:18,424 66 | int i; 2021-07-16T12:56:18,424 | ^ 2021-07-16T12:56:18,500 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-16T12:56:18,705 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-16T12:56:18,964 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-16T12:56:19,170 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-16T12:56:19,374 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-16T12:56:19,565 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-16T12:56:19,849 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-16T12:56:20,055 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-16T12:56:20,213 prooftrans.c: In function ‘main’: 2021-07-16T12:56:20,214 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:20,214 225 | int label_attr, answer_attr, props_attr; 2021-07-16T12:56:20,215 | ^~~~~~~~~~ 2021-07-16T12:56:20,215 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:20,216 222 | int rc, n, number_of_proofs; 2021-07-16T12:56:20,216 | ^~ 2021-07-16T12:56:20,438 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-16T12:56:20,650 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-16T12:56:20,792 mirror-flip.c: In function ‘main’: 2021-07-16T12:56:20,793 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:20,793 129 | int i; 2021-07-16T12:56:20,794 | ^ 2021-07-16T12:56:20,876 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-16T12:56:21,072 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-16T12:56:21,216 perm3.c: In function ‘main’: 2021-07-16T12:56:21,216 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:21,217 120 | int i; 2021-07-16T12:56:21,217 | ^ 2021-07-16T12:56:21,313 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-16T12:56:21,512 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-16T12:56:21,655 sigtest.c: In function ‘main’: 2021-07-16T12:56:21,656 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:21,657 33 | int i; 2021-07-16T12:56:21,657 | ^ 2021-07-16T12:56:21,718 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-16T12:56:21,917 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-16T12:56:22,319 directproof.c: In function ‘main’: 2021-07-16T12:56:22,320 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:22,320 645 | int label_attr, answer_attr, props_attr; 2021-07-16T12:56:22,320 | ^~~~~~~~~~ 2021-07-16T12:56:22,321 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:22,321 645 | int label_attr, answer_attr, props_attr; 2021-07-16T12:56:22,321 | ^~~~~~~~~~ 2021-07-16T12:56:22,322 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:22,323 642 | int rc, n, number_of_proofs; 2021-07-16T12:56:22,323 | ^~ 2021-07-16T12:56:22,650 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-16T12:56:22,855 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-16T12:56:22,993 test_clause_eval.c: In function ‘main’: 2021-07-16T12:56:22,994 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:22,995 31 | int i; 2021-07-16T12:56:22,996 | ^ 2021-07-16T12:56:23,053 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-16T12:56:23,251 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-16T12:56:23,450 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-16T12:56:23,650 gcc -O -Wall -c -o complex.o complex.c 2021-07-16T12:56:23,798 complex.c: In function ‘complex4_p1’: 2021-07-16T12:56:23,799 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:23,799 79 | BOOL dummy; 2021-07-16T12:56:23,799 | ^~~~~ 2021-07-16T12:56:23,800 complex.c: In function ‘main’: 2021-07-16T12:56:23,801 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-16T12:56:23,801 126 | double d; 2021-07-16T12:56:23,801 | ^ 2021-07-16T12:56:23,883 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-16T12:56:24,092 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-16T12:56:24,435 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-16T12:56:24,636 /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-16T12:56:24,664 /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-16T12:56:24,692 make[2]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-16T12:56:24,693 /bin/cp -p utilities/* bin 2021-07-16T12:56:24,738 **** Now try 'make test1'. **** 2021-07-16T12:56:24,742 make[1]: Leaving directory '/tmp/pip-wheel-0auh90dl/provers_d3a8733dad1546ae9d600ace8f20ad57/provers/bin/tmp/LADR-2009-11A' 2021-07-16T12:56:24,743 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-16T12:56:24,771 cp tmp/LADR-2009-11A/bin/interpformat . 2021-07-16T12:56:24,804 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-16T12:56:24,829 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-16T12:56:24,852 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-16T12:56:24,877 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-16T12:56:24,901 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-16T12:56:24,922 rm -rf tmp 2021-07-16T12:56:25,213 creating build 2021-07-16T12:56:25,213 creating build/lib 2021-07-16T12:56:25,214 creating build/lib/provers 2021-07-16T12:56:25,216 copying provers/fol.py -> build/lib/provers 2021-07-16T12:56:25,219 copying provers/util.py -> build/lib/provers 2021-07-16T12:56:25,222 copying provers/eprover.py -> build/lib/provers 2021-07-16T12:56:25,225 copying provers/prover9.py -> build/lib/provers 2021-07-16T12:56:25,228 copying provers/__init__.py -> build/lib/provers 2021-07-16T12:56:25,233 creating build/lib/provers/bin 2021-07-16T12:56:25,234 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-16T12:56:25,246 copying provers/bin/interpformat -> build/lib/provers/bin 2021-07-16T12:56:25,257 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-16T12:56:25,269 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-16T12:56:25,284 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-16T12:56:25,300 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-16T12:56:25,311 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-16T12:56:25,325 running build_ext 2021-07-16T12:56:25,336 installing to build/bdist.linux-armv7l/wheel 2021-07-16T12:56:25,336 running install 2021-07-16T12:56:25,337 running install_lib 2021-07-16T12:56:25,342 creating build/bdist.linux-armv7l 2021-07-16T12:56:25,343 creating build/bdist.linux-armv7l/wheel 2021-07-16T12:56:25,344 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.data 2021-07-16T12:56:25,344 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib 2021-07-16T12:56:25,346 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,347 copying build/lib/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,350 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,352 copying build/lib/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,355 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,356 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,367 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,380 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,391 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,402 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,414 copying build/lib/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,425 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers/bin 2021-07-16T12:56:25,437 copying build/lib/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,440 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers 2021-07-16T12:56:25,442 running install_egg_info 2021-07-16T12:56:25,470 running egg_info 2021-07-16T12:56:25,471 writing provers.egg-info/PKG-INFO 2021-07-16T12:56:25,473 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-16T12:56:25,475 writing entry points to provers.egg-info/entry_points.txt 2021-07-16T12:56:25,476 writing top-level names to provers.egg-info/top_level.txt 2021-07-16T12:56:25,508 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-16T12:56:25,511 reading manifest template 'MANIFEST.in' 2021-07-16T12:56:25,514 adding license file 'LICENSE' 2021-07-16T12:56:25,516 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-16T12:56:25,518 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.17.data/purelib/provers-0.1.17-py3.9.egg-info 2021-07-16T12:56:25,532 running install_scripts 2021-07-16T12:56:25,618 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-16T12:56:25,624 creating build/bdist.linux-armv7l/wheel/provers-0.1.17.dist-info/WHEEL 2021-07-16T12:56:25,627 creating '/tmp/pip-wheel-fdqy4uvp/provers-0.1.17-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-16T12:56:25,632 adding 'provers-0.1.17.data/purelib/provers/__init__.py' 2021-07-16T12:56:25,634 adding 'provers-0.1.17.data/purelib/provers/eprover.py' 2021-07-16T12:56:25,636 adding 'provers-0.1.17.data/purelib/provers/fol.py' 2021-07-16T12:56:25,640 adding 'provers-0.1.17.data/purelib/provers/prover9.py' 2021-07-16T12:56:25,642 adding 'provers-0.1.17.data/purelib/provers/util.py' 2021-07-16T12:56:25,726 adding 'provers-0.1.17.data/purelib/provers/bin/interpformat' 2021-07-16T12:56:25,807 adding 'provers-0.1.17.data/purelib/provers/bin/isofilter' 2021-07-16T12:56:25,918 adding 'provers-0.1.17.data/purelib/provers/bin/ladr_to_tptp' 2021-07-16T12:56:26,012 adding 'provers-0.1.17.data/purelib/provers/bin/mace4' 2021-07-16T12:56:26,086 adding 'provers-0.1.17.data/purelib/provers/bin/prooftrans' 2021-07-16T12:56:26,192 adding 'provers-0.1.17.data/purelib/provers/bin/prover9' 2021-07-16T12:56:26,305 adding 'provers-0.1.17.data/purelib/provers/bin/tptp_to_ladr' 2021-07-16T12:56:26,316 adding 'provers-0.1.17.dist-info/LICENSE' 2021-07-16T12:56:26,317 adding 'provers-0.1.17.dist-info/METADATA' 2021-07-16T12:56:26,318 adding 'provers-0.1.17.dist-info/WHEEL' 2021-07-16T12:56:26,319 adding 'provers-0.1.17.dist-info/entry_points.txt' 2021-07-16T12:56:26,320 adding 'provers-0.1.17.dist-info/top_level.txt' 2021-07-16T12:56:26,321 adding 'provers-0.1.17.dist-info/RECORD' 2021-07-16T12:56:26,340 removing build/bdist.linux-armv7l/wheel 2021-07-16T12:56:26,445 Building wheel for provers (setup.py): finished with status 'done' 2021-07-16T12:56:26,463 Created wheel for provers: filename=provers-0.1.17-cp39-cp39-linux_armv7l.whl size=1108700 sha256=c64979834955b982e81a99f5538d2f25e38a150d45891018a4cbb855b86f2cc1 2021-07-16T12:56:26,463 Stored in directory: /tmp/pip-ephem-wheel-cache-7mllaikh/wheels/3a/73/c1/6a0bb191427550c342a99aded80dcf0724ad56e7ee2a6a5f6d 2021-07-16T12:56:26,476 Successfully built provers 2021-07-16T12:56:26,521 Removed build tracker: '/tmp/pip-req-tracker-d22wjyja'