2021-07-16T03:39:36,964 Created temporary directory: /tmp/pip-ephem-wheel-cache-15hxtfsi 2021-07-16T03:39:36,967 Created temporary directory: /tmp/pip-req-tracker-z_xaf9gj 2021-07-16T03:39:36,967 Initialized build tracking at /tmp/pip-req-tracker-z_xaf9gj 2021-07-16T03:39:36,968 Created build tracker: /tmp/pip-req-tracker-z_xaf9gj 2021-07-16T03:39:36,968 Entered build tracker: /tmp/pip-req-tracker-z_xaf9gj 2021-07-16T03:39:36,969 Created temporary directory: /tmp/pip-wheel-_6aoxqn2 2021-07-16T03:39:37,000 1 location(s) to search for versions of provers: 2021-07-16T03:39:37,000 * https://pypi.org/simple/provers/ 2021-07-16T03:39:37,001 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-16T03:39:37,002 Getting page https://pypi.org/simple/provers/ 2021-07-16T03:39:37,003 Found index url https://pypi.org/simple 2021-07-16T03:39:37,193 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-16T03:39:37,194 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-16T03:39:37,195 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-16T03:39:37,196 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-16T03:39:37,197 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-16T03:39:37,197 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-16T03:39:37,198 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-16T03:39:37,199 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-16T03:39:37,200 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-16T03:39:37,201 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-16T03:39:37,201 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-16T03:39:37,202 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-16T03:39:37,203 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-16T03:39:37,204 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-16T03:39:37,204 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-16T03:39:37,205 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-16T03:39:37,206 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-16T03:39:37,207 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-16T03:39:37,207 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-16T03:39:37,229 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-16T03:39:37,251 Collecting provers==0.1.16 2021-07-16T03:39:37,253 Created temporary directory: /tmp/pip-unpack-yeq2ghvo 2021-07-16T03:39:37,426 Downloading provers-0.1.16.tar.gz (22 kB) 2021-07-16T03:39:37,481 Added provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 to build tracker '/tmp/pip-req-tracker-z_xaf9gj' 2021-07-16T03:39:37,482 Running setup.py (path:/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/setup.py) egg_info for package provers 2021-07-16T03:39:37,483 Created temporary directory: /tmp/pip-pip-egg-info-w07z3txv 2021-07-16T03:39:37,483 Running command python setup.py egg_info 2021-07-16T03:39:39,389 running egg_info 2021-07-16T03:39:39,392 creating /tmp/pip-pip-egg-info-w07z3txv/provers.egg-info 2021-07-16T03:39:39,396 writing /tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/PKG-INFO 2021-07-16T03:39:39,398 writing dependency_links to /tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/dependency_links.txt 2021-07-16T03:39:39,400 writing entry points to /tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/entry_points.txt 2021-07-16T03:39:39,402 writing top-level names to /tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/top_level.txt 2021-07-16T03:39:39,403 writing manifest file '/tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/SOURCES.txt' 2021-07-16T03:39:39,657 reading manifest file '/tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/SOURCES.txt' 2021-07-16T03:39:39,660 reading manifest template 'MANIFEST.in' 2021-07-16T03:39:39,662 warning: no previously-included files found matching 'provers/bin/*' 2021-07-16T03:39:39,662 adding license file 'LICENSE' 2021-07-16T03:39:39,665 writing manifest file '/tmp/pip-pip-egg-info-w07z3txv/provers.egg-info/SOURCES.txt' 2021-07-16T03:39:39,763 Source in /tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33 has version 0.1.16, which satisfies requirement provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 2021-07-16T03:39:39,764 Removed provers==0.1.16 from https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 from build tracker '/tmp/pip-req-tracker-z_xaf9gj' 2021-07-16T03:39:39,770 Created temporary directory: /tmp/pip-unpack-mct7kc3v 2021-07-16T03:39:39,771 Building wheels for collected packages: provers 2021-07-16T03:39:39,776 Created temporary directory: /tmp/pip-wheel-75g9fdvu 2021-07-16T03:39:39,776 Building wheel for provers (setup.py): started 2021-07-16T03:39:39,777 Destination directory: /tmp/pip-wheel-75g9fdvu 2021-07-16T03:39:39,777 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/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-75g9fdvu 2021-07-16T03:39:41,403 running bdist_wheel 2021-07-16T03:39:41,595 running build 2021-07-16T03:39:41,595 running build_py 2021-07-16T03:39:41,610 mkdir tmp || true 2021-07-16T03:39:41,694 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-16T03:39:41,842 --2021-07-16 03:39:41-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-16T03:39:42,164 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-16T03:39:42,298 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-16T03:39:42,842 HTTP request sent, awaiting response... 200 OK 2021-07-16T03:39:42,843 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-16T03:39:42,843 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-16T03:39:43,112 0K .......... .......... .......... .......... .......... 2% 186K 9s 2021-07-16T03:39:43,245 50K .......... .......... .......... .......... .......... 5% 373K 7s 2021-07-16T03:39:43,248 100K .......... .......... .......... .......... .......... 8% 19.6M 4s 2021-07-16T03:39:43,379 150K .......... .......... .......... .......... .......... 11% 381K 4s 2021-07-16T03:39:43,383 200K .......... .......... .......... .......... .......... 14% 11.5M 3s 2021-07-16T03:39:43,386 250K .......... .......... .......... .......... .......... 17% 20.0M 3s 2021-07-16T03:39:43,388 300K .......... .......... .......... .......... .......... 19% 20.8M 2s 2021-07-16T03:39:43,513 350K .......... .......... .......... .......... .......... 22% 401K 2s 2021-07-16T03:39:43,516 400K .......... .......... .......... .......... .......... 25% 14.2M 2s 2021-07-16T03:39:43,520 450K .......... .......... .......... .......... .......... 28% 13.1M 2s 2021-07-16T03:39:43,522 500K .......... .......... .......... .......... .......... 31% 20.0M 1s 2021-07-16T03:39:43,525 550K .......... .......... .......... .......... .......... 34% 20.2M 1s 2021-07-16T03:39:43,527 600K .......... .......... .......... .......... .......... 37% 19.7M 1s 2021-07-16T03:39:43,529 650K .......... .......... .......... .......... .......... 39% 21.6M 1s 2021-07-16T03:39:43,532 700K .......... .......... .......... .......... .......... 42% 24.0M 1s 2021-07-16T03:39:43,647 750K .......... .......... .......... .......... .......... 45% 24.1M 1s 2021-07-16T03:39:43,651 800K .......... .......... .......... .......... .......... 48% 427K 1s 2021-07-16T03:39:43,653 850K .......... .......... .......... .......... .......... 51% 20.0M 1s 2021-07-16T03:39:43,655 900K .......... .......... .......... .......... .......... 54% 20.3M 1s 2021-07-16T03:39:43,658 950K .......... .......... .......... .......... .......... 57% 19.9M 1s 2021-07-16T03:39:43,660 1000K .......... .......... .......... .......... .......... 59% 19.7M 1s 2021-07-16T03:39:43,663 1050K .......... .......... .......... .......... .......... 62% 19.9M 0s 2021-07-16T03:39:43,665 1100K .......... .......... .......... .......... .......... 65% 20.1M 0s 2021-07-16T03:39:43,668 1150K .......... .......... .......... .......... .......... 68% 19.7M 0s 2021-07-16T03:39:43,671 1200K .......... .......... .......... .......... .......... 71% 17.0M 0s 2021-07-16T03:39:43,672 1250K .......... .......... .......... .......... .......... 74% 25.7M 0s 2021-07-16T03:39:43,674 1300K .......... .......... .......... .......... .......... 76% 25.8M 0s 2021-07-16T03:39:43,676 1350K .......... .......... .......... .......... .......... 79% 25.7M 0s 2021-07-16T03:39:43,678 1400K .......... .......... .......... .......... .......... 82% 24.1M 0s 2021-07-16T03:39:43,680 1450K .......... .......... .......... .......... .......... 85% 25.8M 0s 2021-07-16T03:39:43,682 1500K .......... .......... .......... .......... .......... 88% 25.9M 0s 2021-07-16T03:39:43,684 1550K .......... .......... .......... .......... .......... 91% 25.6M 0s 2021-07-16T03:39:43,784 1600K .......... .......... .......... .......... .......... 94% 499K 0s 2021-07-16T03:39:43,787 1650K .......... .......... .......... .......... .......... 96% 20.0M 0s 2021-07-16T03:39:43,789 1700K .......... .......... .......... .......... .......... 99% 21.9M 0s 2021-07-16T03:39:43,789 1750K ... 100% 24.9M=0.9s 2021-07-16T03:39:43,831 2021-07-16 03:39:43 (1.81 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-16T03:39:43,832 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-16T03:39:45,079 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-16T03:39:45,126 cd tmp/LADR-2009-11A && make all 2021-07-16T03:39:45,139 make[1]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A' 2021-07-16T03:39:45,140 cd ladr && make lib 2021-07-16T03:39:45,166 make[2]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:39:45,166 make libladr.a 2021-07-16T03:39:45,182 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:39:45,182 gcc -O -Wall -c -o order.o order.c 2021-07-16T03:39:45,407 gcc -O -Wall -c -o clock.o clock.c 2021-07-16T03:39:45,713 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-16T03:39:45,937 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-16T03:39:46,107 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-16T03:39:46,368 gcc -O -Wall -c -o memory.o memory.c 2021-07-16T03:39:46,703 gcc -O -Wall -c -o hash.o hash.c 2021-07-16T03:39:46,957 gcc -O -Wall -c -o string.o string.c 2021-07-16T03:39:47,261 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-16T03:39:47,605 gcc -O -Wall -c -o glist.o glist.c 2021-07-16T03:39:48,362 gcc -O -Wall -c -o options.o options.c 2021-07-16T03:39:49,008 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-16T03:39:49,148 symbols.c: In function ‘declare_base_symbols’: 2021-07-16T03:39:49,149 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:39:49,149 1304 | int sn; 2021-07-16T03:39:49,149 | ^~ 2021-07-16T03:39:50,202 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-16T03:39:50,660 gcc -O -Wall -c -o term.o term.c 2021-07-16T03:39:51,672 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-16T03:39:51,921 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-16T03:39:52,170 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-16T03:39:52,388 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-16T03:39:52,717 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-16T03:39:52,955 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-16T03:39:53,529 gcc -O -Wall -c -o parse.o parse.c 2021-07-16T03:39:54,295 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-16T03:39:54,505 gcc -O -Wall -c -o unify.o unify.c 2021-07-16T03:39:54,951 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-16T03:39:55,278 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-16T03:39:55,788 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-16T03:39:55,990 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-16T03:39:56,122 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-16T03:39:56,122 487 | Flat2 check_flat2(Flat2 f) 2021-07-16T03:39:56,122 | ^~~~~~~~~~~ 2021-07-16T03:39:56,360 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-16T03:39:56,497 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-16T03:39:56,498 146 | Flat check_flat(Flat f) 2021-07-16T03:39:56,498 | ^~~~~~~~~~ 2021-07-16T03:39:56,783 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-16T03:39:57,328 gcc -O -Wall -c -o btu.o btu.c 2021-07-16T03:39:58,134 gcc -O -Wall -c -o btm.o btm.c 2021-07-16T03:39:58,797 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-16T03:39:58,928 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-16T03:39:58,928 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:39:58,929 650 | Trail tr; 2021-07-16T03:39:58,929 | ^~ 2021-07-16T03:39:59,162 gcc -O -Wall -c -o basic.o basic.c 2021-07-16T03:39:59,415 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-16T03:39:59,887 gcc -O -Wall -c -o formula.o formula.c 2021-07-16T03:40:00,719 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-16T03:40:01,006 gcc -O -Wall -c -o literals.o literals.c 2021-07-16T03:40:01,457 gcc -O -Wall -c -o topform.o topform.c 2021-07-16T03:40:01,892 gcc -O -Wall -c -o clist.o clist.c 2021-07-16T03:40:02,340 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-16T03:40:02,571 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-16T03:40:02,837 gcc -O -Wall -c -o just.o just.c 2021-07-16T03:40:03,671 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-16T03:40:04,261 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-16T03:40:04,502 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-16T03:40:04,841 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-16T03:40:05,237 gcc -O -Wall -c -o compress.o compress.c 2021-07-16T03:40:05,450 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-16T03:40:05,695 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-16T03:40:05,924 gcc -O -Wall -c -o weight.o weight.c 2021-07-16T03:40:06,242 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-16T03:40:06,437 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-16T03:40:07,022 gcc -O -Wall -c -o features.o features.c 2021-07-16T03:40:07,245 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-16T03:40:07,547 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-16T03:40:07,783 gcc -O -Wall -c -o random.o random.c 2021-07-16T03:40:08,070 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-16T03:40:08,522 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-16T03:40:08,797 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-16T03:40:09,130 gcc -O -Wall -c -o complex.o complex.c 2021-07-16T03:40:09,264 complex.c: In function ‘complex4_p1’: 2021-07-16T03:40:09,264 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:09,264 275 | BOOL dummy; 2021-07-16T03:40:09,265 | ^~~~~ 2021-07-16T03:40:09,432 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-16T03:40:09,831 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-16T03:40:09,966 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-16T03:40:09,966 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-16T03:40:09,967 122 | if (status == BACKTRACK) { 2021-07-16T03:40:09,967 | ^~ 2021-07-16T03:40:09,968 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:09,968 158 | Discrim dd = NULL; 2021-07-16T03:40:09,968 | ^~ 2021-07-16T03:40:09,968 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-16T03:40:09,969 167 | if (status == GO) { 2021-07-16T03:40:09,969 | ^~ 2021-07-16T03:40:10,136 gcc -O -Wall -c -o demod.o demod.c 2021-07-16T03:40:10,278 demod.c: In function ‘demod1’: 2021-07-16T03:40:10,279 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:10,279 376 | Term result; 2021-07-16T03:40:10,280 | ^~~~~~ 2021-07-16T03:40:10,479 gcc -O -Wall -c -o clash.o clash.c 2021-07-16T03:40:10,618 clash.c: In function ‘clash_recurse’: 2021-07-16T03:40:10,619 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-16T03:40:10,619 283 | else if (!p->clashable | p->clashed) 2021-07-16T03:40:10,619 | ^~~~~~~~~~~~~ 2021-07-16T03:40:10,759 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-16T03:40:11,281 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-16T03:40:11,414 paramod.c: In function ‘para_into’: 2021-07-16T03:40:11,415 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-16T03:40:11,415 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-16T03:40:11,659 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-16T03:40:11,915 gcc -O -Wall -c -o hints.o hints.c 2021-07-16T03:40:12,655 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-16T03:40:13,101 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-16T03:40:13,574 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-16T03:40:13,726 ivy.c: In function ‘factor2_instances’: 2021-07-16T03:40:13,726 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:13,726 633 | Literals l1i, l2i, lit; 2021-07-16T03:40:13,726 | ^~~ 2021-07-16T03:40:14,090 gcc -O -Wall -c -o interp.o interp.c 2021-07-16T03:40:14,233 interp.c: In function ‘transpose_binary’: 2021-07-16T03:40:14,233 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:14,234 358 | int i, rc; 2021-07-16T03:40:14,234 | ^~ 2021-07-16T03:40:15,810 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-16T03:40:15,979 gcc -O -Wall -c -o banner.o banner.c 2021-07-16T03:40:16,164 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-16T03:40:16,602 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-16T03:40:17,075 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-16T03:40:17,688 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-16T03:40:17,725 ar: creating libladr.a 2021-07-16T03:40:17,861 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:17,861 make[2]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:17,862 cd mace4.src && make all 2021-07-16T03:40:17,876 make[2]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:17,877 cd ../ladr && make libladr.a 2021-07-16T03:40:17,918 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:17,919 make[3]: 'libladr.a' is up to date. 2021-07-16T03:40:17,919 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:17,920 make clean 2021-07-16T03:40:17,928 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:17,929 /bin/rm -f *.o 2021-07-16T03:40:17,944 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:17,944 make libmace4.a 2021-07-16T03:40:17,956 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:17,956 gcc -O -Wall -c -o estack.o estack.c 2021-07-16T03:40:18,161 gcc -O -Wall -c -o util.o util.c 2021-07-16T03:40:18,335 gcc -O -Wall -c -o print.o print.c 2021-07-16T03:40:18,758 gcc -O -Wall -c -o syms.o syms.c 2021-07-16T03:40:19,020 gcc -O -Wall -c -o ground.o ground.c 2021-07-16T03:40:19,448 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-16T03:40:19,890 gcc -O -Wall -c -o select.o select.c 2021-07-16T03:40:20,045 select.c: In function ‘select_concentric_band’: 2021-07-16T03:40:20,045 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T03:40:20,045 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-16T03:40:20,046 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-16T03:40:20,046 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T03:40:20,046 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T03:40:20,185 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-16T03:40:20,609 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-16T03:40:20,850 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-16T03:40:21,224 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-16T03:40:21,560 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-16T03:40:21,805 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-16T03:40:22,089 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-16T03:40:22,247 msearch.c: In function ‘next_domain_size’: 2021-07-16T03:40:22,247 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-16T03:40:22,248 850 | int next_domain_size(n) 2021-07-16T03:40:22,248 | ^~~~~~~~~~~~~~~~ 2021-07-16T03:40:22,722 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-16T03:40:22,729 ar: creating libmace4.a 2021-07-16T03:40:22,760 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:22,763 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-16T03:40:22,967 mace4.c: In function ‘init_attrs’: 2021-07-16T03:40:22,968 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:22,968 36 | int id; 2021-07-16T03:40:22,968 | ^~ 2021-07-16T03:40:23,066 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-16T03:40:23,341 /bin/mv mace4 ../bin 2021-07-16T03:40:23,393 make[2]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:23,394 cd provers.src && make all 2021-07-16T03:40:23,413 make[2]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:23,413 cd ../ladr && make libladr 2021-07-16T03:40:23,434 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:23,434 make libladr.a 2021-07-16T03:40:23,470 make[4]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:23,470 make[4]: 'libladr.a' is up to date. 2021-07-16T03:40:23,470 make[4]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:23,471 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:23,472 make clean 2021-07-16T03:40:23,482 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:23,482 /bin/rm -f *.o 2021-07-16T03:40:23,492 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:23,493 cd ../mace4.src && make libmace4 2021-07-16T03:40:23,511 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:23,511 make libmace4.a 2021-07-16T03:40:23,525 make[4]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:23,525 make[4]: 'libmace4.a' is up to date. 2021-07-16T03:40:23,525 make[4]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:23,525 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-16T03:40:23,527 make clean 2021-07-16T03:40:23,545 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:23,546 /bin/rm -f *.o 2021-07-16T03:40:23,555 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:23,557 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-16T03:40:23,776 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-16T03:40:24,002 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-16T03:40:24,208 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-16T03:40:24,446 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-16T03:40:24,730 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-16T03:40:25,032 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-16T03:40:25,285 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-16T03:40:25,711 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-16T03:40:25,964 gcc -O -Wall -c -o actions.o actions.c 2021-07-16T03:40:26,330 gcc -O -Wall -c -o search.o search.c 2021-07-16T03:40:28,020 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-16T03:40:28,667 gcc -O -Wall -c -o provers.o provers.c 2021-07-16T03:40:28,988 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-16T03:40:29,272 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-16T03:40:29,566 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-16T03:40:29,779 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-16T03:40:30,212 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-16T03:40:30,456 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-16T03:40:30,751 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-16T03:40:31,004 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-16T03:40:31,293 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-16T03:40:31,566 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-16T03:40:31,841 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-16T03:40:32,072 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-16T03:40:32,332 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-16T03:40:32,479 tptp_to_ladr.c: In function ‘main’: 2021-07-16T03:40:32,479 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:32,480 84 | int i; 2021-07-16T03:40:32,480 | ^ 2021-07-16T03:40:32,582 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-16T03:40:32,891 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-16T03:40:33,005 /bin/rm -f *.o 2021-07-16T03:40:33,022 make[2]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-16T03:40:33,022 cd apps.src && make all 2021-07-16T03:40:33,038 make[2]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-16T03:40:33,038 cd ../ladr && make libladr.a 2021-07-16T03:40:33,100 make[3]: Entering directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:33,100 make[3]: 'libladr.a' is up to date. 2021-07-16T03:40:33,101 make[3]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-16T03:40:33,103 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-16T03:40:33,374 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-16T03:40:33,595 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-16T03:40:33,966 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-16T03:40:34,160 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-16T03:40:34,303 clausefilter.c: In function ‘main’: 2021-07-16T03:40:34,304 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:34,305 109 | int i; 2021-07-16T03:40:34,305 | ^ 2021-07-16T03:40:34,414 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-16T03:40:34,617 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-16T03:40:34,889 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-16T03:40:35,112 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-16T03:40:35,560 renamer.c: In function ‘main’: 2021-07-16T03:40:35,561 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:35,561 54 | int i; 2021-07-16T03:40:35,561 | ^ 2021-07-16T03:40:35,679 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-16T03:40:35,958 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-16T03:40:36,155 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-16T03:40:36,361 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-16T03:40:36,594 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-16T03:40:36,824 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-16T03:40:37,064 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-16T03:40:37,325 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-16T03:40:37,572 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-16T03:40:37,836 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-16T03:40:38,098 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-16T03:40:38,299 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-16T03:40:38,561 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-16T03:40:38,765 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-16T03:40:38,969 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-16T03:40:39,173 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-16T03:40:39,320 interpfilter.c: In function ‘main’: 2021-07-16T03:40:39,320 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:39,320 66 | int i; 2021-07-16T03:40:39,321 | ^ 2021-07-16T03:40:39,400 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-16T03:40:39,605 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-16T03:40:39,872 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-16T03:40:40,106 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-16T03:40:40,332 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-16T03:40:40,528 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-16T03:40:40,825 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-16T03:40:41,055 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-16T03:40:41,230 prooftrans.c: In function ‘main’: 2021-07-16T03:40:41,231 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:41,231 225 | int label_attr, answer_attr, props_attr; 2021-07-16T03:40:41,232 | ^~~~~~~~~~ 2021-07-16T03:40:41,232 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:41,232 222 | int rc, n, number_of_proofs; 2021-07-16T03:40:41,232 | ^~ 2021-07-16T03:40:41,482 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-16T03:40:41,720 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-16T03:40:41,894 mirror-flip.c: In function ‘main’: 2021-07-16T03:40:41,895 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:41,896 129 | int i; 2021-07-16T03:40:41,896 | ^ 2021-07-16T03:40:42,001 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-16T03:40:42,232 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-16T03:40:42,408 perm3.c: In function ‘main’: 2021-07-16T03:40:42,409 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:42,409 120 | int i; 2021-07-16T03:40:42,410 | ^ 2021-07-16T03:40:42,533 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-16T03:40:42,798 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-16T03:40:42,969 sigtest.c: In function ‘main’: 2021-07-16T03:40:42,970 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:42,971 33 | int i; 2021-07-16T03:40:42,971 | ^ 2021-07-16T03:40:43,041 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-16T03:40:43,239 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-16T03:40:43,429 directproof.c: In function ‘main’: 2021-07-16T03:40:43,429 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:43,430 645 | int label_attr, answer_attr, props_attr; 2021-07-16T03:40:43,430 | ^~~~~~~~~~ 2021-07-16T03:40:43,430 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:43,430 645 | int label_attr, answer_attr, props_attr; 2021-07-16T03:40:43,430 | ^~~~~~~~~~ 2021-07-16T03:40:43,431 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:43,432 642 | int rc, n, number_of_proofs; 2021-07-16T03:40:43,432 | ^~ 2021-07-16T03:40:43,863 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-16T03:40:44,063 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-16T03:40:44,236 test_clause_eval.c: In function ‘main’: 2021-07-16T03:40:44,237 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:44,238 31 | int i; 2021-07-16T03:40:44,239 | ^ 2021-07-16T03:40:44,311 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-16T03:40:44,539 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-16T03:40:44,741 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-16T03:40:44,938 gcc -O -Wall -c -o complex.o complex.c 2021-07-16T03:40:45,080 complex.c: In function ‘complex4_p1’: 2021-07-16T03:40:45,080 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:45,080 79 | BOOL dummy; 2021-07-16T03:40:45,080 | ^~~~~ 2021-07-16T03:40:45,081 complex.c: In function ‘main’: 2021-07-16T03:40:45,081 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-16T03:40:45,082 126 | double d; 2021-07-16T03:40:45,082 | ^ 2021-07-16T03:40:45,167 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-16T03:40:45,365 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-16T03:40:45,771 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-16T03:40:46,046 /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-16T03:40:46,113 /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-16T03:40:46,134 make[2]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-16T03:40:46,135 /bin/cp -p utilities/* bin 2021-07-16T03:40:46,170 **** Now try 'make test1'. **** 2021-07-16T03:40:46,175 make[1]: Leaving directory '/tmp/pip-wheel-_6aoxqn2/provers_9e14e3362ed84822b3c484bb798ddc33/provers/bin/tmp/LADR-2009-11A' 2021-07-16T03:40:46,175 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-16T03:40:46,199 cp tmp/LADR-2009-11A/bin/interpformat . 2021-07-16T03:40:46,224 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-16T03:40:46,261 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-16T03:40:46,279 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-16T03:40:46,302 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-16T03:40:46,326 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-16T03:40:46,349 rm -rf tmp 2021-07-16T03:40:46,677 creating build 2021-07-16T03:40:46,678 creating build/lib 2021-07-16T03:40:46,678 creating build/lib/provers 2021-07-16T03:40:46,680 copying provers/__init__.py -> build/lib/provers 2021-07-16T03:40:46,682 copying provers/eprover.py -> build/lib/provers 2021-07-16T03:40:46,684 copying provers/fol.py -> build/lib/provers 2021-07-16T03:40:46,686 copying provers/prover9.py -> build/lib/provers 2021-07-16T03:40:46,689 copying provers/util.py -> build/lib/provers 2021-07-16T03:40:46,693 creating build/lib/provers/bin 2021-07-16T03:40:46,693 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-16T03:40:46,704 copying provers/bin/interpformat -> build/lib/provers/bin 2021-07-16T03:40:46,715 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-16T03:40:46,726 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-16T03:40:46,740 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-16T03:40:46,752 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-16T03:40:46,763 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-16T03:40:46,776 running build_ext 2021-07-16T03:40:46,788 installing to build/bdist.linux-armv7l/wheel 2021-07-16T03:40:46,789 running install 2021-07-16T03:40:46,790 running install_lib 2021-07-16T03:40:46,799 creating build/bdist.linux-armv7l 2021-07-16T03:40:46,799 creating build/bdist.linux-armv7l/wheel 2021-07-16T03:40:46,800 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.data 2021-07-16T03:40:46,800 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib 2021-07-16T03:40:46,802 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,803 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,806 copying build/lib/provers/eprover.py -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,808 copying build/lib/provers/fol.py -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,810 copying build/lib/provers/prover9.py -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,813 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,814 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,828 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,838 copying build/lib/provers/bin/interpformat -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,848 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,857 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,870 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,880 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers/bin 2021-07-16T03:40:46,893 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers 2021-07-16T03:40:46,895 running install_egg_info 2021-07-16T03:40:46,924 running egg_info 2021-07-16T03:40:46,925 writing provers.egg-info/PKG-INFO 2021-07-16T03:40:46,927 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-16T03:40:46,929 writing entry points to provers.egg-info/entry_points.txt 2021-07-16T03:40:46,930 writing top-level names to provers.egg-info/top_level.txt 2021-07-16T03:40:46,964 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-16T03:40:46,966 reading manifest template 'MANIFEST.in' 2021-07-16T03:40:46,969 adding license file 'LICENSE' 2021-07-16T03:40:46,972 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-16T03:40:46,974 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.16.data/purelib/provers-0.1.16-py3.9.egg-info 2021-07-16T03:40:46,985 running install_scripts 2021-07-16T03:40:47,069 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-16T03:40:47,075 creating build/bdist.linux-armv7l/wheel/provers-0.1.16.dist-info/WHEEL 2021-07-16T03:40:47,078 creating '/tmp/pip-wheel-75g9fdvu/provers-0.1.16-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-16T03:40:47,082 adding 'provers-0.1.16.data/purelib/provers/__init__.py' 2021-07-16T03:40:47,084 adding 'provers-0.1.16.data/purelib/provers/eprover.py' 2021-07-16T03:40:47,086 adding 'provers-0.1.16.data/purelib/provers/fol.py' 2021-07-16T03:40:47,089 adding 'provers-0.1.16.data/purelib/provers/prover9.py' 2021-07-16T03:40:47,090 adding 'provers-0.1.16.data/purelib/provers/util.py' 2021-07-16T03:40:47,176 adding 'provers-0.1.16.data/purelib/provers/bin/interpformat' 2021-07-16T03:40:47,261 adding 'provers-0.1.16.data/purelib/provers/bin/isofilter' 2021-07-16T03:40:47,377 adding 'provers-0.1.16.data/purelib/provers/bin/ladr_to_tptp' 2021-07-16T03:40:47,475 adding 'provers-0.1.16.data/purelib/provers/bin/mace4' 2021-07-16T03:40:47,553 adding 'provers-0.1.16.data/purelib/provers/bin/prooftrans' 2021-07-16T03:40:47,663 adding 'provers-0.1.16.data/purelib/provers/bin/prover9' 2021-07-16T03:40:47,779 adding 'provers-0.1.16.data/purelib/provers/bin/tptp_to_ladr' 2021-07-16T03:40:47,790 adding 'provers-0.1.16.dist-info/LICENSE' 2021-07-16T03:40:47,792 adding 'provers-0.1.16.dist-info/METADATA' 2021-07-16T03:40:47,793 adding 'provers-0.1.16.dist-info/WHEEL' 2021-07-16T03:40:47,793 adding 'provers-0.1.16.dist-info/entry_points.txt' 2021-07-16T03:40:47,794 adding 'provers-0.1.16.dist-info/top_level.txt' 2021-07-16T03:40:47,795 adding 'provers-0.1.16.dist-info/RECORD' 2021-07-16T03:40:47,810 removing build/bdist.linux-armv7l/wheel 2021-07-16T03:40:47,920 Building wheel for provers (setup.py): finished with status 'done' 2021-07-16T03:40:47,937 Created wheel for provers: filename=provers-0.1.16-cp39-cp39-linux_armv7l.whl size=1108344 sha256=d8636b365bb41f482b8ee215f603d3d897313f799cf7ce0716e5d4f0c2fa68d9 2021-07-16T03:40:47,938 Stored in directory: /tmp/pip-ephem-wheel-cache-15hxtfsi/wheels/c8/c1/45/7c4c675fe0684edc8a8f942da867c7d2a155b39793cbc3bbd4 2021-07-16T03:40:47,952 Successfully built provers 2021-07-16T03:40:47,992 Removed build tracker: '/tmp/pip-req-tracker-z_xaf9gj'