2021-07-15T02:10:40,410 Created temporary directory: /tmp/pip-ephem-wheel-cache-160x_w8y 2021-07-15T02:10:40,413 Created temporary directory: /tmp/pip-req-tracker-97c0y1mz 2021-07-15T02:10:40,414 Initialized build tracking at /tmp/pip-req-tracker-97c0y1mz 2021-07-15T02:10:40,414 Created build tracker: /tmp/pip-req-tracker-97c0y1mz 2021-07-15T02:10:40,414 Entered build tracker: /tmp/pip-req-tracker-97c0y1mz 2021-07-15T02:10:40,415 Created temporary directory: /tmp/pip-wheel-fvxh_7hf 2021-07-15T02:10:40,445 1 location(s) to search for versions of provers: 2021-07-15T02:10:40,445 * https://pypi.org/simple/provers/ 2021-07-15T02:10:40,445 Fetching project page and analyzing links: https://pypi.org/simple/provers/ 2021-07-15T02:10:40,446 Getting page https://pypi.org/simple/provers/ 2021-07-15T02:10:40,447 Found index url https://pypi.org/simple 2021-07-15T02:10:40,545 Found link https://files.pythonhosted.org/packages/9c/2a/34e84f0e9a19a0a28fb985741f8ff0e3ff42a6887f2b1e306d4d2c5a7cb2/provers-0.1.0.tar.gz#sha256=5c364393f3307a69967f9b674535b9970a4f3e971f9be6e70d6719919c874201 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.0 2021-07-15T02:10:40,548 Found link https://files.pythonhosted.org/packages/db/5c/44b88300b40492b44b32adb37841ea78df228f2e8b023687548efa9a1378/provers-0.1.1.tar.gz#sha256=8e363ff54aad4188f10b7d5c1815a88a00522af206f3033a514e3d7d3a5d1510 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.1 2021-07-15T02:10:40,549 Found link https://files.pythonhosted.org/packages/66/b7/390874f5097e1c489987f4a14e6e9eefd3d1696b28470b2754522da7ac1f/provers-0.1.2.tar.gz#sha256=32dee5d680e6bd6450fac8a50fdc673088594ccf98c74693a7713b35ab9eba28 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.2 2021-07-15T02:10:40,550 Found link https://files.pythonhosted.org/packages/20/f7/860c8ab6d5ff16515c13321bfccaca1badfae760e121690ff026aa486e33/provers-0.1.3.tar.gz#sha256=8b4a4c50fdfba09460eb52550d4cc7a384298bb86cfc0af26f25a4e4e201fe22 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.3 2021-07-15T02:10:40,550 Found link https://files.pythonhosted.org/packages/ea/7a/93829c01dc0a2b18d001223dc690cd53a9aa5ca7fd96c7db0bd9ebabce08/provers-0.1.4.tar.gz#sha256=42846f0d1cc833f8999170dea8ff0476995762f369b866bd4a54c77b1198e40d (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.4 2021-07-15T02:10:40,551 Found link https://files.pythonhosted.org/packages/07/d6/c8f93376ab01e0db11b9230a5e111261d4684a5637a426b330167337be09/provers-0.1.5.tar.gz#sha256=2a97cb3a56fb9b58f676e8a40449b731237d3d6db6816e2221149cdf348f1b64 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.5 2021-07-15T02:10:40,552 Found link https://files.pythonhosted.org/packages/fb/54/b1a0ce5f20d3de1a01c34eaae867d69b99f808338edae45b26089dc0fecd/provers-0.1.6.tar.gz#sha256=4617929a75c520e3faae9f17c0eeb709c707810a7b8b45d1a7ad7184cdaef969 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.6 2021-07-15T02:10:40,552 Found link https://files.pythonhosted.org/packages/14/99/bebfa9b54de540bb79cbaec3e55a215c3f53a629f669d1173ea64257c0d9/provers-0.1.7.tar.gz#sha256=3519a75cf648dcdb030b94bdf5333bbcbaa3b93f18b7e2e5ebf3ec1e87d0b8c4 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.7 2021-07-15T02:10:40,553 Found link https://files.pythonhosted.org/packages/0a/37/f9cb6a6184f7c4d014183d250ae490c38411009f4a28231b20011386a122/provers-0.1.8.tar.gz#sha256=4eaba71a1c4d64d2bbd46638346f25ace92d9bae2b8077b0ea2011e5a9be5651 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.8 2021-07-15T02:10:40,553 Found link https://files.pythonhosted.org/packages/d6/e2/7c55cecd9a72bf4614488178a122f091149bca11a14039b5366e577cd3f2/provers-0.1.9.tar.gz#sha256=b758dc230e5cac9b2d2b77de55c13bb14b40261c91313428f06764980b862b7e (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.9 2021-07-15T02:10:40,554 Found link https://files.pythonhosted.org/packages/ab/41/23ba8749948e2d599358b2775bb8d8f146012e3c889a58e34a42f88582d2/provers-0.1.10.tar.gz#sha256=73a578ffd8c23b0a10653abd21eb108700a2f0d6fad03cc5bd52bff86a8261ed (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.10 2021-07-15T02:10:40,554 Found link https://files.pythonhosted.org/packages/32/3b/4729c0ef9ac3613f1277d311210a2e4d12f8eca72c34ad66c8ba6c4008bd/provers-0.1.11.tar.gz#sha256=b59ceb0b1c13dd36b43929c475bd652214d323491529662d96c4995994953535 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.11 2021-07-15T02:10:40,555 Found link https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.12 2021-07-15T02:10:40,556 Found link https://files.pythonhosted.org/packages/5d/12/1ac658701229edbbc7750a84825e47dbc728667b771d3320dd59c30567e8/provers-0.1.13.tar.gz#sha256=32915c17fbf32eed179923cdcfc9665b40e1b1cfe194f068910a31e4820acbd9 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.13 2021-07-15T02:10:40,556 Found link https://files.pythonhosted.org/packages/dd/88/50ee969ef8e3407f7d4f5041452d679024bf83d84f4cfca670c30a6238c2/provers-0.1.15.tar.gz#sha256=44335d6195a4dc79495c410af00e47cc6bb61b1d3b06a6a59ad80f22131be676 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.15 2021-07-15T02:10:40,557 Found link https://files.pythonhosted.org/packages/a2/a4/6f49b7fc5fe5c23acd354f35f32324b719a217c724870ea0c46b2960a547/provers-0.1.16.tar.gz#sha256=0cbe32451e62bc4b66ae6ca14111d3524c5bc8d41be5fc65030bdce7830356a7 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.16 2021-07-15T02:10:40,557 Found link https://files.pythonhosted.org/packages/22/b0/7bc22319c2dd0ac1ca9aeeb3d8ed4f912a68b70e88568114fbdcf100a167/provers-0.1.17.tar.gz#sha256=950a7319fc6849aabb910f7319e8191f4d27330cda0c5e98b42f53a8c2e71e52 (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.17 2021-07-15T02:10:40,558 Found link https://files.pythonhosted.org/packages/a0/83/53fa97757df59f24e7504b841e0b4c92a557eab3f1e330de827521279acf/provers-0.1.18.tar.gz#sha256=9aeaec5689f1e5c7d6a5a670287d504403162a680f00b7e0e2d95bd19905b93b (from https://pypi.org/simple/provers/) (requires-python:>=3.5), version: 0.1.18 2021-07-15T02:10:40,558 Skipping link: not a file: https://pypi.org/simple/provers/ 2021-07-15T02:10:40,578 Given no hashes to check 1 links for project 'provers': discarding no candidates 2021-07-15T02:10:40,597 Collecting provers==0.1.12 2021-07-15T02:10:40,599 Created temporary directory: /tmp/pip-unpack-1xjigz61 2021-07-15T02:10:40,767 Downloading provers-0.1.12.tar.gz (14 kB) 2021-07-15T02:10:40,830 Added provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b to build tracker '/tmp/pip-req-tracker-97c0y1mz' 2021-07-15T02:10:40,831 Running setup.py (path:/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/setup.py) egg_info for package provers 2021-07-15T02:10:40,832 Created temporary directory: /tmp/pip-pip-egg-info-aptcgzc2 2021-07-15T02:10:40,833 Running command python setup.py egg_info 2021-07-15T02:10:42,298 running egg_info 2021-07-15T02:10:42,300 creating /tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info 2021-07-15T02:10:42,301 writing /tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/PKG-INFO 2021-07-15T02:10:42,304 writing dependency_links to /tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/dependency_links.txt 2021-07-15T02:10:42,305 writing entry points to /tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/entry_points.txt 2021-07-15T02:10:42,307 writing top-level names to /tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/top_level.txt 2021-07-15T02:10:42,309 writing manifest file '/tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/SOURCES.txt' 2021-07-15T02:10:42,525 reading manifest file '/tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/SOURCES.txt' 2021-07-15T02:10:42,527 reading manifest template 'MANIFEST.in' 2021-07-15T02:10:42,529 warning: no previously-included files found matching 'provers/bin/*' 2021-07-15T02:10:42,529 adding license file 'LICENSE' 2021-07-15T02:10:42,531 writing manifest file '/tmp/pip-pip-egg-info-aptcgzc2/provers.egg-info/SOURCES.txt' 2021-07-15T02:10:42,619 Source in /tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a has version 0.1.12, which satisfies requirement provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b 2021-07-15T02:10:42,620 Removed provers==0.1.12 from https://files.pythonhosted.org/packages/36/64/37fdbfb859f41be3c0e014cedea06d40299561b18338914b46c37a3c6e8e/provers-0.1.12.tar.gz#sha256=9b4928d95e0cf0b7a3fd77ab7c382178830873a829f8627c96992b99ca92679b from build tracker '/tmp/pip-req-tracker-97c0y1mz' 2021-07-15T02:10:42,627 Created temporary directory: /tmp/pip-unpack-6zoswofo 2021-07-15T02:10:42,627 Building wheels for collected packages: provers 2021-07-15T02:10:42,633 Created temporary directory: /tmp/pip-wheel-5n6skr2s 2021-07-15T02:10:42,633 Building wheel for provers (setup.py): started 2021-07-15T02:10:42,633 Destination directory: /tmp/pip-wheel-5n6skr2s 2021-07-15T02:10:42,634 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/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-5n6skr2s 2021-07-15T02:10:44,110 running bdist_wheel 2021-07-15T02:10:44,277 running build 2021-07-15T02:10:44,277 running build_py 2021-07-15T02:10:44,292 mkdir tmp || true 2021-07-15T02:10:44,307 cd tmp && wget https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T02:10:44,333 --2021-07-15 02:10:44-- https://www.cs.unm.edu/~mccune/mace4/download/LADR-2009-11A.tar.gz 2021-07-15T02:10:44,382 Resolving www.cs.unm.edu (www.cs.unm.edu)... 64:ff9b::406a:144c, 64.106.20.76 2021-07-15T02:10:44,505 Connecting to www.cs.unm.edu (www.cs.unm.edu)|64:ff9b::406a:144c|:443... connected. 2021-07-15T02:10:45,007 HTTP request sent, awaiting response... 200 OK 2021-07-15T02:10:45,008 Length: 1795750 (1.7M) [application/x-gzip] 2021-07-15T02:10:45,010 Saving to: ‘LADR-2009-11A.tar.gz’ 2021-07-15T02:10:45,258 0K .......... .......... .......... .......... .......... 2% 202K 8s 2021-07-15T02:10:45,380 50K .......... .......... .......... .......... .......... 5% 413K 6s 2021-07-15T02:10:45,389 100K .......... .......... .......... .......... .......... 8% 5.32M 4s 2021-07-15T02:10:45,398 150K .......... .......... .......... .......... .......... 11% 5.32M 3s 2021-07-15T02:10:45,509 200K .......... .......... .......... .......... .......... 14% 450K 3s 2021-07-15T02:10:45,518 250K .......... .......... .......... .......... .......... 17% 5.40M 2s 2021-07-15T02:10:45,522 300K .......... .......... .......... .......... .......... 19% 10.7M 2s 2021-07-15T02:10:45,527 350K .......... .......... .......... .......... .......... 22% 11.0M 2s 2021-07-15T02:10:45,631 400K .......... .......... .......... .......... .......... 25% 481K 2s 2021-07-15T02:10:45,636 450K .......... .......... .......... .......... .......... 28% 8.52M 2s 2021-07-15T02:10:45,641 500K .......... .......... .......... .......... .......... 31% 10.4M 1s 2021-07-15T02:10:45,646 550K .......... .......... .......... .......... .......... 34% 10.9M 1s 2021-07-15T02:10:45,648 600K .......... .......... .......... .......... .......... 37% 15.1M 1s 2021-07-15T02:10:45,651 650K .......... .......... .......... .......... .......... 39% 21.8M 1s 2021-07-15T02:10:45,653 700K .......... .......... .......... .......... .......... 42% 21.3M 1s 2021-07-15T02:10:45,656 750K .......... .......... .......... .......... .......... 45% 21.7M 1s 2021-07-15T02:10:45,658 800K .......... .......... .......... .......... .......... 48% 17.1M 1s 2021-07-15T02:10:45,752 850K .......... .......... .......... .......... .......... 51% 531K 1s 2021-07-15T02:10:45,757 900K .......... .......... .......... .......... .......... 54% 10.6M 1s 2021-07-15T02:10:45,762 950K .......... .......... .......... .......... .......... 57% 10.4M 1s 2021-07-15T02:10:45,766 1000K .......... .......... .......... .......... .......... 59% 10.2M 1s 2021-07-15T02:10:45,769 1050K .......... .......... .......... .......... .......... 62% 21.7M 0s 2021-07-15T02:10:45,771 1100K .......... .......... .......... .......... .......... 65% 23.2M 0s 2021-07-15T02:10:45,773 1150K .......... .......... .......... .......... .......... 68% 23.5M 0s 2021-07-15T02:10:45,775 1200K .......... .......... .......... .......... .......... 71% 18.5M 0s 2021-07-15T02:10:45,777 1250K .......... .......... .......... .......... .......... 74% 23.8M 0s 2021-07-15T02:10:45,779 1300K .......... .......... .......... .......... .......... 76% 23.9M 0s 2021-07-15T02:10:45,782 1350K .......... .......... .......... .......... .......... 79% 23.6M 0s 2021-07-15T02:10:45,784 1400K .......... .......... .......... .......... .......... 82% 23.0M 0s 2021-07-15T02:10:45,786 1450K .......... .......... .......... .......... .......... 85% 24.4M 0s 2021-07-15T02:10:45,787 1500K .......... .......... .......... .......... .......... 88% 27.3M 0s 2021-07-15T02:10:45,790 1550K .......... .......... .......... .......... .......... 91% 27.3M 0s 2021-07-15T02:10:45,792 1600K .......... .......... .......... .......... .......... 94% 21.2M 0s 2021-07-15T02:10:45,793 1650K .......... .......... .......... .......... .......... 96% 27.4M 0s 2021-07-15T02:10:45,795 1700K .......... .......... .......... .......... .......... 99% 30.3M 0s 2021-07-15T02:10:45,795 1750K ... 100% 32.6M=0.8s 2021-07-15T02:10:45,828 2021-07-15 02:10:45 (2.18 MB/s) - ‘LADR-2009-11A.tar.gz’ saved [1795750/1795750] 2021-07-15T02:10:45,831 cd tmp && tar -xzf LADR-2009-11A.tar.gz 2021-07-15T02:10:47,069 cd tmp/LADR-2009-11A/provers.src && sed -i.old 's/^\([ \t]*\$(CC).*\) -lm \(.*\)$/\1 \2 -lm/g' Makefile 2021-07-15T02:10:47,089 cd tmp/LADR-2009-11A && make all 2021-07-15T02:10:47,109 make[1]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A' 2021-07-15T02:10:47,109 cd ladr && make lib 2021-07-15T02:10:47,135 make[2]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:10:47,136 make libladr.a 2021-07-15T02:10:47,152 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:10:47,152 gcc -O -Wall -c -o order.o order.c 2021-07-15T02:10:47,336 gcc -O -Wall -c -o clock.o clock.c 2021-07-15T02:10:47,585 gcc -O -Wall -c -o nonport.o nonport.c 2021-07-15T02:10:47,715 gcc -O -Wall -c -o fatal.o fatal.c 2021-07-15T02:10:47,861 gcc -O -Wall -c -o ibuffer.o ibuffer.c 2021-07-15T02:10:48,065 gcc -O -Wall -c -o memory.o memory.c 2021-07-15T02:10:48,295 gcc -O -Wall -c -o hash.o hash.c 2021-07-15T02:10:48,501 gcc -O -Wall -c -o string.o string.c 2021-07-15T02:10:48,751 gcc -O -Wall -c -o strbuf.o strbuf.c 2021-07-15T02:10:49,020 gcc -O -Wall -c -o glist.o glist.c 2021-07-15T02:10:49,587 gcc -O -Wall -c -o options.o options.c 2021-07-15T02:10:50,083 gcc -O -Wall -c -o symbols.o symbols.c 2021-07-15T02:10:50,210 symbols.c: In function ‘declare_base_symbols’: 2021-07-15T02:10:50,210 symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:10:50,210 1304 | int sn; 2021-07-15T02:10:50,210 | ^~ 2021-07-15T02:10:50,964 gcc -O -Wall -c -o avltree.o avltree.c 2021-07-15T02:10:51,315 gcc -O -Wall -c -o term.o term.c 2021-07-15T02:10:52,106 gcc -O -Wall -c -o termflag.o termflag.c 2021-07-15T02:10:52,303 gcc -O -Wall -c -o listterm.o listterm.c 2021-07-15T02:10:52,507 gcc -O -Wall -c -o tlist.o tlist.c 2021-07-15T02:10:52,691 gcc -O -Wall -c -o flatterm.o flatterm.c 2021-07-15T02:10:52,954 gcc -O -Wall -c -o multiset.o multiset.c 2021-07-15T02:10:53,148 gcc -O -Wall -c -o termorder.o termorder.c 2021-07-15T02:10:53,581 gcc -O -Wall -c -o parse.o parse.c 2021-07-15T02:10:54,319 gcc -O -Wall -c -o accanon.o accanon.c 2021-07-15T02:10:54,532 gcc -O -Wall -c -o unify.o unify.c 2021-07-15T02:10:54,955 gcc -O -Wall -c -o fpalist.o fpalist.c 2021-07-15T02:10:55,274 gcc -O -Wall -c -o fpa.o fpa.c 2021-07-15T02:10:55,757 gcc -O -Wall -c -o discrim.o discrim.c 2021-07-15T02:10:55,964 gcc -O -Wall -c -o discrimb.o discrimb.c 2021-07-15T02:10:56,112 discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 2021-07-15T02:10:56,113 487 | Flat2 check_flat2(Flat2 f) 2021-07-15T02:10:56,113 | ^~~~~~~~~~~ 2021-07-15T02:10:56,333 gcc -O -Wall -c -o discrimw.o discrimw.c 2021-07-15T02:10:56,473 discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 2021-07-15T02:10:56,473 146 | Flat check_flat(Flat f) 2021-07-15T02:10:56,474 | ^~~~~~~~~~ 2021-07-15T02:10:56,736 gcc -O -Wall -c -o dioph.o dioph.c 2021-07-15T02:10:57,242 gcc -O -Wall -c -o btu.o btu.c 2021-07-15T02:10:57,840 gcc -O -Wall -c -o btm.o btm.c 2021-07-15T02:10:58,455 gcc -O -Wall -c -o mindex.o mindex.c 2021-07-15T02:10:58,592 mindex.c: In function ‘mindex_retrieve_next’: 2021-07-15T02:10:58,593 mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:10:58,593 650 | Trail tr; 2021-07-15T02:10:58,593 | ^~ 2021-07-15T02:10:58,777 gcc -O -Wall -c -o basic.o basic.c 2021-07-15T02:10:59,020 gcc -O -Wall -c -o attrib.o attrib.c 2021-07-15T02:10:59,677 gcc -O -Wall -c -o formula.o formula.c 2021-07-15T02:11:00,446 gcc -O -Wall -c -o definitions.o definitions.c 2021-07-15T02:11:00,727 gcc -O -Wall -c -o literals.o literals.c 2021-07-15T02:11:01,145 gcc -O -Wall -c -o topform.o topform.c 2021-07-15T02:11:01,535 gcc -O -Wall -c -o clist.o clist.c 2021-07-15T02:11:01,982 gcc -O -Wall -c -o clauseid.o clauseid.c 2021-07-15T02:11:02,211 gcc -O -Wall -c -o clauses.o clauses.c 2021-07-15T02:11:02,451 gcc -O -Wall -c -o just.o just.c 2021-07-15T02:11:03,216 gcc -O -Wall -c -o cnf.o cnf.c 2021-07-15T02:11:03,777 gcc -O -Wall -c -o clausify.o clausify.c 2021-07-15T02:11:04,015 gcc -O -Wall -c -o parautil.o parautil.c 2021-07-15T02:11:04,323 gcc -O -Wall -c -o pindex.o pindex.c 2021-07-15T02:11:04,691 gcc -O -Wall -c -o compress.o compress.c 2021-07-15T02:11:04,896 gcc -O -Wall -c -o maximal.o maximal.c 2021-07-15T02:11:05,135 gcc -O -Wall -c -o lindex.o lindex.c 2021-07-15T02:11:05,349 gcc -O -Wall -c -o weight.o weight.c 2021-07-15T02:11:05,660 gcc -O -Wall -c -o weight2.o weight2.c 2021-07-15T02:11:06,141 gcc -O -Wall -c -o int_code.o int_code.c 2021-07-15T02:11:06,412 gcc -O -Wall -c -o features.o features.c 2021-07-15T02:11:06,634 gcc -O -Wall -c -o di_tree.o di_tree.c 2021-07-15T02:11:06,927 gcc -O -Wall -c -o fastparse.o fastparse.c 2021-07-15T02:11:07,172 gcc -O -Wall -c -o random.o random.c 2021-07-15T02:11:07,443 gcc -O -Wall -c -o subsume.o subsume.c 2021-07-15T02:11:07,847 gcc -O -Wall -c -o clause_misc.o clause_misc.c 2021-07-15T02:11:08,080 gcc -O -Wall -c -o clause_eval.o clause_eval.c 2021-07-15T02:11:08,336 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T02:11:08,465 complex.c: In function ‘complex4_p1’: 2021-07-15T02:11:08,465 complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:08,465 275 | BOOL dummy; 2021-07-15T02:11:08,466 | ^~~~~ 2021-07-15T02:11:08,608 gcc -O -Wall -c -o dollar.o dollar.c 2021-07-15T02:11:08,986 gcc -O -Wall -c -o flatdemod.o flatdemod.c 2021-07-15T02:11:09,118 flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: 2021-07-15T02:11:09,118 flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T02:11:09,118 122 | if (status == BACKTRACK) { 2021-07-15T02:11:09,119 | ^~ 2021-07-15T02:11:09,119 flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:09,119 158 | Discrim dd = NULL; 2021-07-15T02:11:09,119 | ^~ 2021-07-15T02:11:09,120 flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 2021-07-15T02:11:09,120 167 | if (status == GO) { 2021-07-15T02:11:09,120 | ^~ 2021-07-15T02:11:09,269 gcc -O -Wall -c -o demod.o demod.c 2021-07-15T02:11:09,409 demod.c: In function ‘demod1’: 2021-07-15T02:11:09,409 demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:09,410 376 | Term result; 2021-07-15T02:11:09,410 | ^~~~~~ 2021-07-15T02:11:09,596 gcc -O -Wall -c -o clash.o clash.c 2021-07-15T02:11:09,728 clash.c: In function ‘clash_recurse’: 2021-07-15T02:11:09,729 clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T02:11:09,729 283 | else if (!p->clashable | p->clashed) 2021-07-15T02:11:09,729 | ^~~~~~~~~~~~~ 2021-07-15T02:11:09,855 gcc -O -Wall -c -o resolve.o resolve.c 2021-07-15T02:11:10,355 gcc -O -Wall -c -o paramod.o paramod.c 2021-07-15T02:11:10,493 paramod.c: In function ‘para_into’: 2021-07-15T02:11:10,493 paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 2021-07-15T02:11:10,493 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { 2021-07-15T02:11:10,726 gcc -O -Wall -c -o backdemod.o backdemod.c 2021-07-15T02:11:10,986 gcc -O -Wall -c -o hints.o hints.c 2021-07-15T02:11:11,247 gcc -O -Wall -c -o ac_redun.o ac_redun.c 2021-07-15T02:11:11,588 gcc -O -Wall -c -o xproofs.o xproofs.c 2021-07-15T02:11:11,976 gcc -O -Wall -c -o ivy.o ivy.c 2021-07-15T02:11:12,124 ivy.c: In function ‘factor2_instances’: 2021-07-15T02:11:12,124 ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:12,125 633 | Literals l1i, l2i, lit; 2021-07-15T02:11:12,125 | ^~~ 2021-07-15T02:11:12,457 gcc -O -Wall -c -o interp.o interp.c 2021-07-15T02:11:12,604 interp.c: In function ‘transpose_binary’: 2021-07-15T02:11:12,604 interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:12,604 358 | int i, rc; 2021-07-15T02:11:12,604 | ^~ 2021-07-15T02:11:14,027 gcc -O -Wall -c -o std_options.o std_options.c 2021-07-15T02:11:14,201 gcc -O -Wall -c -o banner.o banner.c 2021-07-15T02:11:14,388 gcc -O -Wall -c -o ioutil.o ioutil.c 2021-07-15T02:11:14,804 gcc -O -Wall -c -o tptp_trans.o tptp_trans.c 2021-07-15T02:11:15,253 gcc -O -Wall -c -o top_input.o top_input.c 2021-07-15T02:11:15,835 ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o weight2.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o clause_eval.o complex.o dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o 2021-07-15T02:11:15,842 ar: creating libladr.a 2021-07-15T02:11:16,010 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:16,012 make[2]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:16,012 cd mace4.src && make all 2021-07-15T02:11:16,028 make[2]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:16,028 cd ../ladr && make libladr.a 2021-07-15T02:11:16,071 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:16,071 make[3]: 'libladr.a' is up to date. 2021-07-15T02:11:16,071 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:16,072 make clean 2021-07-15T02:11:16,083 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:16,083 /bin/rm -f *.o 2021-07-15T02:11:16,093 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:16,094 make libmace4.a 2021-07-15T02:11:16,105 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:16,106 gcc -O -Wall -c -o estack.o estack.c 2021-07-15T02:11:16,310 gcc -O -Wall -c -o util.o util.c 2021-07-15T02:11:16,706 gcc -O -Wall -c -o print.o print.c 2021-07-15T02:11:17,095 gcc -O -Wall -c -o syms.o syms.c 2021-07-15T02:11:17,382 gcc -O -Wall -c -o ground.o ground.c 2021-07-15T02:11:17,832 gcc -O -Wall -c -o arithmetic.o arithmetic.c 2021-07-15T02:11:18,280 gcc -O -Wall -c -o select.o select.c 2021-07-15T02:11:18,473 select.c: In function ‘select_concentric_band’: 2021-07-15T02:11:18,473 select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:11:18,473 236 | int select_concentric_band(min_id, max_id, max_constrained) 2021-07-15T02:11:18,473 | ^~~~~~~~~~~~~~~~~~~~~~ 2021-07-15T02:11:18,474 select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:11:18,474 select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:11:18,612 gcc -O -Wall -c -o propagate.o propagate.c 2021-07-15T02:11:19,055 gcc -O -Wall -c -o mstate.o mstate.c 2021-07-15T02:11:19,336 gcc -O -Wall -c -o negpropindex.o negpropindex.c 2021-07-15T02:11:19,712 gcc -O -Wall -c -o negprop.o negprop.c 2021-07-15T02:11:20,056 gcc -O -Wall -c -o ordercells.o ordercells.c 2021-07-15T02:11:20,334 gcc -O -Wall -c -o commandline.o commandline.c 2021-07-15T02:11:20,655 gcc -O -Wall -c -o msearch.o msearch.c 2021-07-15T02:11:20,862 msearch.c: In function ‘next_domain_size’: 2021-07-15T02:11:20,863 msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 2021-07-15T02:11:20,863 850 | int next_domain_size(n) 2021-07-15T02:11:20,863 | ^~~~~~~~~~~~~~~~ 2021-07-15T02:11:21,288 ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o 2021-07-15T02:11:21,293 ar: creating libmace4.a 2021-07-15T02:11:21,326 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:21,331 gcc -O -Wall -c -o mace4.o mace4.c 2021-07-15T02:11:21,513 mace4.c: In function ‘init_attrs’: 2021-07-15T02:11:21,514 mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:21,514 36 | int id; 2021-07-15T02:11:21,515 | ^~ 2021-07-15T02:11:21,608 gcc -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.a 2021-07-15T02:11:21,878 /bin/mv mace4 ../bin 2021-07-15T02:11:21,893 make[2]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:21,894 cd provers.src && make all 2021-07-15T02:11:21,917 make[2]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:21,917 cd ../ladr && make libladr 2021-07-15T02:11:21,939 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:21,940 make libladr.a 2021-07-15T02:11:21,969 make[4]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:21,969 make[4]: 'libladr.a' is up to date. 2021-07-15T02:11:21,970 make[4]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:21,970 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:21,971 make clean 2021-07-15T02:11:21,982 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:21,982 /bin/rm -f *.o 2021-07-15T02:11:21,997 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:21,998 cd ../mace4.src && make libmace4 2021-07-15T02:11:22,017 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:22,017 make libmace4.a 2021-07-15T02:11:22,034 make[4]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:22,035 make[4]: 'libmace4.a' is up to date. 2021-07-15T02:11:22,035 make[4]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:22,035 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/mace4.src' 2021-07-15T02:11:22,036 make clean 2021-07-15T02:11:22,050 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:22,050 /bin/rm -f *.o 2021-07-15T02:11:22,062 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:22,064 gcc -O -Wall -c -o prover9.o prover9.c 2021-07-15T02:11:22,296 gcc -O -Wall -c -o index_lits.o index_lits.c 2021-07-15T02:11:22,509 gcc -O -Wall -c -o forward_subsume.o forward_subsume.c 2021-07-15T02:11:22,703 gcc -O -Wall -c -o demodulate.o demodulate.c 2021-07-15T02:11:22,933 gcc -O -Wall -c -o pred_elim.o pred_elim.c 2021-07-15T02:11:23,198 gcc -O -Wall -c -o unfold.o unfold.c 2021-07-15T02:11:23,488 gcc -O -Wall -c -o semantics.o semantics.c 2021-07-15T02:11:23,736 gcc -O -Wall -c -o giv_select.o giv_select.c 2021-07-15T02:11:24,139 gcc -O -Wall -c -o white_black.o white_black.c 2021-07-15T02:11:24,374 gcc -O -Wall -c -o actions.o actions.c 2021-07-15T02:11:24,668 gcc -O -Wall -c -o search.o search.c 2021-07-15T02:11:26,193 gcc -O -Wall -c -o utilities.o utilities.c 2021-07-15T02:11:26,691 gcc -O -Wall -c -o provers.o provers.c 2021-07-15T02:11:27,002 gcc -O -Wall -c -o foffer.o foffer.c 2021-07-15T02:11:27,273 gcc -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:27,530 gcc -O -Wall -c -o fof-prover9.o fof-prover9.c 2021-07-15T02:11:27,736 gcc -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:28,001 gcc -O -Wall -c -o autosketches4.o autosketches4.c 2021-07-15T02:11:28,248 gcc -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:28,507 gcc -O -Wall -c -o newauto.o newauto.c 2021-07-15T02:11:28,743 gcc -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:29,010 gcc -O -Wall -c -o newsax.o newsax.c 2021-07-15T02:11:29,281 gcc -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:29,553 gcc -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c 2021-07-15T02:11:29,781 gcc -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:30,044 gcc -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c 2021-07-15T02:11:30,197 tptp_to_ladr.c: In function ‘main’: 2021-07-15T02:11:30,198 tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:30,198 84 | int i; 2021-07-15T02:11:30,198 | ^ 2021-07-15T02:11:30,289 gcc -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a -lm 2021-07-15T02:11:30,555 /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin 2021-07-15T02:11:30,661 /bin/rm -f *.o 2021-07-15T02:11:30,678 make[2]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/provers.src' 2021-07-15T02:11:30,678 cd apps.src && make all 2021-07-15T02:11:30,696 make[2]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T02:11:30,696 cd ../ladr && make libladr.a 2021-07-15T02:11:30,764 make[3]: Entering directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:30,764 make[3]: 'libladr.a' is up to date. 2021-07-15T02:11:30,764 make[3]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/ladr' 2021-07-15T02:11:30,767 gcc -O -Wall -c -o latfilter.o latfilter.c 2021-07-15T02:11:31,019 gcc -O -Wall -o latfilter latfilter.o ../ladr/libladr.a 2021-07-15T02:11:31,215 gcc -O -Wall -c -o olfilter.o olfilter.c 2021-07-15T02:11:31,559 gcc -O -Wall -o olfilter olfilter.o ../ladr/libladr.a 2021-07-15T02:11:31,757 gcc -O -Wall -c -o clausefilter.o clausefilter.c 2021-07-15T02:11:31,907 clausefilter.c: In function ‘main’: 2021-07-15T02:11:31,908 clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:31,909 109 | int i; 2021-07-15T02:11:31,909 | ^ 2021-07-15T02:11:32,010 gcc -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.a 2021-07-15T02:11:32,211 gcc -O -Wall -c -o idfilter.o idfilter.c 2021-07-15T02:11:32,448 gcc -O -Wall -o idfilter idfilter.o ../ladr/libladr.a 2021-07-15T02:11:32,645 gcc -O -Wall -c -o renamer.o renamer.c 2021-07-15T02:11:32,781 renamer.c: In function ‘main’: 2021-07-15T02:11:32,781 renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:32,782 54 | int i; 2021-07-15T02:11:32,783 | ^ 2021-07-15T02:11:32,841 gcc -O -Wall -o renamer renamer.o ../ladr/libladr.a 2021-07-15T02:11:33,031 gcc -O -Wall -c -o unfast.o unfast.c 2021-07-15T02:11:33,221 gcc -O -Wall -o unfast unfast.o ../ladr/libladr.a 2021-07-15T02:11:33,413 gcc -O -Wall -c -o clausetester.o clausetester.c 2021-07-15T02:11:33,642 gcc -O -Wall -o clausetester clausetester.o ../ladr/libladr.a 2021-07-15T02:11:33,840 gcc -O -Wall -c -o rewriter.o rewriter.c 2021-07-15T02:11:34,066 gcc -O -Wall -o rewriter rewriter.o ../ladr/libladr.a 2021-07-15T02:11:34,260 gcc -O -Wall -c -o isofilter0.o isofilter0.c 2021-07-15T02:11:34,497 gcc -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.a 2021-07-15T02:11:34,688 gcc -O -Wall -c -o isofilter.o isofilter.c 2021-07-15T02:11:34,933 gcc -O -Wall -o isofilter isofilter.o ../ladr/libladr.a 2021-07-15T02:11:35,124 gcc -O -Wall -c -o isofilter2.o isofilter2.c 2021-07-15T02:11:35,366 gcc -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.a 2021-07-15T02:11:35,564 gcc -O -Wall -c -o dprofiles.o dprofiles.c 2021-07-15T02:11:35,766 gcc -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.a 2021-07-15T02:11:35,960 gcc -O -Wall -c -o interpfilter.o interpfilter.c 2021-07-15T02:11:36,108 interpfilter.c: In function ‘main’: 2021-07-15T02:11:36,109 interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:36,109 66 | int i; 2021-07-15T02:11:36,109 | ^ 2021-07-15T02:11:36,188 gcc -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.a 2021-07-15T02:11:36,387 gcc -O -Wall -c -o upper-covers.o upper-covers.c 2021-07-15T02:11:36,639 gcc -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.a 2021-07-15T02:11:36,852 gcc -O -Wall -c -o miniscope.o miniscope.c 2021-07-15T02:11:37,519 gcc -O -Wall -o miniscope miniscope.o ../ladr/libladr.a 2021-07-15T02:11:37,705 gcc -O -Wall -c -o interpformat.o interpformat.c 2021-07-15T02:11:37,981 gcc -O -Wall -o interpformat interpformat.o ../ladr/libladr.a 2021-07-15T02:11:38,182 gcc -O -Wall -c -o prooftrans.o prooftrans.c 2021-07-15T02:11:38,346 prooftrans.c: In function ‘main’: 2021-07-15T02:11:38,346 prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:38,346 225 | int label_attr, answer_attr, props_attr; 2021-07-15T02:11:38,346 | ^~~~~~~~~~ 2021-07-15T02:11:38,347 prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:38,347 222 | int rc, n, number_of_proofs; 2021-07-15T02:11:38,347 | ^~ 2021-07-15T02:11:38,568 gcc -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.a 2021-07-15T02:11:38,763 gcc -O -Wall -c -o mirror-flip.o mirror-flip.c 2021-07-15T02:11:38,904 mirror-flip.c: In function ‘main’: 2021-07-15T02:11:38,904 mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:38,905 129 | int i; 2021-07-15T02:11:38,905 | ^ 2021-07-15T02:11:38,992 gcc -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.a 2021-07-15T02:11:39,429 gcc -O -Wall -c -o perm3.o perm3.c 2021-07-15T02:11:39,579 perm3.c: In function ‘main’: 2021-07-15T02:11:39,580 perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:39,581 120 | int i; 2021-07-15T02:11:39,581 | ^ 2021-07-15T02:11:39,679 gcc -O -Wall -o perm3 perm3.o ../ladr/libladr.a 2021-07-15T02:11:39,878 gcc -O -Wall -c -o sigtest.o sigtest.c 2021-07-15T02:11:40,034 sigtest.c: In function ‘main’: 2021-07-15T02:11:40,035 sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:40,036 33 | int i; 2021-07-15T02:11:40,036 | ^ 2021-07-15T02:11:40,097 gcc -O -Wall -o sigtest sigtest.o ../ladr/libladr.a 2021-07-15T02:11:40,312 gcc -O -Wall -c -o directproof.o directproof.c 2021-07-15T02:11:40,460 directproof.c: In function ‘main’: 2021-07-15T02:11:40,460 directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:40,460 645 | int label_attr, answer_attr, props_attr; 2021-07-15T02:11:40,460 | ^~~~~~~~~~ 2021-07-15T02:11:40,461 directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:40,461 645 | int label_attr, answer_attr, props_attr; 2021-07-15T02:11:40,461 | ^~~~~~~~~~ 2021-07-15T02:11:40,461 directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:40,462 642 | int rc, n, number_of_proofs; 2021-07-15T02:11:40,462 | ^~ 2021-07-15T02:11:40,789 gcc -O -Wall -o directproof directproof.o ../ladr/libladr.a 2021-07-15T02:11:40,991 gcc -O -Wall -c -o test_clause_eval.o test_clause_eval.c 2021-07-15T02:11:41,137 test_clause_eval.c: In function ‘main’: 2021-07-15T02:11:41,138 test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:41,139 31 | int i; 2021-07-15T02:11:41,139 | ^ 2021-07-15T02:11:41,198 gcc -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.a 2021-07-15T02:11:41,629 gcc -O -Wall -c -o test_complex.o test_complex.c 2021-07-15T02:11:41,826 gcc -O -Wall -o test_complex test_complex.o ../ladr/libladr.a 2021-07-15T02:11:42,020 gcc -O -Wall -c -o complex.o complex.c 2021-07-15T02:11:42,388 complex.c: In function ‘complex4_p1’: 2021-07-15T02:11:42,389 complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:42,389 79 | BOOL dummy; 2021-07-15T02:11:42,389 | ^~~~~ 2021-07-15T02:11:42,389 complex.c: In function ‘main’: 2021-07-15T02:11:42,390 complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 2021-07-15T02:11:42,391 126 | double d; 2021-07-15T02:11:42,391 | ^ 2021-07-15T02:11:42,469 gcc -O -Wall -o complex complex.o ../ladr/libladr.a 2021-07-15T02:11:42,651 gcc -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c 2021-07-15T02:11:42,979 gcc -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a 2021-07-15T02:11:43,178 /bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin 2021-07-15T02:11:43,208 /bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs 2021-07-15T02:11:43,233 make[2]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A/apps.src' 2021-07-15T02:11:43,234 /bin/cp -p utilities/* bin 2021-07-15T02:11:43,278 **** Now try 'make test1'. **** 2021-07-15T02:11:43,285 make[1]: Leaving directory '/tmp/pip-wheel-fvxh_7hf/provers_a97c3fe1bc57425ca7400db4c149052a/provers/bin/tmp/LADR-2009-11A' 2021-07-15T02:11:43,285 cp tmp/LADR-2009-11A/bin/isofilter . 2021-07-15T02:11:43,315 cp tmp/LADR-2009-11A/bin/prooftrans . 2021-07-15T02:11:43,341 cp tmp/LADR-2009-11A/bin/tptp_to_ladr . 2021-07-15T02:11:43,363 cp tmp/LADR-2009-11A/bin/ladr_to_tptp . 2021-07-15T02:11:43,389 cp tmp/LADR-2009-11A/bin/mace4 . 2021-07-15T02:11:43,416 cp tmp/LADR-2009-11A/bin/prover9 . 2021-07-15T02:11:43,443 rm -rf tmp 2021-07-15T02:11:43,758 mkdir tmp || true 2021-07-15T02:11:43,770 cd tmp && git clone https://github.com/vprover/vampire.git || true 2021-07-15T02:11:43,780 Cloning into 'vampire'... 2021-07-15T02:11:43,823 fatal: transport 'https' not allowed 2021-07-15T02:11:43,837 cd tmp/vampire && make -j4 vampire_rel_static 2021-07-15T02:11:43,840 /bin/sh: 1: cd: can't cd to tmp/vampire 2021-07-15T02:11:43,841 make: *** [Makefile:27: vampire] Error 2 2021-07-15T02:11:43,858 mkdir tmp || true 2021-07-15T02:11:43,870 mkdir: cannot create directory ‘tmp’: File exists 2021-07-15T02:11:43,871 cd tmp && git clone https://github.com/eprover/eprover.git || true 2021-07-15T02:11:43,880 Cloning into 'eprover'... 2021-07-15T02:11:43,917 fatal: transport 'https' not allowed 2021-07-15T02:11:43,930 cd tmp/eprover && ./configure 2021-07-15T02:11:43,933 /bin/sh: 1: cd: can't cd to tmp/eprover 2021-07-15T02:11:43,933 make: *** [Makefile:34: eprover] Error 2 2021-07-15T02:11:43,940 creating build 2021-07-15T02:11:43,941 creating build/lib 2021-07-15T02:11:43,942 creating build/lib/provers 2021-07-15T02:11:43,944 copying provers/util.py -> build/lib/provers 2021-07-15T02:11:43,946 copying provers/__init__.py -> build/lib/provers 2021-07-15T02:11:43,950 creating build/lib/provers/bin 2021-07-15T02:11:43,951 copying provers/bin/isofilter -> build/lib/provers/bin 2021-07-15T02:11:43,963 copying provers/bin/prooftrans -> build/lib/provers/bin 2021-07-15T02:11:43,975 copying provers/bin/tptp_to_ladr -> build/lib/provers/bin 2021-07-15T02:11:43,987 copying provers/bin/ladr_to_tptp -> build/lib/provers/bin 2021-07-15T02:11:43,999 copying provers/bin/mace4 -> build/lib/provers/bin 2021-07-15T02:11:44,011 copying provers/bin/prover9 -> build/lib/provers/bin 2021-07-15T02:11:44,025 running build_ext 2021-07-15T02:11:44,038 installing to build/bdist.linux-armv7l/wheel 2021-07-15T02:11:44,038 running install 2021-07-15T02:11:44,039 running install_lib 2021-07-15T02:11:44,044 creating build/bdist.linux-armv7l 2021-07-15T02:11:44,045 creating build/bdist.linux-armv7l/wheel 2021-07-15T02:11:44,046 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.data 2021-07-15T02:11:44,046 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib 2021-07-15T02:11:44,048 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers 2021-07-15T02:11:44,049 copying build/lib/provers/util.py -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers 2021-07-15T02:11:44,053 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,054 copying build/lib/provers/bin/ladr_to_tptp -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,066 copying build/lib/provers/bin/prover9 -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,079 copying build/lib/provers/bin/mace4 -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,091 copying build/lib/provers/bin/isofilter -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,100 copying build/lib/provers/bin/tptp_to_ladr -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,113 copying build/lib/provers/bin/prooftrans -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers/bin 2021-07-15T02:11:44,124 copying build/lib/provers/__init__.py -> build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers 2021-07-15T02:11:44,126 running install_egg_info 2021-07-15T02:11:44,153 running egg_info 2021-07-15T02:11:44,154 writing provers.egg-info/PKG-INFO 2021-07-15T02:11:44,156 writing dependency_links to provers.egg-info/dependency_links.txt 2021-07-15T02:11:44,158 writing entry points to provers.egg-info/entry_points.txt 2021-07-15T02:11:44,159 writing top-level names to provers.egg-info/top_level.txt 2021-07-15T02:11:44,190 reading manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T02:11:44,193 reading manifest template 'MANIFEST.in' 2021-07-15T02:11:44,196 adding license file 'LICENSE' 2021-07-15T02:11:44,198 writing manifest file 'provers.egg-info/SOURCES.txt' 2021-07-15T02:11:44,200 Copying provers.egg-info to build/bdist.linux-armv7l/wheel/provers-0.1.12.data/purelib/provers-0.1.12-py3.9.egg-info 2021-07-15T02:11:44,214 running install_scripts 2021-07-15T02:11:44,294 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-15T02:11:44,300 creating build/bdist.linux-armv7l/wheel/provers-0.1.12.dist-info/WHEEL 2021-07-15T02:11:44,304 creating '/tmp/pip-wheel-5n6skr2s/provers-0.1.12-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-15T02:11:44,308 adding 'provers-0.1.12.data/purelib/provers/__init__.py' 2021-07-15T02:11:44,310 adding 'provers-0.1.12.data/purelib/provers/util.py' 2021-07-15T02:11:44,397 adding 'provers-0.1.12.data/purelib/provers/bin/isofilter' 2021-07-15T02:11:44,507 adding 'provers-0.1.12.data/purelib/provers/bin/ladr_to_tptp' 2021-07-15T02:11:44,618 adding 'provers-0.1.12.data/purelib/provers/bin/mace4' 2021-07-15T02:11:44,692 adding 'provers-0.1.12.data/purelib/provers/bin/prooftrans' 2021-07-15T02:11:44,798 adding 'provers-0.1.12.data/purelib/provers/bin/prover9' 2021-07-15T02:11:44,909 adding 'provers-0.1.12.data/purelib/provers/bin/tptp_to_ladr' 2021-07-15T02:11:44,921 adding 'provers-0.1.12.dist-info/LICENSE' 2021-07-15T02:11:44,923 adding 'provers-0.1.12.dist-info/METADATA' 2021-07-15T02:11:44,924 adding 'provers-0.1.12.dist-info/WHEEL' 2021-07-15T02:11:44,925 adding 'provers-0.1.12.dist-info/entry_points.txt' 2021-07-15T02:11:44,927 adding 'provers-0.1.12.dist-info/top_level.txt' 2021-07-15T02:11:44,927 adding 'provers-0.1.12.dist-info/RECORD' 2021-07-15T02:11:44,974 removing build/bdist.linux-armv7l/wheel 2021-07-15T02:11:45,083 Building wheel for provers (setup.py): finished with status 'done' 2021-07-15T02:11:45,099 Created wheel for provers: filename=provers-0.1.12-cp39-cp39-linux_armv7l.whl size=966909 sha256=d3e055d488a4a76d4c909f6866bb01e21e4c9d13d15aaa69f6f5f59d2dd7e69f 2021-07-15T02:11:45,099 Stored in directory: /tmp/pip-ephem-wheel-cache-160x_w8y/wheels/e3/71/75/424e8ed217ddac567fdaa099b31107a89fbd572f1a279e2a95 2021-07-15T02:11:45,112 Successfully built provers 2021-07-15T02:11:45,149 Removed build tracker: '/tmp/pip-req-tracker-97c0y1mz'