2021-07-15T04:31:01,213 Created temporary directory: /tmp/pip-ephem-wheel-cache-5mbnqk7a 2021-07-15T04:31:01,216 Created temporary directory: /tmp/pip-req-tracker-7kucuprr 2021-07-15T04:31:01,217 Initialized build tracking at /tmp/pip-req-tracker-7kucuprr 2021-07-15T04:31:01,217 Created build tracker: /tmp/pip-req-tracker-7kucuprr 2021-07-15T04:31:01,218 Entered build tracker: /tmp/pip-req-tracker-7kucuprr 2021-07-15T04:31:01,218 Created temporary directory: /tmp/pip-wheel-6pr9mbmd 2021-07-15T04:31:01,248 1 location(s) to search for versions of provers: 2021-07-15T04:31:01,248 * https://pypi.org/simple/provers/ 2021-07-15T04:31:01,249 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-15T04:31:01,250 Getting page https://pypi.org/simple/provers/ 2021-07-15T04:31:01,251 Found index url https://pypi.org/simple 2021-07-15T04:31:01,353 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-15T04:31:01,354 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-15T04:31:01,355 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-15T04:31:01,356 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-15T04:31:01,356 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-15T04:31:01,357 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-15T04:31:01,358 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-15T04:31:01,359 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-15T04:31:01,360 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-15T04:31:01,361 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-15T04:31:01,361 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-15T04:31:01,362 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-15T04:31:01,363 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-15T04:31:01,364 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-15T04:31:01,365 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-15T04:31:01,365 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-15T04:31:01,366 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-15T04:31:01,367 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-15T04:31:01,367 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-15T04:31:01,389 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-15T04:31:01,409 Collecting provers==0.1.15 2021-07-15T04:31:01,411 Created temporary directory: /tmp/pip-unpack-6x7p5vve 2021-07-15T04:31:01,586 Downloading provers-0.1.15.tar.gz (21 kB) 2021-07-15T04:31:01,641 Added provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 to build tracker '/tmp/pip-req-tracker-7kucuprr' 2021-07-15T04:31:01,642 Running setup.py (path:/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/setup.py) egg_info for package provers 2021-07-15T04:31:01,643 Created temporary directory: /tmp/pip-pip-egg-info-_o3f3i5p 2021-07-15T04:31:01,643 Running command python setup.py egg_info 2021-07-15T04:31:02,968 running egg_info 2021-07-15T04:31:02,970 creating /tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info 2021-07-15T04:31:02,972 writing /tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/PKG-INFO 2021-07-15T04:31:02,974 writing dependency_links to /tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/dependency_links.txt 2021-07-15T04:31:02,975 writing entry points to /tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/entry_points.txt 2021-07-15T04:31:02,977 writing top-level names to /tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/top_level.txt 2021-07-15T04:31:02,978 writing manifest file '/tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/SOURCES.txt' 2021-07-15T04:31:03,228 reading manifest file '/tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/SOURCES.txt' 2021-07-15T04:31:03,230 reading manifest template 'MANIFEST.in' 2021-07-15T04:31:03,232 warning: no previously-included files found matching 'provers/bin/*' 2021-07-15T04:31:03,233 adding license file 'LICENSE' 2021-07-15T04:31:03,235 writing manifest file '/tmp/pip-pip-egg-info-_o3f3i5p/provers.egg-info/SOURCES.txt' 2021-07-15T04:31:03,331 Source in /tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303 has version 0.1.15, which satisfies requirement provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 2021-07-15T04:31:03,332 Removed provers==0.1.15 from https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 from build tracker '/tmp/pip-req-tracker-7kucuprr' 2021-07-15T04:31:03,339 Created temporary directory: /tmp/pip-unpack-0oil8e9z 2021-07-15T04:31:03,340 Building wheels for collected packages: provers 2021-07-15T04:31:03,345 Created temporary directory: /tmp/pip-wheel-01xeaqa6 2021-07-15T04:31:03,345 Building wheel for provers (setup.py): started 2021-07-15T04:31:03,346 Destination directory: /tmp/pip-wheel-01xeaqa6 2021-07-15T04:31:03,346 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/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-01xeaqa6 2021-07-15T04:31:04,595 running bdist_wheel 2021-07-15T04:31:04,780 running build 2021-07-15T04:31:04,780 running build_py 2021-07-15T04:31:04,795 mkdir tmp || true 2021-07-15T04:31:04,807 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T04:31:05,163 --2021-07-15 04:31:05-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T04:31:05,436 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-15T04:31:05,656 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-15T04:31:06,326 HTTP request sent, awaiting response... 200 OK 2021-07-15T04:31:06,326 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-15T04:31:06,327 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-15T04:31:06,762 0K .......... .......... .......... .......... .......... 2% 115K 15s 2021-07-15T04:31:06,980 50K .......... .......... .......... .......... .......... 5% 229K 11s 2021-07-15T04:31:06,987 100K .......... .......... .......... .......... .......... 8% 7.81M 7s 2021-07-15T04:31:07,200 150K .......... .......... .......... .......... .......... 11% 235K 7s 2021-07-15T04:31:07,205 200K .......... .......... .......... .......... .......... 14% 9.51M 5s 2021-07-15T04:31:07,209 250K .......... .......... .......... .......... .......... 17% 12.8M 4s 2021-07-15T04:31:07,211 300K .......... .......... .......... .......... .......... 19% 19.5M 4s 2021-07-15T04:31:07,214 350K .......... .......... .......... .......... .......... 22% 23.0M 3s 2021-07-15T04:31:07,416 400K .......... .......... .......... .......... .......... 25% 246K 3s 2021-07-15T04:31:07,419 450K .......... .......... .......... .......... .......... 28% 22.0M 3s 2021-07-15T04:31:07,423 500K .......... .......... .......... .......... .......... 31% 11.5M 2s 2021-07-15T04:31:07,428 550K .......... .......... .......... .......... .......... 34% 8.74M 2s 2021-07-15T04:31:07,431 600K .......... .......... .......... .......... .......... 37% 20.3M 2s 2021-07-15T04:31:07,433 650K .......... .......... .......... .......... .......... 39% 22.6M 2s 2021-07-15T04:31:07,437 700K .......... .......... .......... .......... .......... 42% 12.9M 1s 2021-07-15T04:31:07,439 750K .......... .......... .......... .......... .......... 45% 23.1M 1s 2021-07-15T04:31:07,441 800K .......... .......... .......... .......... .......... 48% 18.8M 1s 2021-07-15T04:31:07,630 850K .......... .......... .......... .......... .......... 51% 265K 1s 2021-07-15T04:31:07,633 900K .......... .......... .......... .......... .......... 54% 18.0M 1s 2021-07-15T04:31:07,635 950K .......... .......... .......... .......... .......... 57% 21.9M 1s 2021-07-15T04:31:07,637 1000K .......... .......... .......... .......... .......... 59% 21.1M 1s 2021-07-15T04:31:07,639 1050K .......... .......... .......... .......... .......... 62% 23.1M 1s 2021-07-15T04:31:07,641 1100K .......... .......... .......... .......... .......... 65% 23.5M 1s 2021-07-15T04:31:07,644 1150K .......... .......... .......... .......... .......... 68% 23.9M 1s 2021-07-15T04:31:07,648 1200K .......... .......... .......... .......... .......... 71% 10.5M 1s 2021-07-15T04:31:07,650 1250K .......... .......... .......... .......... .......... 74% 23.4M 0s 2021-07-15T04:31:07,652 1300K .......... .......... .......... .......... .......... 76% 23.2M 0s 2021-07-15T04:31:07,654 1350K .......... .......... .......... .......... .......... 79% 23.1M 0s 2021-07-15T04:31:07,657 1400K .......... .......... .......... .......... .......... 82% 21.9M 0s 2021-07-15T04:31:07,659 1450K .......... .......... .......... .......... .......... 85% 23.3M 0s 2021-07-15T04:31:07,661 1500K .......... .......... .......... .......... .......... 88% 24.1M 0s 2021-07-15T04:31:07,663 1550K .......... .......... .......... .......... .......... 91% 24.2M 0s 2021-07-15T04:31:07,665 1600K .......... .......... .......... .......... .......... 94% 18.7M 0s 2021-07-15T04:31:07,667 1650K .......... .......... .......... .......... .......... 96% 24.3M 0s 2021-07-15T04:31:07,669 1700K .......... .......... .......... .......... .......... 99% 26.7M 0s 2021-07-15T04:31:07,670 1750K ... 100% 30.5M=1.3s 2021-07-15T04:31:07,697 2021-07-15 04:31:07 (1.28 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-15T04:31:07,700 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-15T04:31:08,772 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-15T04:31:08,788 cd tmp/LADR-2009-11A && make all 2021-07-15T04:31:08,802 make[1]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A' 2021-07-15T04:31:08,802 cd ladr && make lib 2021-07-15T04:31:08,823 make[2]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:08,823 make libladr.a 2021-07-15T04:31:08,838 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:08,839 gcc -O -Wall -c -o order.o order.c 2021-07-15T04:31:09,012 gcc -O -Wall -c -o clock.o clock.c 2021-07-15T04:31:09,265 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-15T04:31:09,393 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-15T04:31:09,538 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-15T04:31:09,745 gcc -O -Wall -c -o memory.o memory.c 2021-07-15T04:31:09,975 gcc -O -Wall -c -o hash.o hash.c 2021-07-15T04:31:10,215 gcc -O -Wall -c -o string.o string.c 2021-07-15T04:31:10,462 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-15T04:31:10,738 gcc -O -Wall -c -o glist.o glist.c 2021-07-15T04:31:11,339 gcc -O -Wall -c -o options.o options.c 2021-07-15T04:31:11,851 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-15T04:31:11,969 symbols.c: In function ‘declare_base_symbols’: 2021-07-15T04:31:11,970 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:11,970 1304 | int sn; 2021-07-15T04:31:11,970 | ^~ 2021-07-15T04:31:12,803 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-15T04:31:13,180 gcc -O -Wall -c -o term.o term.c 2021-07-15T04:31:13,984 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-15T04:31:14,188 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-15T04:31:14,394 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-15T04:31:14,576 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-15T04:31:14,844 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-15T04:31:15,033 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-15T04:31:15,479 gcc -O -Wall -c -o parse.o parse.c 2021-07-15T04:31:16,251 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-15T04:31:16,460 gcc -O -Wall -c -o unify.o unify.c 2021-07-15T04:31:16,901 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-15T04:31:17,234 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-15T04:31:17,737 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-15T04:31:17,937 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-15T04:31:18,070 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-15T04:31:18,070 487 | Flat2 check_flat2(Flat2 f) 2021-07-15T04:31:18,071 | ^~~~~~~~~~~ 2021-07-15T04:31:18,309 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-15T04:31:18,443 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-15T04:31:18,443 146 | Flat check_flat(Flat f) 2021-07-15T04:31:18,443 | ^~~~~~~~~~ 2021-07-15T04:31:18,730 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-15T04:31:19,269 gcc -O -Wall -c -o btu.o btu.c 2021-07-15T04:31:19,905 gcc -O -Wall -c -o btm.o btm.c 2021-07-15T04:31:20,571 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-15T04:31:20,696 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-15T04:31:20,697 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:20,697 650 | Trail tr; 2021-07-15T04:31:20,697 | ^~ 2021-07-15T04:31:20,896 gcc -O -Wall -c -o basic.o basic.c 2021-07-15T04:31:21,138 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-15T04:31:21,586 gcc -O -Wall -c -o formula.o formula.c 2021-07-15T04:31:22,405 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-15T04:31:22,681 gcc -O -Wall -c -o literals.o literals.c 2021-07-15T04:31:23,115 gcc -O -Wall -c -o topform.o topform.c 2021-07-15T04:31:23,514 gcc -O -Wall -c -o clist.o clist.c 2021-07-15T04:31:23,945 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-15T04:31:24,166 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-15T04:31:24,404 gcc -O -Wall -c -o just.o just.c 2021-07-15T04:31:25,233 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-15T04:31:25,787 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-15T04:31:26,025 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-15T04:31:26,349 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-15T04:31:26,725 gcc -O -Wall -c -o compress.o compress.c 2021-07-15T04:31:26,929 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-15T04:31:27,171 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-15T04:31:27,381 gcc -O -Wall -c -o weight.o weight.c 2021-07-15T04:31:27,686 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-15T04:31:27,877 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-15T04:31:28,142 gcc -O -Wall -c -o features.o features.c 2021-07-15T04:31:28,368 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-15T04:31:28,658 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-15T04:31:28,887 gcc -O -Wall -c -o random.o random.c 2021-07-15T04:31:29,164 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-15T04:31:29,593 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-15T04:31:29,821 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-15T04:31:30,082 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T04:31:30,204 complex.c: In function ‘complex4_p1’: 2021-07-15T04:31:30,205 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:30,205 275 | BOOL dummy; 2021-07-15T04:31:30,205 | ^~~~~ 2021-07-15T04:31:30,360 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-15T04:31:30,745 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-15T04:31:30,870 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-15T04:31:30,871 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T04:31:30,871 122 | if (status == BACKTRACK) { 2021-07-15T04:31:30,871 | ^~ 2021-07-15T04:31:30,872 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:30,872 158 | Discrim dd = NULL; 2021-07-15T04:31:30,872 | ^~ 2021-07-15T04:31:30,873 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T04:31:30,873 167 | if (status == GO) { 2021-07-15T04:31:30,873 | ^~ 2021-07-15T04:31:31,039 gcc -O -Wall -c -o demod.o demod.c 2021-07-15T04:31:31,168 demod.c: In function ‘demod1’: 2021-07-15T04:31:31,168 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:31,169 376 | Term result; 2021-07-15T04:31:31,169 | ^~~~~~ 2021-07-15T04:31:31,369 gcc -O -Wall -c -o clash.o clash.c 2021-07-15T04:31:31,496 clash.c: In function ‘clash_recurse’: 2021-07-15T04:31:31,497 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T04:31:31,497 283 | else if (!p->clashable | p->clashed) 2021-07-15T04:31:31,497 | ^~~~~~~~~~~~~ 2021-07-15T04:31:31,634 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-15T04:31:32,156 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-15T04:31:32,286 paramod.c: In function ‘para_into’: 2021-07-15T04:31:32,287 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T04:31:32,287 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-15T04:31:32,527 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-15T04:31:32,786 gcc -O -Wall -c -o hints.o hints.c 2021-07-15T04:31:33,060 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-15T04:31:33,757 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-15T04:31:34,166 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-15T04:31:34,304 ivy.c: In function ‘factor2_instances’: 2021-07-15T04:31:34,305 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:34,305 633 | Literals l1i, l2i, lit; 2021-07-15T04:31:34,305 | ^~~ 2021-07-15T04:31:34,676 gcc -O -Wall -c -o interp.o interp.c 2021-07-15T04:31:34,817 interp.c: In function ‘transpose_binary’: 2021-07-15T04:31:34,818 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:34,818 358 | int i, rc; 2021-07-15T04:31:34,818 | ^~ 2021-07-15T04:31:36,380 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-15T04:31:36,541 gcc -O -Wall -c -o banner.o banner.c 2021-07-15T04:31:36,724 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-15T04:31:37,152 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-15T04:31:37,605 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-15T04:31:38,200 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-15T04:31:38,206 ar: creating libladr.a 2021-07-15T04:31:38,333 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:38,334 make[2]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:38,335 cd mace4.src && make all 2021-07-15T04:31:38,348 make[2]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:38,348 cd ../ladr && make libladr.a 2021-07-15T04:31:38,382 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:38,382 make[3]: 'libladr.a' is up to date. 2021-07-15T04:31:38,383 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:38,384 make clean 2021-07-15T04:31:38,393 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:38,393 /bin/rm -f *.o 2021-07-15T04:31:38,402 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:38,403 make libmace4.a 2021-07-15T04:31:38,414 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:38,414 gcc -O -Wall -c -o estack.o estack.c 2021-07-15T04:31:38,607 gcc -O -Wall -c -o util.o util.c 2021-07-15T04:31:38,791 gcc -O -Wall -c -o print.o print.c 2021-07-15T04:31:39,205 gcc -O -Wall -c -o syms.o syms.c 2021-07-15T04:31:39,454 gcc -O -Wall -c -o ground.o ground.c 2021-07-15T04:31:39,873 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-15T04:31:40,300 gcc -O -Wall -c -o select.o select.c 2021-07-15T04:31:40,442 select.c: In function ‘select_concentric_band’: 2021-07-15T04:31:40,442 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T04:31:40,442 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-15T04:31:40,443 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T04:31:40,443 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T04:31:40,443 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T04:31:40,579 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-15T04:31:40,981 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-15T04:31:41,214 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-15T04:31:41,573 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-15T04:31:41,954 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-15T04:31:42,254 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-15T04:31:42,548 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-15T04:31:42,719 msearch.c: In function ‘next_domain_size’: 2021-07-15T04:31:42,720 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T04:31:42,720 850 | int next_domain_size(n) 2021-07-15T04:31:42,720 | ^~~~~~~~~~~~~~~~ 2021-07-15T04:31:43,186 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-15T04:31:43,193 ar: creating libmace4.a 2021-07-15T04:31:43,224 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,228 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-15T04:31:43,414 mace4.c: In function ‘init_attrs’: 2021-07-15T04:31:43,415 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:43,415 36 | int id; 2021-07-15T04:31:43,415 | ^~ 2021-07-15T04:31:43,528 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-15T04:31:43,784 /bin/mv mace4 ../bin 2021-07-15T04:31:43,796 make[2]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,796 cd provers.src && make all 2021-07-15T04:31:43,814 make[2]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:43,814 cd ../ladr && make libladr 2021-07-15T04:31:43,836 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:43,836 make libladr.a 2021-07-15T04:31:43,868 make[4]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:43,868 make[4]: 'libladr.a' is up to date. 2021-07-15T04:31:43,869 make[4]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:43,869 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:43,870 make clean 2021-07-15T04:31:43,880 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:43,880 /bin/rm -f *.o 2021-07-15T04:31:43,889 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:43,890 cd ../mace4.src && make libmace4 2021-07-15T04:31:43,903 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,903 make libmace4.a 2021-07-15T04:31:43,917 make[4]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,917 make[4]: 'libmace4.a' is up to date. 2021-07-15T04:31:43,918 make[4]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,918 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T04:31:43,919 make clean 2021-07-15T04:31:43,929 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:43,930 /bin/rm -f *.o 2021-07-15T04:31:43,939 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:43,941 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-15T04:31:44,174 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-15T04:31:44,404 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-15T04:31:44,607 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-15T04:31:44,834 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-15T04:31:45,104 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-15T04:31:45,407 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-15T04:31:45,651 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-15T04:31:46,135 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-15T04:31:46,408 gcc -O -Wall -c -o actions.o actions.c 2021-07-15T04:31:46,756 gcc -O -Wall -c -o search.o search.c 2021-07-15T04:31:48,727 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-15T04:31:49,336 gcc -O -Wall -c -o provers.o provers.c 2021-07-15T04:31:49,698 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-15T04:31:50,017 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-15T04:31:50,309 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-15T04:31:50,538 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-15T04:31:50,822 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-15T04:31:51,094 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-15T04:31:51,381 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-15T04:31:51,665 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-15T04:31:51,931 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-15T04:31:52,238 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-15T04:31:52,491 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-15T04:31:52,747 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-15T04:31:53,024 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-15T04:31:53,191 tptp_to_ladr.c: In function ‘main’: 2021-07-15T04:31:53,192 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:53,192 84 | int i; 2021-07-15T04:31:53,192 | ^ 2021-07-15T04:31:53,303 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-15T04:31:53,577 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-15T04:31:53,669 /bin/rm -f *.o 2021-07-15T04:31:53,685 make[2]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T04:31:53,687 cd apps.src && make all 2021-07-15T04:31:53,705 make[2]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T04:31:53,705 cd ../ladr && make libladr.a 2021-07-15T04:31:53,780 make[3]: Entering directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:53,781 make[3]: 'libladr.a' is up to date. 2021-07-15T04:31:53,781 make[3]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T04:31:53,783 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-15T04:31:54,070 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-15T04:31:54,319 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-15T04:31:54,743 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-15T04:31:54,955 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-15T04:31:55,116 clausefilter.c: In function ‘main’: 2021-07-15T04:31:55,117 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:55,117 109 | int i; 2021-07-15T04:31:55,117 | ^ 2021-07-15T04:31:55,248 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-15T04:31:55,476 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-15T04:31:55,713 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-15T04:31:55,930 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-15T04:31:56,124 renamer.c: In function ‘main’: 2021-07-15T04:31:56,124 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:56,125 54 | int i; 2021-07-15T04:31:56,125 | ^ 2021-07-15T04:31:56,192 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-15T04:31:56,415 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-15T04:31:56,631 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-15T04:31:56,903 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-15T04:31:57,130 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-15T04:31:57,344 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-15T04:31:57,603 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-15T04:31:57,828 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-15T04:31:58,108 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-15T04:31:58,338 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-15T04:31:58,627 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-15T04:31:58,844 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-15T04:31:59,144 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-15T04:31:59,383 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-15T04:31:59,584 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-15T04:31:59,815 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-15T04:31:59,975 interpfilter.c: In function ‘main’: 2021-07-15T04:31:59,975 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:31:59,975 66 | int i; 2021-07-15T04:31:59,976 | ^ 2021-07-15T04:32:00,067 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-15T04:32:00,285 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-15T04:32:00,582 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-15T04:32:00,803 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-15T04:32:01,051 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-15T04:32:01,281 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-15T04:32:01,619 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-15T04:32:01,843 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-15T04:32:02,027 prooftrans.c: In function ‘main’: 2021-07-15T04:32:02,028 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:02,029 225 | int label_attr, answer_attr, props_attr; 2021-07-15T04:32:02,030 | ^~~~~~~~~~ 2021-07-15T04:32:02,030 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:02,030 222 | int rc, n, number_of_proofs; 2021-07-15T04:32:02,030 | ^~ 2021-07-15T04:32:02,292 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-15T04:32:02,502 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-15T04:32:02,641 mirror-flip.c: In function ‘main’: 2021-07-15T04:32:02,642 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:02,643 129 | int i; 2021-07-15T04:32:02,643 | ^ 2021-07-15T04:32:02,734 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-15T04:32:02,958 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-15T04:32:03,096 perm3.c: In function ‘main’: 2021-07-15T04:32:03,097 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:03,098 120 | int i; 2021-07-15T04:32:03,099 | ^ 2021-07-15T04:32:03,205 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-15T04:32:03,425 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-15T04:32:03,574 sigtest.c: In function ‘main’: 2021-07-15T04:32:03,575 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:03,576 33 | int i; 2021-07-15T04:32:03,576 | ^ 2021-07-15T04:32:03,636 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-15T04:32:03,862 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-15T04:32:04,014 directproof.c: In function ‘main’: 2021-07-15T04:32:04,014 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:04,014 645 | int label_attr, answer_attr, props_attr; 2021-07-15T04:32:04,015 | ^~~~~~~~~~ 2021-07-15T04:32:04,016 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:04,017 645 | int label_attr, answer_attr, props_attr; 2021-07-15T04:32:04,017 | ^~~~~~~~~~ 2021-07-15T04:32:04,017 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:04,018 642 | int rc, n, number_of_proofs; 2021-07-15T04:32:04,018 | ^~ 2021-07-15T04:32:04,373 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-15T04:32:04,601 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-15T04:32:04,737 test_clause_eval.c: In function ‘main’: 2021-07-15T04:32:04,738 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:04,738 31 | int i; 2021-07-15T04:32:04,738 | ^ 2021-07-15T04:32:04,803 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-15T04:32:05,001 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-15T04:32:05,228 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-15T04:32:05,452 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T04:32:05,596 complex.c: In function ‘complex4_p1’: 2021-07-15T04:32:05,597 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:05,597 79 | BOOL dummy; 2021-07-15T04:32:05,597 | ^~~~~ 2021-07-15T04:32:05,598 complex.c: In function ‘main’: 2021-07-15T04:32:05,599 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-15T04:32:05,599 126 | double d; 2021-07-15T04:32:05,599 | ^ 2021-07-15T04:32:05,685 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-15T04:32:05,935 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-15T04:32:06,287 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-15T04:32:06,541 /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-15T04:32:06,568 /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-15T04:32:06,595 make[2]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T04:32:06,595 /bin/cp -p utilities/* bin 2021-07-15T04:32:06,635 **** Now try 'make test1'. **** 2021-07-15T04:32:06,640 make[1]: Leaving directory '/tmp/pip-wheel-6pr9mbmd/provers_5769d9511e524cdd8efce76561d39303/provers/bin/tmp/LADR-2009-11A' 2021-07-15T04:32:06,641 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-15T04:32:06,665 cp tmp/LADR-2009-11A/bin/interpformat . 2021-07-15T04:32:06,688 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-15T04:32:06,713 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-15T04:32:06,748 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-15T04:32:06,768 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-15T04:32:06,795 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-15T04:32:06,823 rm -rf tmp 2021-07-15T04:32:07,149 mkdir tmp || true 2021-07-15T04:32:07,162 cd tmp && git clone https://github.com/eprover/eprover.git || true 2021-07-15T04:32:07,171 Cloning into 'eprover'... 2021-07-15T04:32:07,263 fatal: transport 'https' not allowed 2021-07-15T04:32:07,276 cd tmp/eprover && ./configure 2021-07-15T04:32:07,279 /bin/sh: 1: cd: can't cd to tmp/eprover 2021-07-15T04:32:07,279 make: *** [Makefile:35: eprover] Error 2 2021-07-15T04:32:07,283 creating build 2021-07-15T04:32:07,283 creating build/lib 2021-07-15T04:32:07,284 creating build/lib/provers 2021-07-15T04:32:07,285 copying provers/__init__.py -> build/lib/provers 2021-07-15T04:32:07,288 copying provers/util.py -> build/lib/provers 2021-07-15T04:32:07,290 copying provers/prover9.py -> build/lib/provers 2021-07-15T04:32:07,293 copying provers/fol.py -> build/lib/provers 2021-07-15T04:32:07,295 copying provers/eprover.py -> build/lib/provers 2021-07-15T04:32:07,299 creating build/lib/provers/bin 2021-07-15T04:32:07,300 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-15T04:32:07,310 copying provers/bin/interpformat -> build/lib/provers/bin 2021-07-15T04:32:07,321 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-15T04:32:07,330 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-15T04:32:07,344 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-15T04:32:07,356 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-15T04:32:07,367 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-15T04:32:07,380 running build_ext 2021-07-15T04:32:07,395 installing to build/bdist.linux-armv7l/wheel 2021-07-15T04:32:07,396 running install 2021-07-15T04:32:07,398 running install_lib 2021-07-15T04:32:07,406 creating build/bdist.linux-armv7l 2021-07-15T04:32:07,407 creating build/bdist.linux-armv7l/wheel 2021-07-15T04:32:07,407 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.data 2021-07-15T04:32:07,408 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib 2021-07-15T04:32:07,410 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,411 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,414 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,416 copying build/lib/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,419 copying build/lib/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,421 copying build/lib/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers 2021-07-15T04:32:07,424 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,426 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,437 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,454 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,465 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,477 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,487 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,500 copying build/lib/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers/bin 2021-07-15T04:32:07,515 running install_egg_info 2021-07-15T04:32:07,540 running egg_info 2021-07-15T04:32:07,540 writing provers.egg-info/PKG-INFO 2021-07-15T04:32:07,543 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-15T04:32:07,544 writing entry points to provers.egg-info/entry_points.txt 2021-07-15T04:32:07,546 writing top-level names to provers.egg-info/top_level.txt 2021-07-15T04:32:07,576 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T04:32:07,578 reading manifest template 'MANIFEST.in' 2021-07-15T04:32:07,581 adding license file 'LICENSE' 2021-07-15T04:32:07,583 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T04:32:07,585 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.15.data/purelib/provers-0.1.15-py3.9.egg-info 2021-07-15T04:32:07,596 running install_scripts 2021-07-15T04:32:07,682 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T04:32:07,688 creating build/bdist.linux-armv7l/wheel/provers-0.1.15.dist-info/WHEEL 2021-07-15T04:32:07,691 creating '/tmp/pip-wheel-01xeaqa6/provers-0.1.15-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T04:32:07,695 adding 'provers-0.1.15.data/purelib/provers/__init__.py' 2021-07-15T04:32:07,696 adding 'provers-0.1.15.data/purelib/provers/eprover.py' 2021-07-15T04:32:07,697 adding 'provers-0.1.15.data/purelib/provers/fol.py' 2021-07-15T04:32:07,700 adding 'provers-0.1.15.data/purelib/provers/prover9.py' 2021-07-15T04:32:07,702 adding 'provers-0.1.15.data/purelib/provers/util.py' 2021-07-15T04:32:07,786 adding 'provers-0.1.15.data/purelib/provers/bin/interpformat' 2021-07-15T04:32:07,872 adding 'provers-0.1.15.data/purelib/provers/bin/isofilter' 2021-07-15T04:32:07,990 adding 'provers-0.1.15.data/purelib/provers/bin/ladr_to_tptp' 2021-07-15T04:32:08,087 adding 'provers-0.1.15.data/purelib/provers/bin/mace4' 2021-07-15T04:32:08,165 adding 'provers-0.1.15.data/purelib/provers/bin/prooftrans' 2021-07-15T04:32:08,278 adding 'provers-0.1.15.data/purelib/provers/bin/prover9' 2021-07-15T04:32:08,393 adding 'provers-0.1.15.data/purelib/provers/bin/tptp_to_ladr' 2021-07-15T04:32:08,405 adding 'provers-0.1.15.dist-info/LICENSE' 2021-07-15T04:32:08,406 adding 'provers-0.1.15.dist-info/METADATA' 2021-07-15T04:32:08,407 adding 'provers-0.1.15.dist-info/WHEEL' 2021-07-15T04:32:08,408 adding 'provers-0.1.15.dist-info/entry_points.txt' 2021-07-15T04:32:08,409 adding 'provers-0.1.15.dist-info/top_level.txt' 2021-07-15T04:32:08,410 adding 'provers-0.1.15.dist-info/RECORD' 2021-07-15T04:32:08,425 removing build/bdist.linux-armv7l/wheel 2021-07-15T04:32:08,532 Building wheel for provers (setup.py): finished with status 'done' 2021-07-15T04:32:08,553 Created wheel for provers: filename=provers-0.1.15-cp39-cp39-linux_armv7l.whl size=1107086 sha256=d18d911462bf1f105bdd7acdcb4c3cf88a63cd773c3027a197c940fe14194a1e 2021-07-15T04:32:08,554 Stored in directory: /tmp/pip-ephem-wheel-cache-5mbnqk7a/wheels/4c/56/75/1078c7e9fb63635b19b31bf20e8dd22045a2c43086a757885a 2021-07-15T04:32:08,570 Successfully built provers 2021-07-15T04:32:08,613 Removed build tracker: '/tmp/pip-req-tracker-7kucuprr'