ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target i386 --nodeps builddir/build/SPECS/E.spec'], False, '/var/lib/mock/dist-f8-build-244403-44649/root/', None, 0, True, 0, 101, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target i386 --nodeps builddir/build/SPECS/E.spec'] warning: Could not canonicalize hostname: x86-7.fedora.phx.redhat.com Building target platforms: i386 Building for target i386 Wrote: /builddir/build/SRPMS/E-0.999.006-2.fc8.src.rpm LEAVE do --> ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target i386 --nodeps builddir/build/SPECS/E.spec'], False, '/var/lib/mock/dist-f8-build-244403-44649/root/', None, 0, True, 0, 101, 102, None, logger=) Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target i386 --nodeps builddir/build/SPECS/E.spec'] Building target platforms: i386 Building for target i386 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.96192 + umask 022 + cd /builddir/build/BUILD + LANG=C + export LANG + unset DISPLAY + cd /builddir/build/BUILD + rm -rf E + /bin/gzip -dc /builddir/build/SOURCES/E.tgz + tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd E ++ /usr/bin/id -u + '[' 101 = 0 ']' ++ /usr/bin/id -u + '[' 101 = 0 ']' + /bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.96192 + umask 022 + cd /builddir/build/BUILD + cd E + LANG=C + export LANG + unset DISPLAY + sed -i -e 's/^EXECPATH = .*/EXECPATH = \/usr\/bin/' Makefile.vars + sed -i -e 's/^CFLAGS.*=.*-O6/CFLAGS = -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables /' Makefile.vars + make tools cd development_tools;make tools make[1]: Entering directory `/builddir/build/BUILD/E/development_tools' Configuring tools ./configure_tools Using tail -n which: no this_should_never_exist_XHSLA12930 in (/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/root/bin) Your which command works! /usr/bin/gawk configure_tools: Found gawk in your search path /usr/bin/python2.5 configure_tools: Found Python 2.5 in your search path ./configure_bash_scripts /bin/bash configure_bash_scripts: Found bash in your search path make[1]: Leaving directory `/builddir/build/BUILD/E/development_tools' + make rebuild echo 'Rebuilding with debug options -DNDEBUG -DFAST_EXIT' Rebuilding with debug options -DNDEBUG -DFAST_EXIT make clean make[1]: Entering directory `/builddir/build/BUILD/E' cd include; touch does_exist.h; rm *.h cd lib; touch does_exist.a; rm *.a for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL DOC; do\ cd $subdir; touch Makefile.dependencies;make clean; cd ..;\ done; make[2]: Entering directory `/builddir/build/BUILD/E/BASICS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/BASICS' make[2]: Entering directory `/builddir/build/BUILD/E/INOUT' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/INOUT' make[2]: Entering directory `/builddir/build/BUILD/E/TERMS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/TERMS' make[2]: Entering directory `/builddir/build/BUILD/E/ORDERINGS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/ORDERINGS' make[2]: Entering directory `/builddir/build/BUILD/E/CLAUSES' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/CLAUSES' make[2]: Entering directory `/builddir/build/BUILD/E/PROPOSITIONAL' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/PROPOSITIONAL' make[2]: Entering directory `/builddir/build/BUILD/E/LEARN' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/LEARN' make[2]: Entering directory `/builddir/build/BUILD/E/ANALYSIS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/ANALYSIS' make[2]: Entering directory `/builddir/build/BUILD/E/PCL2' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/PCL2' make[2]: Entering directory `/builddir/build/BUILD/E/HEURISTICS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/HEURISTICS' make[2]: Entering directory `/builddir/build/BUILD/E/CONTROL' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/CONTROL' make[2]: Entering directory `/builddir/build/BUILD/E/PROVER' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/PROVER' make[2]: Entering directory `/builddir/build/BUILD/E/TEST' rm *.o *.a cl_test patterntest Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/TEST' make[2]: Entering directory `/builddir/build/BUILD/E/SIMPLE_APPS' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/SIMPLE_APPS' make[2]: Entering directory `/builddir/build/BUILD/E/EXTERNAL' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/EXTERNAL' make[2]: Entering directory `/builddir/build/BUILD/E/DOC' Removed compiled files make[2]: Leaving directory `/builddir/build/BUILD/E/DOC' make[1]: Leaving directory `/builddir/build/BUILD/E' make links make[1]: Entering directory `/builddir/build/BUILD/E' cd include; touch does_exist.h; rm *.h cd lib; touch does_exist.a; rm *.a cd include;\ for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL EXTERNAL; do\ for file in ../$subdir/*.h; do\ ln -s $file .;\ done;\ done; cd lib;\ for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL; do\ ln -s ../$subdir/$subdir.a .;\ done; make[1]: Leaving directory `/builddir/build/BUILD/E' make depend make[1]: Entering directory `/builddir/build/BUILD/E' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ cd $subdir; touch Makefile.dependencies; make depend; cd ..;\ done; make[2]: Entering directory `/builddir/build/BUILD/E/BASICS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/BASICS' make[2]: Entering directory `/builddir/build/BUILD/E/INOUT' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/INOUT' make[2]: Entering directory `/builddir/build/BUILD/E/TERMS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/TERMS' make[2]: Entering directory `/builddir/build/BUILD/E/ORDERINGS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/ORDERINGS' make[2]: Entering directory `/builddir/build/BUILD/E/CLAUSES' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/CLAUSES' make[2]: Entering directory `/builddir/build/BUILD/E/PROPOSITIONAL' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/PROPOSITIONAL' make[2]: Entering directory `/builddir/build/BUILD/E/LEARN' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/LEARN' make[2]: Entering directory `/builddir/build/BUILD/E/ANALYSIS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/ANALYSIS' make[2]: Entering directory `/builddir/build/BUILD/E/PCL2' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/PCL2' make[2]: Entering directory `/builddir/build/BUILD/E/HEURISTICS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/HEURISTICS' make[2]: Entering directory `/builddir/build/BUILD/E/CONTROL' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/CONTROL' make[2]: Entering directory `/builddir/build/BUILD/E/PROVER' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/PROVER' make[2]: Entering directory `/builddir/build/BUILD/E/TEST' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/TEST' make[2]: Entering directory `/builddir/build/BUILD/E/SIMPLE_APPS' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/SIMPLE_APPS' make[2]: Entering directory `/builddir/build/BUILD/E/EXTERNAL' gcc -M -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS *.c > Makefile.dependencies make[2]: Leaving directory `/builddir/build/BUILD/E/EXTERNAL' make[1]: Leaving directory `/builddir/build/BUILD/E' make make[1]: Entering directory `/builddir/build/BUILD/E' If you try to install E (instead of just remaking the system after a change), you need to type make install instead of plain make. Installing will rebuild the system from scratch and adapt all scripts to run in the current directory and with the tools found on your system (if any). If you just want to rebuild the system without configuration, use make rebuild ------------------------------------------------- for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ cd $subdir;touch Makefile.dependencies;make ;cd ..;\ done; make[2]: Entering directory `/builddir/build/BUILD/E/BASICS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_error.o clb_error.c clb_error.c: In function 'GetSystemPhysMemory': clb_error.c:145: warning: implicit declaration of function 'popen' clb_error.c:145: warning: assignment makes pointer from integer without a cast clb_error.c:157: warning: implicit declaration of function 'pclose' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_memory.o clb_memory.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_os_wrapper.o clb_os_wrapper.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_dstrings.o clb_dstrings.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_verbose.o clb_verbose.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_stringtrees.o clb_stringtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_numtrees.o clb_numtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_floattrees.o clb_floattrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pstacks.o clb_pstacks.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pqueue.o clb_pqueue.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_dstacks.o clb_dstacks.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_ptrees.o clb_ptrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_quadtrees.o clb_quadtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_objtrees.o clb_objtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_fixdarrays.o clb_fixdarrays.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_plist.o clb_plist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pdarrays.o clb_pdarrays.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_ddarrays.o clb_ddarrays.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_sysdate.o clb_sysdate.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_intmap.o clb_intmap.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_simple_stuff.o clb_simple_stuff.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_partial_orderings.o clb_partial_orderings.c ar -rcs BASICS.a clb_error.o clb_memory.o clb_os_wrapper.o clb_dstrings.o clb_verbose.o clb_stringtrees.o clb_numtrees.o clb_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o make[2]: Leaving directory `/builddir/build/BUILD/E/BASICS' make[2]: Entering directory `/builddir/build/BUILD/E/INOUT' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_output.o cio_output.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_fileops.o cio_fileops.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_streams.o cio_streams.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_initio.o cio_initio.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_scanner.o cio_scanner.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_basicparser.o cio_basicparser.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_commandline.o cio_commandline.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_filevars.o cio_filevars.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_tempfile.o cio_tempfile.c cio_tempfile.c: In function 'TempFileName': cio_tempfile.c:129: warning: implicit declaration of function 'mkstemp' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_signals.o cio_signals.c ar -rcs INOUT.a cio_output.o cio_fileops.o cio_streams.o cio_initio.o cio_scanner.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o make[2]: Leaving directory `/builddir/build/BUILD/E/INOUT' make[2]: Entering directory `/builddir/build/BUILD/E/TERMS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_simplesorts.o cte_simplesorts.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_functypes.o cte_functypes.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_signature.o cte_signature.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termtypes.o cte_termtypes.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termvars.o cte_termvars.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_acterms.o cte_acterms.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_varhash.o cte_varhash.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termfunc.o cte_termfunc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termtrees.o cte_termtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termcellstore.o cte_termcellstore.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termbanks.o cte_termbanks.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_subst.o cte_subst.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termpos.o cte_termpos.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termcpos.o cte_termcpos.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_replace.o cte_replace.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c ar -rcs TERMS.a cte_simplesorts.o cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_termfunc.o cte_termtrees.o cte_termcellstore.o cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o cte_replace.o cte_match_mgu_1-1.o make[2]: Leaving directory `/builddir/build/BUILD/E/TERMS' make[2]: Entering directory `/builddir/build/BUILD/E/ORDERINGS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_ocb.o cto_ocb.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_cmpcache.o cto_cmpcache.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_lpo.o cto_lpo.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_kbo.o cto_kbo.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_orderings.o cto_orderings.c ar -rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_orderings.o make[2]: Leaving directory `/builddir/build/BUILD/E/ORDERINGS' make[2]: Entering directory `/builddir/build/BUILD/E/CLAUSES' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_evaluations.o ccl_evaluations.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqn.o ccl_eqn.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqnlist.o ccl_eqnlist.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clauseinfo.o ccl_clauseinfo.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clauses.o ccl_clauses.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_formulae.o ccl_formulae.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tformulae.o ccl_tformulae.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_cnf.o ccl_cnf.c ccl_cnf.c: In function 'formula_rek_skolemize': ccl_cnf.c:246: warning: value computed is not used gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tcnf.o ccl_tcnf.c ccl_tcnf.c: In function 'tformula_rek_skolemize': ccl_tcnf.c:271: warning: value computed is not used gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_propclauses.o ccl_propclauses.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tautologies.o ccl_tautologies.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausepos.o ccl_clausepos.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_pdtrees.o ccl_pdtrees.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_freqvectors.o ccl_freqvectors.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_fcvindexing.o ccl_fcvindexing.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausesets.o ccl_clausesets.c ccl_clausesets.c: In function 'clause_set_extract_entry': ccl_clausesets.c:289: warning: dereferencing type-punned pointer will break strict-aliasing rules ccl_clausesets.c: In function 'ClauseSetInsert': ccl_clausesets.c:473: warning: dereferencing type-punned pointer will break strict-aliasing rules gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_unfold_defs.o ccl_unfold_defs.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausefunc.o ccl_clausefunc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_formulafunc.o ccl_formulafunc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_groundconstr.o ccl_groundconstr.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_grounding.o ccl_grounding.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_g_lithash.o ccl_g_lithash.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_inferencedoc.o ccl_inferencedoc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_paramod.o ccl_paramod.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_factor.o ccl_factor.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqnresolution.o ccl_eqnresolution.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_rewrite.o ccl_rewrite.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_unit_simplify.o ccl_unit_simplify.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_subsumption.o ccl_subsumption.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_context_sr.o ccl_context_sr.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_def_handling.o ccl_def_handling.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_splitting.o ccl_splitting.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_proofstate.o ccl_proofstate.c ar -rcs CLAUSES.a ccl_evaluations.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_formulae.o ccl_tformulae.o ccl_formula_wrapper.o ccl_cnf.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.o ccl_pdtrees.o ccl_freqvectors.o ccl_fcvindexing.o ccl_clausesets.o ccl_unfold_defs.o ccl_clausefunc.o ccl_formulafunc.o ccl_groundconstr.o ccl_grounding.o ccl_g_lithash.o ccl_inferencedoc.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_proofstate.o make[2]: Leaving directory `/builddir/build/BUILD/E/CLAUSES' make[2]: Entering directory `/builddir/build/BUILD/E/PROPOSITIONAL' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_propsig.o cpr_propsig.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_varset.o cpr_varset.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_propclauses.o cpr_propclauses.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_dpllformula.o cpr_dpllformula.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_dpll.o cpr_dpll.c ar -rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o make[2]: Leaving directory `/builddir/build/BUILD/E/PROPOSITIONAL' make[2]: Entering directory `/builddir/build/BUILD/E/LEARN' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_patterns.o cle_patterns.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_clauseenc.o cle_clauseenc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_annotations.o cle_annotations.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_annoterms.o cle_annoterms.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_flatannoterms.o cle_flatannoterms.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_numfeatures.o cle_numfeatures.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_examplerep.o cle_examplerep.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_kbdesc.o cle_kbdesc.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_kbinsert.o cle_kbinsert.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_termtops.o cle_termtops.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_indexfunctions.o cle_indexfunctions.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_tsm.o cle_tsm.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_classification.o cle_classification.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_tsmio.o cle_tsmio.c ar -rcs LEARN.a cle_patterns.o cle_clauseenc.o cle_annotations.o cle_annoterms.o cle_flatannoterms.o cle_numfeatures.o cle_examplerep.o cle_kbdesc.o cle_kbinsert.o cle_termtops.o cle_indexfunctions.o cle_tsm.o cle_classification.o cle_tsmio.o make[2]: Leaving directory `/builddir/build/BUILD/E/LEARN' make[2]: Entering directory `/builddir/build/BUILD/E/ANALYSIS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_clausestats.o can_clausestats.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_clausestore.o can_clausestore.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_infstate.o can_infstate.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_treeanalyze.o can_treeanalyze.c ar -rcs ANALYSIS.a can_clausestats.o can_clausestore.o can_infstate.o can_treeanalyze.o make[2]: Leaving directory `/builddir/build/BUILD/E/ANALYSIS' make[2]: Entering directory `/builddir/build/BUILD/E/PCL2' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_idents.o pcl_idents.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_positions.o pcl_positions.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_expressions.o pcl_expressions.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_steps.o pcl_steps.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_protocol.o pcl_protocol.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_miniclauses.o pcl_miniclauses.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_ministeps.o pcl_ministeps.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_miniprotocol.o pcl_miniprotocol.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_lemmas.o pcl_lemmas.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_analysis.o pcl_analysis.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_propanalysis.o pcl_propanalysis.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_proofcheck.o pcl_proofcheck.c pcl_proofcheck.c: In function 'pcl_run_prover': pcl_proofcheck.c:66: warning: implicit declaration of function 'popen' pcl_proofcheck.c:66: warning: assignment makes pointer from integer without a cast pcl_proofcheck.c:83: warning: implicit declaration of function 'pclose' ar -rcs PCL2.a pcl_idents.o pcl_positions.o pcl_expressions.o pcl_steps.o pcl_protocol.o pcl_miniclauses.o pcl_ministeps.o pcl_miniprotocol.o pcl_lemmas.o pcl_analysis.o pcl_propanalysis.o pcl_proofcheck.o make[2]: Leaving directory `/builddir/build/BUILD/E/PCL2' make[2]: Entering directory `/builddir/build/BUILD/E/HEURISTICS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_wfcb.o che_wfcb.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_wfcbadmin.o che_wfcbadmin.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_axiomscan.o che_axiomscan.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clausefeatures.o che_clausefeatures.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_prio_funs.o che_prio_funs.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clausesetfeatures.o che_clausesetfeatures.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clauseweight.o che_clauseweight.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_refinedweight.o che_refinedweight.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_varweights.o che_varweights.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_funweights.o che_funweights.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_orientweight.o che_orientweight.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_fifo.o che_fifo.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_lifo.o che_lifo.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_learning.o che_learning.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_simweight.o che_simweight.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_hcb.o che_hcb.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_litselection.o che_litselection.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_proofcontrol.o che_proofcontrol.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_hcbadmin.o che_hcbadmin.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_heuristics.o che_heuristics.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_weightgen.o che_to_weightgen.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_precgen.o che_to_precgen.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_autoselect.o che_to_autoselect.c ar -rcs HEURISTICS.a che_wfcb.o che_wfcbadmin.o che_axiomscan.o che_clausefeatures.o che_prio_funs.o che_clausesetfeatures.o che_clauseweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o make[2]: Leaving directory `/builddir/build/BUILD/E/HEURISTICS' make[2]: Entering directory `/builddir/build/BUILD/E/CONTROL' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_simplification.o cco_simplification.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_factoring.o cco_factoring.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_eqnresolving.o cco_eqnresolving.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_paramodulation.o cco_paramodulation.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_forward_contraction.o cco_forward_contraction.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_clausesplitting.o cco_clausesplitting.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_proofproc.o cco_proofproc.c ar -rcs CONTROL.a cco_simplification.o cco_factoring.o cco_eqnresolving.o cco_paramodulation.o cco_forward_contraction.o cco_clausesplitting.o cco_proofproc.o make[2]: Leaving directory `/builddir/build/BUILD/E/CONTROL' make[2]: Entering directory `/builddir/build/BUILD/E/PROVER' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o eprover.o eprover.c gcc -lm -o eprover eprover.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o classify_problem.o classify_problem.c gcc -lm -o classify_problem classify_problem.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o termprops.o termprops.c gcc -lm -o termprops termprops.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o direct_examples.o direct_examples.c gcc -lm -o direct_examples direct_examples.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epclanalyse.o epclanalyse.c gcc -lm -o epclanalyse epclanalyse.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epclextract.o epclextract.c gcc -lm -o epclextract epclextract.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o checkproof.o checkproof.c gcc -lm -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o eground.o eground.c gcc -lm -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o edpll.o edpll.c gcc -lm -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epcllemma.o epcllemma.c gcc -lm -o epcllemma epcllemma.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_create.o ekb_create.c gcc -lm -o ekb_create ekb_create.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_insert.o ekb_insert.c gcc -lm -o ekb_insert ekb_insert.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_ginsert.o ekb_ginsert.c gcc -lm -o ekb_ginsert ekb_ginsert.o ../lib/PCL2.a ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_delete.o ekb_delete.c gcc -lm -o ekb_delete ekb_delete.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o tsm_classify.o tsm_classify.c gcc -lm -o tsm_classify tsm_classify.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a make[2]: Leaving directory `/builddir/build/BUILD/E/PROVER' make[2]: Entering directory `/builddir/build/BUILD/E/TEST' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cl_test.o cl_test.c gcc -lm -o cl_test cl_test.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o patterntest.o patterntest.c gcc -lm -o patterntest patterntest.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/LEARN.a make[2]: Leaving directory `/builddir/build/BUILD/E/TEST' make[2]: Entering directory `/builddir/build/BUILD/E/SIMPLE_APPS' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ex_commandline.o ex_commandline.c gcc -lm -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o term2dag.o term2dag.c gcc -lm -o term2dag term2dag.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a make[2]: Leaving directory `/builddir/build/BUILD/E/SIMPLE_APPS' make[2]: Entering directory `/builddir/build/BUILD/E/EXTERNAL' gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o CSSCPA_filter.o CSSCPA_filter.c gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i386 -mtune=generic -fasynchronous-unwind-tables -fomit-frame-pointer -Wall -Wno-char-subscripts -std=c99 -I../include -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cex_csscpa.o cex_csscpa.c gcc -lm -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a make[2]: Leaving directory `/builddir/build/BUILD/E/EXTERNAL' make[1]: Leaving directory `/builddir/build/BUILD/E' + make documentation cd DOC; make make[1]: Entering directory `/builddir/build/BUILD/E/DOC' latex clib.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./clib.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty (/usr/share/texmf/tex/latex/graphics/graphicx.sty (/usr/share/texmf/tex/latex/graphics/keyval.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.sty (/usr/share/texmf/tex/latex/graphics/trig.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.cfg ) (/usr/share/texmf/tex/latex/graphics/dvips.def ) ) ) ) No file clib.aux. (./clib.toc [1 ] ) [2 ] (./intro.tex Overfull \hbox (1.52792pt too wide) in paragraph at lines 29--33 []\OT1/cmr/m/n/10 On the next higher level, this layer of-fers equa-tions, lit- er-als, clauses ) [3] (./installation.tex LaTeX Warning: Reference `fig:install_start:start:structure' on page 4 undefine d on input line 47. [4 ] ) [5 ] (./basics.tex [6 ] [7 ] LaTeX Warning: Reference `sec:basics:strings' on page 8 undefined on input line 210. [8 ] [9 ] [10 ] LaTeX Warning: Reference `sec:basics:memory:debug' on page 11 undefined on inpu t line 381. [11 ] [12 ] [13 ] ) [14 ] (./io.tex [15 ] [16 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [17 ] [18 ] [19 ] [20 ] [21 ] LaTeX Warning: Reference `sec:io:input' on page 22 undefined on input line 444. ) [22] (./terms.tex [23 ] [24 ] LaTeX Warning: Reference `sec:terms:banks' on page 25 undefined on input line 2 18. [25 ] LaTeX Warning: Reference `fig:terms:unshared' on page 26 undefined on input lin e 225. LaTeX Warning: Reference `sec:terms:banks' on page 26 undefined on input line 2 42. [26 ] [27 ] ) [28] (./clib.aux (./intro.aux) (./installation.aux ) (./basics.aux ) (./io.aux ) (./terms.aux )) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on clib.dvi (28 pages, 79140 bytes). Transcript written on clib.log. latex clib.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./clib.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty (/usr/share/texmf/tex/latex/graphics/graphicx.sty (/usr/share/texmf/tex/latex/graphics/keyval.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.sty (/usr/share/texmf/tex/latex/graphics/trig.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.cfg ) (/usr/share/texmf/tex/latex/graphics/dvips.def ) ) ) ) (./clib.aux (./intro.aux) (./installation.aux ) (./basics.aux ) (./io.aux ) (./terms.aux )) (./clib.toc [1 ] ) [2 ] (./intro.tex Overfull \hbox (1.52792pt too wide) in paragraph at lines 29--33 []\OT1/cmr/m/n/10 On the next higher level, this layer of-fers equa-tions, lit- er-als, clauses ) [3] (./installation.tex [4 ] ) [5 ] (./basics.tex [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] [12 ] [13 ] ) [14 ] (./io.tex [15 ] [16 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [17 ] [18 ] [19 ] [20 ] [21 ] ) [22 ] (./terms.tex [23 ] [24 ] [25 ] [26 ] [27 ] ) [28] (./clib.aux (./intro.aux) (./installation.aux ) (./basics.aux ) (./io.aux ) (./terms.aux ) ) ) (see the transcript file for additional information) Output written on clib.dvi (28 pages, 79052 bytes). Transcript written on clib.log. latex clib.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./clib.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty (/usr/share/texmf/tex/latex/graphics/graphicx.sty (/usr/share/texmf/tex/latex/graphics/keyval.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.sty (/usr/share/texmf/tex/latex/graphics/trig.sty ) (/usr/share/texmf/tex/latex/graphics/graphics.cfg ) (/usr/share/texmf/tex/latex/graphics/dvips.def ) ) ) ) (./clib.aux (./intro.aux) (./installation.aux ) (./basics.aux ) (./io.aux ) (./terms.aux )) (./clib.toc [1 ] ) [2 ] (./intro.tex Overfull \hbox (1.52792pt too wide) in paragraph at lines 29--33 []\OT1/cmr/m/n/10 On the next higher level, this layer of-fers equa-tions, lit- er-als, clauses ) [3] (./installation.tex [4 ] ) [5 ] (./basics.tex [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] [12 ] [13 ] ) [14 ] (./io.tex [15 ] [16 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [17 ] [18 ] [19 ] [20 ] [21 ] ) [22] (./terms.tex [23 ] [24 ] [25 ] [26 ] [27 ] ) [28] (./clib.aux (./intro.aux) (./installation.aux ) (./basics.aux ) (./io.aux ) (./terms.aux )) ) (see the transcript file for additional information) Output written on clib.dvi (28 pages, 79052 bytes). Transcript written on clib.log. dvips -o clib.ps clib.dvi This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com) ' TeX output 200 8.08.28:1035' -> clib.ps . [1 ] [2 ] [3 ] [4 ] [5 ] [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] [12 ] [13 ] [14 ] [15 ] [16 ] [17 ] [18 ] [19 ] [20 ] [21 ] [22 ] [23 ] [24 ] [25 ] [26 ] [27 ] [28 ] latex eprover.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./eprover.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (./estyle.sty estyle.sty - Handy macros for term rewriting and beautiful definitions Written 1997,1998,1999 by Stephan Schulz (/usr/share/texmf/tex/latex/tools/theorem.sty (/usr/share/texmf/tex/latex/tools/thp.sty )) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty (/usr/share/texmf/tex/latex/amsmath/amsgen.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty ) ) (/usr/share/texmf/tex/latex/tools/afterpage.sty ) (/usr/share/texmf/tex/latex/tools/thb.sty ) ) (/usr/share/texmf/tex/latex/supertabular/supertabular.sty ) (/usr/share/texmf/tex/latex/url/url.sty ) No file eprover.aux. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd ) (/usr/share/texmf/tex/latex/amsfonts/umsb.fd ) (./eprover.toc [1 ] ) LaTeX Warning: Citation `CL73' on page 2 undefined on input line 59. LaTeX Warning: Citation `Schulz:IJCAR-2004' on page 2 undefined on input line 6 1. LaTeX Warning: Citation `Schulz:AICOM-2002' on page 2 undefined on input line 6 2. LaTeX Warning: Citation `MILSGSM:JAR-97' on page 2 undefined on input line 68. LaTeX Warning: Citation `Mc94' on page 2 undefined on input line 68. LaTeX Warning: Citation `MW:JAR-97' on page 2 undefined on input line 68. LaTeX Warning: Citation `WGR96' on page 2 undefined on input line 69. LaTeX Warning: Citation `WABCEKTT:CADE-99' on page 2 undefined on input line 69 . LaTeX Warning: Citation `DKS97' on page 2 undefined on input line 69. LaTeX Warning: Citation `BHF96' on page 2 undefined on input line 70. LaTeX Warning: Citation `HJL:CADE-99' on page 2 undefined on input line 70. LaTeX Warning: Citation `RV:AICOM-2002' on page 2 undefined on input line 71. LaTeX Warning: Citation `RV:IJCAR-2001' on page 2 undefined on input line 71. [2 ] LaTeX Warning: Citation `BG94' on page 3 undefined on input line 127. [3 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [4 ] LaTeX Warning: Citation `Bachmair:personal-98' on page 5 undefined on input lin e 307. LaTeX Warning: Citation `BG94' on page 5 undefined on input line 307. LaTeX Warning: Citation `Weidenbach:personal-99' on page 5 undefined on input l ine 307. [5 ] LaTeX Warning: Citation `NN:RTA-93' on page 6 undefined on input line 361. [6 ] LaTeX Warning: Citation `BDP89' on page 7 undefined on input line 393. LaTeX Warning: Citation `Dershowitz:IJCAI-91' on page 7 undefined on input line 395. LaTeX Warning: Reference `fig:procedure' on page 7 undefined on input line 458. [7 ] [8] LaTeX Warning: Reference `sec:options:orderings' on page 9 undefined on input l ine 475. LaTeX Warning: Reference `sec:options:orderings' on page 9 undefined on input l ine 482. LaTeX Warning: Reference `sec:options:strategies' on page 9 undefined on input line 485. LaTeX Warning: Reference `sec:options:heuristics' on page 9 undefined on input line 494. [9 ] [10 ] LaTeX Warning: Citation `Tammet:JAR-97' on page 11 undefined on input line 609. LaTeX Warning: Reference `sec:options:watchlist' on page 11 undefined on input line 620. [11 ] Underfull \hbox (badness 10000) in paragraph at lines 666--673 \OT1/cmtt/m/n/10 Refinedweight(prio, fweight, vweight, term[]pen, lit[]pen, pos []mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 10000) in paragraph at lines 677--682 \OT1/cmtt/m/n/10 Orientweight(prio, fweight, vweight, term[]pen, lit[]pen, pos[ ]mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 8056) in paragraph at lines 686--691 \OT1/cmtt/m/n/10 Simweight(prio, equal[]weight, vv[]clash, vt[]clash, tt[]clash )\OT1/cmr/m/n/10 : This [12 ] LaTeX Warning: Reference `sec:options:watchlist' on page 13 undefined on input line 750. LaTeX Warning: Reference `sec:options:learning' on page 13 undefined on input l ine 750. [13 ] Underfull \hbox (badness 10000) in paragraph at lines 812--814 [14 ] [15 ] LaTeX Warning: Citation `Weidenbach:SPASS-2001' on page 16 undefined on input l ine 902. [16 ] Overfull \hbox (3.74922pt too wide) in paragraph at lines 913--915 []\OT1/cmr/m/n/10 As \OT1/cmtt/m/n/10 invfreqconstmin\OT1/cmr/m/n/10 , but unar y sym-bols with max-i-mal fre-quency [17 ] LaTeX Warning: Citation `Dershowitz:IJCAI-91' on page 18 undefined on input lin e 1009. [18 ] [19 ] LaTeX Warning: Reference `sec:output:lots' on page 20 undefined on input line 1 092. LaTeX Warning: Citation `Schulz:Diss-2000' on page 20 undefined on input line 1 119. LaTeX Warning: Citation `Schulz:KI-2001' on page 20 undefined on input line 111 9. [20 ] [21 ] LaTeX Warning: Citation `E:WWW-99' on page 22 undefined on input line 1193. Overfull \hbox (1.24945pt too wide) in paragraph at lines 1212--1221 []\OT1/cmr/m/n/10 E nor-mally treats pro-ce-du-ral clauses ex-actly as it treat s declar-a-tive clauses. LaTeX Warning: Citation `Sutcliffe:TPTP-WWW' on page 22 undefined on input line 1225. LaTeX Warning: Citation `GSCG:IJCAR-2006' on page 22 undefined on input line 12 35. [22] Overfull \hbox (4.66566pt too wide) in paragraph at lines 1246--1252 []\OT1/cmr/m/n/10 As an al-ter-na-tive, E also sup-ports TPTP-3 syn-tax with th e op-tions \OT1/cmtt/m/n/10 --tstp-in Overfull \hbox (77.01115pt too wide) in paragraph at lines 1253--1257 \OT1/cmr/m/n/10 or \OT1/cmr/m/it/10 negated-conjecture \OT1/cmr/m/n/10 (TPTP-3 only) are con-sid-ered goal clauses for the \OT1/cmtt/m/n/10 --sos-uses-input-t ypes Overfull \hbox (15.47084pt too wide) in paragraph at lines 1263--1272 \OT1/cmr/m/n/10 E has sev-eral dif-fer-ent out-put lev-els, con-trolled by the op-tion \OT1/cmtt/m/n/10 -l \OT1/cmr/m/n/10 or \OT1/cmtt/m/n/10 --output-level\ OT1/cmr/m/n/10 . [23 ] [24 ] LaTeX Warning: Citation `DS94a' on page 25 undefined on input line 1369. LaTeX Warning: Citation `DS94b' on page 25 undefined on input line 1369. LaTeX Warning: Citation `DS96a' on page 25 undefined on input line 1369. [25 ] [26 ] [27 ] [28 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 1 and 2 above on a medium customarily used for software i nterchange; or,[] [29 ] [30 ] [31 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 this License, you may choose any version ever published by th e Free Software[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE I S NO WARRANTY[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EIT HER EXPRESSED[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL D AMAGES ARISING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE W ITH ANY OTHER[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 free software which everyone can redistribute and change unde r these terms.[] [32 ] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 [] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA[] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Gnomovision comes with ABSOLUTELY NO WARRANTY; for detail s type `show w'.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 The hypothetical commands `show w' and `show c' should show t he appropriate[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 `Gnomovision' (which makes passes at compilers) written by James Hacker.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 This General Public License does not permit incorporating you r program into[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 consider it more useful to permit linking proprietary applica tions with the[] [33] [34] Underfull \hbox (badness 2617) in paragraph at lines 1926--1931 []\OT1/cmr/m/n/10 S. Schulz. The E Web Site. $\OT1/cmtt/m/n/10 http : / / www 4 . informatik . Underfull \hbox (badness 10000) in paragraph at lines 1926--1931 \OT1/cmtt/m/n/10 tu-[]muenchen . de / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]$ \ OMS/cmsy/m/n/10 n \OT1/cmtt/m/n/10 sim$schulz / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n /10 -[]WORK / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]eprover . html$\OT1/cmr/m/n /10 , [35 ] [36 ] (./eprover.aux ) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on eprover.dvi (36 pages, 116960 bytes). Transcript written on eprover.log. latex eprover.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./eprover.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (./estyle.sty estyle.sty - Handy macros for term rewriting and beautiful definitions Written 1997,1998,1999 by Stephan Schulz (/usr/share/texmf/tex/latex/tools/theorem.sty (/usr/share/texmf/tex/latex/tools/thp.sty )) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty (/usr/share/texmf/tex/latex/amsmath/amsgen.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty ) ) (/usr/share/texmf/tex/latex/tools/afterpage.sty ) (/usr/share/texmf/tex/latex/tools/thb.sty ) ) (/usr/share/texmf/tex/latex/supertabular/supertabular.sty ) (/usr/share/texmf/tex/latex/url/url.sty ) (./eprover.aux ) (/usr/share/texmf/tex/latex/amsfonts/umsa.fd ) (/usr/share/texmf/tex/latex/amsfonts/umsb.fd ) (./eprover.toc [1 ] ) [2 ] [3 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [4 ] [5 ] [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] Underfull \hbox (badness 10000) in paragraph at lines 666--673 \OT1/cmtt/m/n/10 Refinedweight(prio, fweight, vweight, term[]pen, lit[]pen, pos []mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 10000) in paragraph at lines 677--682 \OT1/cmtt/m/n/10 Orientweight(prio, fweight, vweight, term[]pen, lit[]pen, pos[ ]mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 8056) in paragraph at lines 686--691 \OT1/cmtt/m/n/10 Simweight(prio, equal[]weight, vv[]clash, vt[]clash, tt[]clash )\OT1/cmr/m/n/10 : This [12 ] [13 ] Underfull \hbox (badness 10000) in paragraph at lines 812--814 [14 ] [15 ] Overfull \hbox (7.18578pt too wide) in paragraph at lines 900--903 \OT1/cmr/m/n/10 make con-stants the largest sym-bols. This is al-legedly used b y SPASS [[]] [16 ] Overfull \hbox (3.74922pt too wide) in paragraph at lines 913--915 []\OT1/cmr/m/n/10 As \OT1/cmtt/m/n/10 invfreqconstmin\OT1/cmr/m/n/10 , but unar y sym-bols with max-i-mal fre-quency [17 ] [18 ] [19 ] [20 ] [21 ] Overfull \hbox (1.24945pt too wide) in paragraph at lines 1212--1221 []\OT1/cmr/m/n/10 E nor-mally treats pro-ce-du-ral clauses ex-actly as it treat s declar-a-tive clauses. [22 ] Overfull \hbox (4.66566pt too wide) in paragraph at lines 1246--1252 []\OT1/cmr/m/n/10 As an al-ter-na-tive, E also sup-ports TPTP-3 syn-tax with th e op-tions \OT1/cmtt/m/n/10 --tstp-in Overfull \hbox (77.01115pt too wide) in paragraph at lines 1253--1257 \OT1/cmr/m/n/10 or \OT1/cmr/m/it/10 negated-conjecture \OT1/cmr/m/n/10 (TPTP-3 only) are con-sid-ered goal clauses for the \OT1/cmtt/m/n/10 --sos-uses-input-t ypes Overfull \hbox (15.47084pt too wide) in paragraph at lines 1263--1272 \OT1/cmr/m/n/10 E has sev-eral dif-fer-ent out-put lev-els, con-trolled by the op-tion \OT1/cmtt/m/n/10 -l \OT1/cmr/m/n/10 or \OT1/cmtt/m/n/10 --output-level\ OT1/cmr/m/n/10 . [23 ] [24 ] [25 ] [26 ] [27 ] [28 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 1 and 2 above on a medium customarily used for software i nterchange; or,[] [29 ] [30 ] [31 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 this License, you may choose any version ever published by th e Free Software[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE I S NO WARRANTY[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EIT HER EXPRESSED[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL D AMAGES ARISING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE W ITH ANY OTHER[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 free software which everyone can redistribute and change unde r these terms.[] [32 ] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 [] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA[] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Gnomovision comes with ABSOLUTELY NO WARRANTY; for detail s type `show w'.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 The hypothetical commands `show w' and `show c' should show t he appropriate[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 `Gnomovision' (which makes passes at compilers) written by James Hacker.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 This General Public License does not permit incorporating you r program into[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 consider it more useful to permit linking proprietary applica tions with the[] [33] [34] Underfull \hbox (badness 2617) in paragraph at lines 1926--1931 []\OT1/cmr/m/n/10 S. Schulz. The E Web Site. $\OT1/cmtt/m/n/10 http : / / www 4 . informatik . Underfull \hbox (badness 10000) in paragraph at lines 1926--1931 \OT1/cmtt/m/n/10 tu-[]muenchen . de / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]$ \ OMS/cmsy/m/n/10 n \OT1/cmtt/m/n/10 sim$schulz / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n /10 -[]WORK / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]eprover . html$\OT1/cmr/m/n /10 , [35 ] [36 ] (./eprover.aux ) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on eprover.dvi (36 pages, 117028 bytes). Transcript written on eprover.log. latex eprover.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./eprover.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (./estyle.sty estyle.sty - Handy macros for term rewriting and beautiful definitions Written 1997,1998,1999 by Stephan Schulz (/usr/share/texmf/tex/latex/tools/theorem.sty (/usr/share/texmf/tex/latex/tools/thp.sty )) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty (/usr/share/texmf/tex/latex/amsmath/amsgen.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty ) ) (/usr/share/texmf/tex/latex/tools/afterpage.sty ) (/usr/share/texmf/tex/latex/tools/thb.sty ) ) (/usr/share/texmf/tex/latex/supertabular/supertabular.sty ) (/usr/share/texmf/tex/latex/url/url.sty ) (./eprover.aux ) (/usr/share/texmf/tex/latex/amsfonts/umsa.fd ) (/usr/share/texmf/tex/latex/amsfonts/umsb.fd ) (./eprover.toc [1 ] ) [2 ] [3 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [4 ] [5 ] [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] Underfull \hbox (badness 10000) in paragraph at lines 666--673 \OT1/cmtt/m/n/10 Refinedweight(prio, fweight, vweight, term[]pen, lit[]pen, pos []mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 10000) in paragraph at lines 677--682 \OT1/cmtt/m/n/10 Orientweight(prio, fweight, vweight, term[]pen, lit[]pen, pos[ ]mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 8056) in paragraph at lines 686--691 \OT1/cmtt/m/n/10 Simweight(prio, equal[]weight, vv[]clash, vt[]clash, tt[]clash )\OT1/cmr/m/n/10 : This [12 ] [13 ] Underfull \hbox (badness 10000) in paragraph at lines 812--814 [14 ] [15 ] Overfull \hbox (7.18578pt too wide) in paragraph at lines 900--903 \OT1/cmr/m/n/10 make con-stants the largest sym-bols. This is al-legedly used b y SPASS [[]] [16 ] Overfull \hbox (3.74922pt too wide) in paragraph at lines 913--915 []\OT1/cmr/m/n/10 As \OT1/cmtt/m/n/10 invfreqconstmin\OT1/cmr/m/n/10 , but unar y sym-bols with max-i-mal fre-quency [17 ] [18 ] [19 ] [20 ] [21 ] Overfull \hbox (1.24945pt too wide) in paragraph at lines 1212--1221 []\OT1/cmr/m/n/10 E nor-mally treats pro-ce-du-ral clauses ex-actly as it treat s declar-a-tive clauses. [22 ] Overfull \hbox (4.66566pt too wide) in paragraph at lines 1246--1252 []\OT1/cmr/m/n/10 As an al-ter-na-tive, E also sup-ports TPTP-3 syn-tax with th e op-tions \OT1/cmtt/m/n/10 --tstp-in Overfull \hbox (77.01115pt too wide) in paragraph at lines 1253--1257 \OT1/cmr/m/n/10 or \OT1/cmr/m/it/10 negated-conjecture \OT1/cmr/m/n/10 (TPTP-3 only) are con-sid-ered goal clauses for the \OT1/cmtt/m/n/10 --sos-uses-input-t ypes Overfull \hbox (15.47084pt too wide) in paragraph at lines 1263--1272 \OT1/cmr/m/n/10 E has sev-eral dif-fer-ent out-put lev-els, con-trolled by the op-tion \OT1/cmtt/m/n/10 -l \OT1/cmr/m/n/10 or \OT1/cmtt/m/n/10 --output-level\ OT1/cmr/m/n/10 . [23 ] [24 ] [25 ] [26 ] [27 ] [28 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 1 and 2 above on a medium customarily used for software i nterchange; or,[] [29 ] [30 ] [31 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 this License, you may choose any version ever published by th e Free Software[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE I S NO WARRANTY[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EIT HER EXPRESSED[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL D AMAGES ARISING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE W ITH ANY OTHER[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 free software which everyone can redistribute and change unde r these terms.[] [32 ] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 [] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA[] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Gnomovision comes with ABSOLUTELY NO WARRANTY; for detail s type `show w'.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 The hypothetical commands `show w' and `show c' should show t he appropriate[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 `Gnomovision' (which makes passes at compilers) written by James Hacker.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 This General Public License does not permit incorporating you r program into[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 consider it more useful to permit linking proprietary applica tions with the[] [33] [34] Underfull \hbox (badness 2617) in paragraph at lines 1926--1931 []\OT1/cmr/m/n/10 S. Schulz. The E Web Site. $\OT1/cmtt/m/n/10 http : / / www 4 . informatik . Underfull \hbox (badness 10000) in paragraph at lines 1926--1931 \OT1/cmtt/m/n/10 tu-[]muenchen . de / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]$ \ OMS/cmsy/m/n/10 n \OT1/cmtt/m/n/10 sim$schulz / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n /10 -[]WORK / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]eprover . html$\OT1/cmr/m/n /10 , [35 ] [36 ] (./eprover.aux ) ) (see the transcript file for additional information) Output written on eprover.dvi (36 pages, 117028 bytes). Transcript written on eprover.log. pdflatex eprover.tex This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./eprover.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size10.clo ) ) (./estyle.sty estyle.sty - Handy macros for term rewriting and beautiful definitions Written 1997,1998,1999 by Stephan Schulz (/usr/share/texmf/tex/latex/tools/theorem.sty (/usr/share/texmf/tex/latex/tools/thp.sty )) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty (/usr/share/texmf/tex/latex/amsmath/amsgen.sty ) ) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty ) ) (/usr/share/texmf/tex/latex/tools/afterpage.sty ) (/usr/share/texmf/tex/latex/tools/thb.sty ) ) (/usr/share/texmf/tex/latex/supertabular/supertabular.sty ) (/usr/share/texmf/tex/latex/url/url.sty ) (./eprover.aux ) (/usr/share/texmf/tex/latex/amsfonts/umsa.fd ) (/usr/share/texmf/tex/latex/amsfonts/umsb.fd ) (./eprover.toc [1 {/usr/share/texm f-var/fonts/map/pdftex/updmap/pdftex.map } ] ) [2 ] [3 ] (/usr/share/texmf/tex/latex/base/omscmr.fd ) [4 ] [5 ] [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] Underfull \hbox (badness 10000) in paragraph at lines 666--673 \OT1/cmtt/m/n/10 Refinedweight(prio, fweight, vweight, term[]pen, lit[]pen, pos []mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 10000) in paragraph at lines 677--682 \OT1/cmtt/m/n/10 Orientweight(prio, fweight, vweight, term[]pen, lit[]pen, pos[ ]mult)\OT1/cmr/m/n/10 : Underfull \hbox (badness 8056) in paragraph at lines 686--691 \OT1/cmtt/m/n/10 Simweight(prio, equal[]weight, vv[]clash, vt[]clash, tt[]clash )\OT1/cmr/m/n/10 : This [12 ] [13 ] Underfull \hbox (badness 10000) in paragraph at lines 812--814 [14 ] [15 ] Overfull \hbox (7.18578pt too wide) in paragraph at lines 900--903 \OT1/cmr/m/n/10 make con-stants the largest sym-bols. This is al-legedly used b y SPASS [[]] [16 ] Overfull \hbox (3.74922pt too wide) in paragraph at lines 913--915 []\OT1/cmr/m/n/10 As \OT1/cmtt/m/n/10 invfreqconstmin\OT1/cmr/m/n/10 , but unar y sym-bols with max-i-mal fre-quency [17 ] [18 ] [19 ] [20 ] [21 ] Overfull \hbox (1.24945pt too wide) in paragraph at lines 1212--1221 []\OT1/cmr/m/n/10 E nor-mally treats pro-ce-du-ral clauses ex-actly as it treat s declar-a-tive clauses. [22 ] Overfull \hbox (4.66566pt too wide) in paragraph at lines 1246--1252 []\OT1/cmr/m/n/10 As an al-ter-na-tive, E also sup-ports TPTP-3 syn-tax with th e op-tions \OT1/cmtt/m/n/10 --tstp-in Overfull \hbox (77.01115pt too wide) in paragraph at lines 1253--1257 \OT1/cmr/m/n/10 or \OT1/cmr/m/it/10 negated-conjecture \OT1/cmr/m/n/10 (TPTP-3 only) are con-sid-ered goal clauses for the \OT1/cmtt/m/n/10 --sos-uses-input-t ypes Overfull \hbox (15.47084pt too wide) in paragraph at lines 1263--1272 \OT1/cmr/m/n/10 E has sev-eral dif-fer-ent out-put lev-els, con-trolled by the op-tion \OT1/cmtt/m/n/10 -l \OT1/cmr/m/n/10 or \OT1/cmtt/m/n/10 --output-level\ OT1/cmr/m/n/10 . [23 ] [24 ] [25 ] [26 ] [27 ] [28 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 1 and 2 above on a medium customarily used for software i nterchange; or,[] [29 ] [30 ] [31 ] Overfull \hbox (14.09583pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 this License, you may choose any version ever published by th e Free Software[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE I S NO WARRANTY[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EIT HER EXPRESSED[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL D AMAGES ARISING[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE W ITH ANY OTHER[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 free software which everyone can redistribute and change unde r these terms.[] [32 ] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 [] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA[] Overfull \hbox (18.82077pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 Gnomovision comes with ABSOLUTELY NO WARRANTY; for detail s type `show w'.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 The hypothetical commands `show w' and `show c' should show t he appropriate[] Overfull \hbox (4.64594pt too wide) in paragraph at lines 1814--1814 [] \OT1/cmtt/m/n/9 `Gnomovision' (which makes passes at compilers) written by James Hacker.[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 This General Public License does not permit incorporating you r program into[] Overfull \hbox (9.37088pt too wide) in paragraph at lines 1814--1814 []\OT1/cmtt/m/n/9 consider it more useful to permit linking proprietary applica tions with the[] [33 ] [34 ] Underfull \hbox (badness 2617) in paragraph at lines 1926--1931 []\OT1/cmr/m/n/10 S. Schulz. The E Web Site. $\OT1/cmtt/m/n/10 http : / / www 4 . informatik . Underfull \hbox (badness 10000) in paragraph at lines 1926--1931 \OT1/cmtt/m/n/10 tu-[]muenchen . de / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]$ \ OMS/cmsy/m/n/10 n \OT1/cmtt/m/n/10 sim$schulz / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n /10 -[]WORK / \OMS/cmsy/m/n/10 n\OT1/cmtt/m/n/10 -[]eprover . html$\OT1/cmr/m/n /10 , [35 ] [36 ] (./eprover.aux ) ) (see the transcript file for additional information) Output written on eprover.pdf (36 pages, 280764 bytes). Transcript written on eprover.log. dvips -o eprover.ps eprover.dvi This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com) ' TeX outpu t 2008.08.28:1035' -> eprover.ps . [1 ] [2 ] [3 ] [4 ] [5 ] [6 ] [7 ] [8 ] [9 ] [10 ] [11 ] [12 ] [13 ] [14 ] [15 ] [16 ] [17 ] [18 ] [19 ] [20 ] [21 ] [22 ] [23 ] [24 ] [25 ] [26 ] [27 ] [28 ] [29 ] [30 ] [31 ] [32 ] [33 ] [34 ] [35 ] [36 ] make[1]: Leaving directory `/builddir/build/BUILD/E/DOC' + cd PROVER ++ which bash + echo '#!/bin/bash -f' + echo '' + echo EXECPATH=/usr/bin + tail --lines=+4 eproof + mv tmpfile eproof + chmod ugo+x eproof + cd .. + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.6956 + umask 022 + cd /builddir/build/BUILD + cd E + LANG=C + export LANG + unset DISPLAY + rm -rf /var/tmp/E-0.999.006-2.fc8-root-mockbuild + mkdir -p /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin + cd PROVER + for file in eproof eprover epclextract eground + chmod 0755 eproof + cp -p eproof /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin + for file in eproof eprover epclextract eground + chmod 0755 eprover + cp -p eprover /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin + for file in eproof eprover epclextract eground + chmod 0755 epclextract + cp -p epclextract /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin + for file in eproof eprover epclextract eground + chmod 0755 eground + cp -p eground /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin + /usr/lib/rpm/find-debuginfo.sh /builddir/build/BUILD/E extracting debug info from /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin/eprover extracting debug info from /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin/epclextract extracting debug info from /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/bin/eground 7143 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-python-bytecompile + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.4103 + umask 022 + cd /builddir/build/BUILD + cd E + ./PROVER/eprover -s --tptp-in EXAMPLE_PROBLEMS/TPTP/SYN310-1+rm_eq_rstfp.tptp + tail -1 + echo '# SZS status Unsatisfiable' + diff test-results test-expected-results + exit 0 Processing files: E-0.999.006-2.fc8 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.42455 + umask 022 + cd /builddir/build/BUILD + cd E + DOCDIR=/var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + export DOCDIR + rm -rf /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + /bin/mkdir -p /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr README /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr COPYING /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/NEWS /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/grammar.txt /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/TPTP_SUBMISSION /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/E-0.999.html /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/sample_proofs.html /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/sample_proofs_tstp.html /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/TSTP_Syntax.txt /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/clib.ps /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + cp -pr DOC/eprover.pdf /var/tmp/E-0.999.006-2.fc8-root-mockbuild/usr/share/doc/E-0.999.006 + exit 0 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/bash libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libm.so.6 libm.so.6(GLIBC_2.0) rtld(GNU_HASH) Processing files: E-debuginfo-0.999.006-2.fc8 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /var/tmp/E-0.999.006-2.fc8-root-mockbuild warning: Could not canonicalize hostname: x86-7.fedora.phx.redhat.com Wrote: /builddir/build/RPMS/E-0.999.006-2.fc8.i386.rpm Wrote: /builddir/build/RPMS/E-debuginfo-0.999.006-2.fc8.i386.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.29121 + umask 022 + cd /builddir/build/BUILD + cd E + rm -rf /var/tmp/E-0.999.006-2.fc8-root-mockbuild + exit 0 LEAVE do -->