Attachment 420920 Details for Bug 600016 – build.log

build.log

build.log (text/plain), 137.25 KB, created by FTBFS on 2010-06-03 21:16:52 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: FTBFS

Created: 2010-06-03 21:16:52 UTC

Size: 137.25 KB

patch

obsolete

>Mock Version: 1.1.1
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/E.spec'], False, '/var/lib/mock/fedora-development-i386-E-1.0.002-4.fc11.src.rpm/root/', None, 25200, True, 0, 8116, 14667, None, logger=<mock.trace_decorator.getLog object at 0x2373bd0>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bs --target i686 --nodeps builddir/build/SPECS/E.spec']
>Building target platforms: i686
>Building for target i686
>Wrote: /builddir/build/SRPMS/E-1.0.002-4.fc14.src.rpm
>Child returncode was: 0
>LEAVE do --> 
>
>ENTER do(['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/E.spec'], False, '/var/lib/mock/fedora-development-i386-E-1.0.002-4.fc11.src.rpm/root/', None, 25200, True, 0, 8116, 14667, None, logger=<mock.trace_decorator.getLog object at 0x2373bd0>)
>Executing command: ['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/E.spec']
>Building target platforms: i686
>Building for target i686
>Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MA3uoL
>+ umask 022
>+ cd /builddir/build/BUILD
>+ LANG=C
>+ export LANG
>+ unset DISPLAY
>+ cd /builddir/build/BUILD
>+ rm -rf E
>+ /usr/bin/gzip -dc /builddir/build/SOURCES/E.tgz
>+ /bin/tar -xf -
>+ STATUS=0
>+ '[' 0 -ne 0 ']'
>+ cd E
>+ /bin/chmod -Rf a+rX,u+w,g-w,o-w .
>+ exit 0
>Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.LQxIST
>+ 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=i686 -mtune=atom -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:/root/bin:/usr/local/sbin:/builddir/bin)
>Your which command works!
>/usr/bin/gawk
>configure_tools: Found gawk in your search path
>/usr/bin/python2.6
>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'
>cd PYTHON; make       tools
>make[1]: Entering directory `/builddir/build/BUILD/E/PYTHON'
>Configuring tools
>../development_tools/configure_tools
>Using tail -n
>which: no this_should_never_exist_XHSLA12930 in (/usr/sbin:/usr/bin:/sbin:/bin:/root/bin:/usr/local/sbin:/builddir/bin)
>Your which command works!
>/usr/bin/gawk
>configure_tools: Found gawk in your search path
>/usr/bin/python2.6
>configure_tools: Found Python 2.5 in your search path
>make[1]: Leaving directory `/builddir/build/BUILD/E/PYTHON'
>+ 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       config
>make[1]: Entering directory `/builddir/build/BUILD/E'
>echo 'Configuring build system and tools'
>Configuring build system and tools
>make       links
>make[2]: 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[2]: Leaving directory `/builddir/build/BUILD/E'
>make       tools
>make[2]: Entering directory `/builddir/build/BUILD/E'
>cd development_tools;make       tools
>make[3]: 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:/root/bin:/usr/local/sbin:/builddir/bin)
>Your which command works!
>/usr/bin/gawk
>configure_tools: Found gawk in your search path
>/usr/bin/python2.6
>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[3]: Leaving directory `/builddir/build/BUILD/E/development_tools'
>cd PYTHON; make       tools
>make[3]: Entering directory `/builddir/build/BUILD/E/PYTHON'
>Configuring tools
>../development_tools/configure_tools
>Using tail -n
>which: no this_should_never_exist_XHSLA12930 in (/usr/sbin:/usr/bin:/sbin:/bin:/root/bin:/usr/local/sbin:/builddir/bin)
>Your which command works!
>/usr/bin/gawk
>configure_tools: Found gawk in your search path
>/usr/bin/python2.6
>configure_tools: Found Python 2.5 in your search path
>make[3]: Leaving directory `/builddir/build/BUILD/E/PYTHON'
>make[2]: Leaving directory `/builddir/build/BUILD/E'
>make       depend
>make[2]: 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[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/BASICS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/INOUT'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/TERMS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/ORDERINGS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/CLAUSES'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/PROPOSITIONAL'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/LEARN'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/ANALYSIS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/PCL2'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/HEURISTICS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/CONTROL'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/PROVER'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/TEST'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/SIMPLE_APPS'
>make[3]: 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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS   *.c > Makefile.dependencies
>make[3]: Leaving directory `/builddir/build/BUILD/E/EXTERNAL'
>make[2]: Leaving directory `/builddir/build/BUILD/E'
>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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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'
>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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS     -c -o clb_error.o clb_error.c
>gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS     -c -o cio_tempfile.o cio_tempfile.c
>gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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:395: warning: 'collect_applied_defs' defined but not used
>gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS     -c -o ccl_clausesets.o ccl_clausesets.c
>gcc -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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_tformulae.o ccl_formula_wrapper.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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../include    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS     -c -o pcl_proofcheck.o pcl_proofcheck.c
>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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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=i686 -mtune=atom -fasynchronous-unwind-tables  -Wall -Wno-char-subscripts -ansi -std=gnu99 -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 pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./clib.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/config/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.
><file_layout.eps> [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.
><unshared_terms.eps>
>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 pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./clib.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/config/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 <file_layout.eps> [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] <unshared_terms.eps> [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 pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./clib.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/config/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 <file_layout.eps> [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] <unshared_terms.eps> [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.96.1 Copyright 2007 Radical Eye Software (www.radicaleye.com)
>' TeX output 2010.06.02:1700' -> clib.ps
></usr/share/texmf/dvips/base/tex.pro></usr/share/texmf/dvips/base/texps.pro>
></usr/share/texmf/dvips/base/special.pro>. 
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmtt9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmtt8.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmitt10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr8.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr6.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmtt10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr12.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.pfb>[1] [2] [3] [4
><./file_layout.eps>] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] 
>[17] [18] [19] [20] [21] [22] [23] [24] [25] [26<./unshared_terms.eps>] [27] 
>[28] 
>latex      eprover.tex
>This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./eprover.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/ltxmisc/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 <one line to give the program's name and a brief idea of 
>what it does.>[] 
>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 / \-[]$ \ sim$schulz / \-[]WORK / \-[]eprov
>er . 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, 116948 bytes).
>Transcript written on eprover.log.
>latex      eprover.tex
>This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./eprover.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/ltxmisc/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 <one line to give the program's name and a brief idea of 
>what it does.>[] 
>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 / \-[]$ \ sim$schulz / \-[]WORK / \-[]eprov
>er . 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, 117016 bytes).
>Transcript written on eprover.log.
>latex      eprover.tex
>This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./eprover.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/ltxmisc/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 <one line to give the program's name and a brief idea of 
>what it does.>[] 
>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 / \-[]$ \ sim$schulz / \-[]WORK / \-[]eprov
>er . html$\OT1/cmr/m/n/10 ,
>[35] [36] (./eprover.aux) )
>(see the transcript file for additional information)
>Output written on eprover.dvi (36 pages, 117016 bytes).
>Transcript written on eprover.log.
>pdflatex   eprover.tex
>This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
> %&-line parsing enabled.
>entering extended mode
>(./eprover.tex
>LaTeX2e <2005/12/01>
>Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
>yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
>erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
> french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
>us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
>tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish, 
>turkish, ukenglish, ukrainian, loaded.
>(/usr/share/texmf/tex/latex/base/article.cls
>Document Class: article 2005/09/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/ltxmisc/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/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 <one line to give the program's name and a brief idea of 
>what it does.>[] 
>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 / \-[]$ \ sim$schulz / \-[]WORK / \-[]eprov
>er . html$\OT1/cmr/m/n/10 ,
>[35] [36] (./eprover.aux) )
>(see the transcript file for additional information)</usr/share/texmf/fonts/typ
>e1/bluesky/cm/cmbx10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb></
>usr/share/texmf/fonts/type1/bluesky/cm/cmbx9.pfb></usr/share/texmf/fonts/type1/
>bluesky/cm/cmmi10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmmi6.pfb></usr/
>share/texmf/fonts/type1/bluesky/cm/cmmi7.pfb></usr/share/texmf/fonts/type1/blue
>sky/cm/cmmi8.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmmi9.pfb></usr/share
>/texmf/fonts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf/fonts/type1/bluesky/c
>m/cmr12.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.pfb></usr/share/texm
>f/fonts/type1/bluesky/cm/cmr6.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr7
>.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr8.pfb></usr/share/texmf/fonts/
>type1/bluesky/cm/cmr9.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb><
>/usr/share/texmf/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/texmf/fonts/type1
>/bluesky/cm/cmsy8.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmsy9.pfb></usr/
>share/texmf/fonts/type1/bluesky/cm/cmti10.pfb></usr/share/texmf/fonts/type1/blu
>esky/cm/cmti9.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmtt10.pfb></usr/sha
>re/texmf/fonts/type1/bluesky/cm/cmtt8.pfb></usr/share/texmf/fonts/type1/bluesky
>/cm/cmtt9.pfb></usr/share/texmf/fonts/type1/bluesky/ams/msam10.pfb>
>Output written on eprover.pdf (36 pages, 267846 bytes).
>Transcript written on eprover.log.
>dvips      -o eprover.ps eprover.dvi
>This is dvips(k) 5.96.1 Copyright 2007 Radical Eye Software (www.radicaleye.com)
>' TeX output 2010.06.02:1700' -> eprover.ps
></usr/share/texmf/dvips/base/tex.pro></usr/share/texmf/dvips/base/texps.pro>
>. </usr/share/texmf/fonts/type1/bluesky/cm/cmtt8.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmsy9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmsy8.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi6.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi8.pfb>
></usr/share/texmf/fonts/type1/bluesky/ams/msam10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr8.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr6.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmsy7.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi7.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmmi10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmbx12.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmtt9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmtt10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmti9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmbx9.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr12.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr10.pfb>
></usr/share/texmf/fonts/type1/bluesky/cm/cmr17.pfb>[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.ufmpPW
>+ umask 022
>+ cd /builddir/build/BUILD
>+ '[' /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386 '!=' / ']'
>+ rm -rf /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386
>++ dirname /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386
>+ mkdir -p /builddir/build/BUILDROOT
>+ mkdir /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386
>+ cd E
>+ LANG=C
>+ export LANG
>+ unset DISPLAY
>+ rm -rf /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386
>+ mkdir -p /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin
>+ cd PROVER
>+ for file in eproof eprover epclextract eground
>+ chmod 0755 eproof
>+ cp -p eproof /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin
>+ for file in eproof eprover epclextract eground
>+ chmod 0755 eprover
>+ cp -p eprover /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin
>+ for file in eproof eprover epclextract eground
>+ chmod 0755 epclextract
>+ cp -p epclextract /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin
>+ for file in eproof eprover epclextract eground
>+ chmod 0755 eground
>+ cp -p eground /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin
>+ /usr/lib/rpm/find-debuginfo.sh --strict-build-id /builddir/build/BUILD/E
>extracting debug info from /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin/eground
>extracting debug info from /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin/epclextract
>extracting debug info from /builddir/build/BUILDROOT/E-1.0.002-4.fc14.i386/usr/bin/eprover
>7075 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/brp-python-bytecompile /usr/bin/python 1
>+ /usr/lib/rpm/redhat/brp-python-hardlink
>+ /usr/lib/rpm/redhat/brp-java-repack-jars
>Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.refJX1
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd E
>+ unset DISPLAY
>+ ./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
>0a1
>> # SZS status Unsatisfiable
>error: Bad exit status from /var/tmp/rpm-tmp.refJX1 (%check)
>RPM build errors:
>    Bad exit status from /var/tmp/rpm-tmp.refJX1 (%check)
>Child returncode was: 1
>EXCEPTION: Command failed. See logs for output.
> # ['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/E.spec']
>Traceback (most recent call last):
>  File "/usr/lib/python2.6/site-packages/mock/trace_decorator.py", line 70, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python2.6/site-packages/mock/util.py", line 333, in do
>    raise mock.exception.Error, ("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>Error: Command failed. See logs for output.
> # ['bash', '--login', '-c', 'rpmbuild -bb --target i686 --nodeps builddir/build/SPECS/E.spec']
>LEAVE do --> EXCEPTION RAISED
>

Actions: View

Attachments on bug 600016: 420919 | 420920 | 420921