Login
Log in using an SSO provider:
Fedora Account System
Red Hat Associate
Red Hat Customer
Login using a Red Hat Bugzilla account
Forgot Password
Create an Account
Red Hat Bugzilla – Attachment 420920 Details for
Bug 600016
FTBFS E-1.0.002-4.fc11
Home
New
Search
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh90 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
[?]
This site requires JavaScript to be enabled to function correctly, please enable it.
build.log
build.log (text/plain), 137.25 KB, created by
FTBFS
on 2010-06-03 21:16:52 UTC
(
hide
)
Description:
build.log
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 >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 600016
:
420919
| 420920 |
420921