This is BibTeX, Version 0.99d (TeX Live 2010/Fink) Capacity: max_strings=35307, hash_size=35307, hash_prime=30011 The top-level auxiliary file: eprover.aux The style file: alpha.bst I found no \bibdata command---while reading file eprover.aux Warning--I didn't find a database entry for "CL73" Warning--I didn't find a database entry for "Schulz:IJCAR-2004" Warning--I didn't find a database entry for "Schulz:AICOM-2002" Warning--I didn't find a database entry for "MILSGSM:JAR-97" Warning--I didn't find a database entry for "Mc94" Warning--I didn't find a database entry for "MW:JAR-97" Warning--I didn't find a database entry for "WGR96" Warning--I didn't find a database entry for "WABCEKTT:CADE-99" Warning--I didn't find a database entry for "DKS97" Warning--I didn't find a database entry for "BHF96" Warning--I didn't find a database entry for "HJL:CADE-99" Warning--I didn't find a database entry for "RV:AICOM-2002" Warning--I didn't find a database entry for "RV:IJCAR-2001" Warning--I didn't find a database entry for "BG94" Warning--I didn't find a database entry for "Bachmair:personal-98" Warning--I didn't find a database entry for "Weidenbach:personal-99" Warning--I didn't find a database entry for "NN:RTA-93" Warning--I didn't find a database entry for "BDP89" Warning--I didn't find a database entry for "Dershowitz:IJCAI-91" Warning--I didn't find a database entry for "Tammet:JAR-97" Warning--I didn't find a database entry for "Weidenbach:SPASS-2001" Warning--I didn't find a database entry for "Schulz:Diss-2000" Warning--I didn't find a database entry for "Schulz:KI-2001" Warning--I didn't find a database entry for "E:WWW-99" Warning--I didn't find a database entry for "Sutcliffe:TPTP-WWW" Warning--I didn't find a database entry for "GSCG:IJCAR-2006" Warning--I didn't find a database entry for "DS94a" Warning--I didn't find a database entry for "DS94b" Warning--I didn't find a database entry for "DS96a" You've used 0 entries, 2543 wiz_defined-function locations, 615 strings with 5097 characters, and the built_in function-call counts, 24 in all, are: = -- 0 > -- 0 < -- 0 + -- 0 - -- 0 * -- 2 := -- 10 add.period$ -- 0 call.type$ -- 0 change.case$ -- 0 chr.to.int$ -- 0 cite$ -- 0 duplicate$ -- 0 empty$ -- 1 format.name$ -- 0 if$ -- 2 int.to.chr$ -- 1 int.to.str$ -- 0 missing$ -- 0 newline$ -- 3 num.names$ -- 0 pop$ -- 0 preamble$ -- 1 purify$ -- 0 quote$ -- 0 skip$ -- 2 stack$ -- 0 substring$ -- 0 swap$ -- 0 text.length$ -- 0 text.prefix$ -- 0 top$ -- 0 type$ -- 0 warning$ -- 0 while$ -- 0 width$ -- 0 write$ -- 2 (There was 1 error message)