This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2001.12.7) 12 NOV 2011 16:10 **ALLBIBS (ALLBIBS.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, s panish, nohyphenation, loaded. (/usr/local/teTeX/texmf/tex/latex/base/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/usr/local/teTeX/texmf/tex/latex/base/size10.clo File: size10.clo 1999/01/07 v1.4a Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/local/teTeX/texmf/tex/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/local/teTeX/texmf/tex/latex/psnfss/times.sty Package: times 1999/03/29 PSNFSS v.7.2 Times font as default roman : S Rahtz ) (ALLBIBS.aux) \openout1 = `ALLBIBS.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 4. LaTeX Font Info: ... okay on input line 4. LaTeX Font Info: Try loading font information for OT1+ptm on input line 4. (/usr/local/teTeX/texmf/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 1998/07/06 Fontinst v1.800 font definitions for OT1/ptm. ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 5. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 5. (ALLBIBS.bbl LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1. LaTeX Font Info: Try loading font information for OT1+pcr on input line 16. (/usr/local/teTeX/texmf/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 1998/07/06 Fontinst v1.800 font definitions for OT1/pcr. ) Underfull \hbox (badness 1028) in paragraph at lines 89--95 \OT1/ptm/m/n/10 ni-cal re-port, UC Santa Cruz, Jan. 2009. (URL: \OT1/pcr/m/n/1 0 http://www.cse.ucsc.edu/ $\OMS/cmsy/m/n/10 ^^X$\OT1/pcr/m/n/10 avg/Papers/ [] [1 ] [2] Underfull \hbox (badness 10000) in paragraph at lines 292--297 []\OT1/ptm/m/n/10 Allen Van Gelder. Ver-i-fy-ing RUP proofs of propo-si-tional un-sat-is-fi-a-bil-ity. In \OT1/ptm/m/it/10 Tenth In- [] Underfull \hbox (badness 10000) in paragraph at lines 292--297 \OT1/ptm/m/it/10 ter-na-tional Sym-po-sium on Ar-ti-fi-cial In-tel-li-gence and Math-e-mat-ics\OT1/ptm/m/n/10 , Fort Laud-erdale, 2008. [] Underfull \hbox (badness 1430) in paragraph at lines 331--337 []\OT1/ptm/m/n/10 Allen Van Gelder and Alex Pang. Us-ing PV-solve to an-a-lyze and lo-cate po-si-tions of par-al-lel vec- [] [3] [4]) [5] (ALLBIBS.aux) ) Here is how much of TeX's memory you used: 358 strings out of 40898 4281 string characters out of 197310 49184 words of memory out of 1000001 3348 multiletter control sequences out of 10000+25000 5937 words of font info for 19 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 23i,4n,17p,132b,282s stack positions out of 3000i,100n,500p,50000b,4000s Output written on ALLBIBS.dvi (5 pages, 20336 bytes).