This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2007.5.18) 6 APR 2013 23:15 entering extended mode Source specials enabled. %&-line parsing enabled. **onward.tex (./onward.tex LaTeX2e <2005/12/01> Babel 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. (./sigplanconf.cls Document Class: sigplanconf 2013/02/22 v2.6 ACM SIGPLAN Proceedings \@numheaddepth=\count79 (/usr/local/texlive/2007/texmf-dist/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/local/texlive/2007/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) \standardtextwidth=\dimen103 \standardvspace=\skip43 Using natbib package with 'numbers' citation style. (/usr/local/texlive/2007/texmf-dist/tex/latex/natbib/natbib.sty Package: natbib 2007/02/05 8.0 (PWD) \bibhang=\skip44 \bibsep=\skip45 LaTeX Info: Redefining \cite on input line 602. \c@NAT@ctr=\count88 ) \@sectionaboveskip=\skip46 \@sectionbelowskip=\skip47 \@subsectionaboveskip=\skip48 \@subsectionbelowskip=\skip49 \@paragraphaboveskip=\skip50 \@authorcount=\count89 \@titlenotecount=\count90 \@titlenotetext=\toks14 \@fnmark=\toks15 \@authori=\count91 \@measbox=\box26 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/appendix/appendix.sty Package: appendix 2002/08/06 v1.2 extra appendix facilities \c@@pps=\count92 \c@@ppsavesec=\count93 \c@@ppsaveapp=\count94 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/comment/comment.sty \CommentStream=\write3 Excluding comment 'comment') (/usr/local/texlive/2007/texmf-dist/tex/latex/listings/listings.sty (/usr/local/texlive/2007/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks16 ) \lst@mode=\count95 \lst@gtempboxa=\box27 \lst@token=\toks17 \lst@length=\count96 \lst@currlwidth=\dimen104 \lst@column=\count97 \lst@pos=\count98 \lst@lostspace=\dimen105 \lst@width=\dimen106 \lst@newlines=\count99 \lst@lineno=\count100 \c@lstlisting=\count101 \lst@maxwidth=\dimen107 (/usr/local/texlive/2007/texmf-dist/tex/latex/listings/lstpatch.sty File: lstpatch.sty 2004/10/17 1.3b (Carsten Heinz) ) (/usr/local/texlive/2007/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz) \c@lstnumber=\count102 \lst@skipnumbers=\count103 \lst@framebox=\box28 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2004/09/05 1.3 listings configuration )) Package: listings 2004/10/17 1.3b (Carsten Heinz) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip51 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks18 \ex@=\dimen108 )) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen109 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count104 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count105 \leftroot@=\count106 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count107 \DOTSCASE@=\count108 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box29 \strutbox@=\box30 \big@size=\dimen110 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count109 \c@MaxMatrixCols=\count110 \dotsspace@=\muskip10 \c@parentequation=\count111 \dspbrk@lvl=\count112 \tag@help=\toks19 \row@=\count113 \column@=\count114 \maxfields@=\count115 \andhelp@=\toks20 \eqnshift@=\dimen111 \alignsep@=\dimen112 \tagshift@=\dimen113 \tagwidth@=\dimen114 \totwidth@=\dimen115 \lineht@=\dimen116 \@envbody=\toks21 \multlinegap=\skip52 \multlinetaggap=\skip53 \mathdisplay@stack=\toks22 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/usr/local/texlive/2007/texmf-dist/tex/latex/multirow/multirow.sty \bigstrutjot=\dimen117 ) (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2007/02/07 v6.75r Hypertext links for LaTeX \@linkdim=\dimen118 \Hy@linkcounter=\count116 \Hy@pagecounter=\count117 (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2007/02/07 v6.75r Hyperref: PDFDocEncoding definition (HO) ) (/usr/local/texlive/2007/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/local/texlive/2007/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2006/08/22 v2.4 Connects package keyval with LaTeX options ( HO) ) Package hyperref Info: Hyper figures OFF on input line 2288. Package hyperref Info: Link nesting OFF on input line 2293. Package hyperref Info: Hyper index ON on input line 2296. Package hyperref Info: Plain pages OFF on input line 2303. Package hyperref Info: Backreferencing OFF on input line 2308. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2444. (/usr/local/texlive/2007/texmf-dist/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 2599. \Fld@menulength=\count118 \Field@Width=\dimen119 \Fld@charsize=\dimen120 \Choice@toks=\toks23 \Field@toks=\toks24 Package hyperref Info: Hyper figures OFF on input line 3102. Package hyperref Info: Link nesting OFF on input line 3107. Package hyperref Info: Hyper index ON on input line 3110. Package hyperref Info: backreferencing OFF on input line 3117. Package hyperref Info: Link coloring OFF on input line 3122. \Hy@abspage=\count119 \c@Item=\count120 \c@Hfootnote=\count121 ) *hyperref using default driver hpdftex* (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2007/02/07 v6.75r Hyperref driver for pdfTeX \Fld@listcount=\count122 ) (./onward.aux) \openout1 = `onward.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 26. LaTeX Font Info: ... okay on input line 26. LaTeX Font Info: Try loading font information for OT1+ptm on input line 26. (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) Package hyperref Info: Link coloring OFF on input line 26. (/usr/local/texlive/2007/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2006/12/27 v2.28 Cross-referencing by name of section (/usr/local/texlive/2007/texmf-dist/tex/latex/oberdiek/refcount.sty Package: refcount 2006/02/20 v3.0 Data extraction from references (HO) ) \c@section@level=\count123 ) LaTeX Info: Redefining \ref on input line 26. LaTeX Info: Redefining \pageref on input line 26. (./onward.out) (./onward.out) \@outlinefile=\write4 \openout4 = `onward.out'. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <18> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 28. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <11> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 28. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 60. [1{/usr/local/texlive/2007/texmf-var/fonts/map/pdftex/updmap/pdftex.map} ] LaTeX Font Info: Try loading font information for U+msa on input line 165. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 165. (/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for OMS+ptm on input line 190. (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <8> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 190. Overfull \hbox (5.96828pt too wide) in paragraph at lines 279--282 \OT1/ptm/m/n/9 games to ex-press (and per-haps ex-plain) for-mal proofs [[]], [ []], [[]]. [] [2] [3] [4] Overfull \hbox (14.06314pt too wide) in paragraph at lines 891--907 [][][] [] Overfull \hbox (21.96571pt too wide) in alignment at lines 972--978 [][][] [] [] Overfull \hbox (10.57626pt too wide) in paragraph at lines 993--995 \OML/cmm/m/it/9 P ayo f f \OT1/cmr/m/n/9 (\OML/cmm/m/it/9 S[]; S[]\OT1/cmr/m/ n/9 ) \OMS/cmsy/m/n/9 ^ 8\OML/cmm/m/it/9 k \OMS/cmsy/m/n/9 6\OT1/cmr/m/n/9 = \O ML/cmm/m/it/9 i; j \OT1/cmr/m/n/9 : \OML/cmm/m/it/9 P ayo f f \OT1/cmr/m/n/9 (\OML/cmm/m/it/9 S[]; S[]\OT1/cmr/m/n/9 ) \OMS/cmsy/m/n/9 ^^U \OML/cmm/m/it/9 P ayo f f \OT1/cmr/m/n/9 (\OML/cmm/m/it/9 S[]; S[]\OT1/cmr/m/n/9 ) \OMS/cmsy/m /n/9 ^ [] Overfull \hbox (29.48596pt too wide) in paragraph at lines 995--1002 \OT1/cmr/m/n/9 0 \OMS/cmsy/m/n/9 ) \OML/cmm/m/it/9 Str\OT1/cmr/m/n/9 (\OML/cmm/ m/it/9 S[]\OT1/cmr/m/n/9 ) = 0$\OT1/ptm/m/n/9 , and $\OMS/cmsy/m/n/9 8\OML/cmm/ m/it/9 i\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 jP ayo f f \OT1/cmr/m/n/9 (\OML/cmm/ m/it/9 S[]; S[]\OT1/cmr/m/n/9 ) = 0 \OMS/cmsy/m/n/9 ^ 9\OML/cmm/m/it/9 jP ayo f f \OT1/cmr/m/n/9 (\OML/cmm/m/it/9 S[]; S[]\OT1/cmr/m/n/9 ) \OML/cmm/m/it/9 > [] [5] ! Undefined control sequence. l.1335 ...} gives further information on the \SCGp . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. [6] Overfull \hbox (9.12596pt too wide) in paragraph at lines 1359--1363 \OT1/ptm/m/n/9 able from some node in the ba-sis. For-mally, $\OML/cmm/m/it/9 M inBasisSize\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 G \OMS/cmsy/m/n/9 2 [] Overfull \hbox (4.17563pt too wide) in paragraph at lines 1359--1363 \U/msb/m/n/9 N\OT1/cmr/m/n/9 ) = \OMS/cmsy/m/n/9 9\OML/cmm/m/it/9 s \OMS/cmsy/m /n/9 2 P\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 nodes\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 G\ OT1/cmr/m/n/9 )) []\OML/cmm/m/it/9 s:t: []\OMS/cmsy/m/n/9 j\OML/cmm/m/it/9 s\OM S/cmsy/m/n/9 j \OT1/cmr/m/n/9 = \OML/cmm/m/it/9 n [] \OT1/cmr/m/n/9 : \OMS/cmsy /m/n/9 8\OML/cmm/m/it/9 m \OMS/cmsy/m/n/9 2 \OML/cmm/m/it/9 nodes\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 G\OT1/cmr/m/n/9 ) []\OMS/cmsy/m/n/9 9\OML/cmm/m/it/9 p \OMS/c msy/m/n/9 2 [] [7] (./onward.bbl ! Undefined control sequence. l.32 ...eric-scg/code-0/110/tree/GenericSCG/ }\gap . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Underfull \hbox (badness 5302) in paragraph at lines 28--33 [][]\OT1/ptm/m/n/8 A. Ab-delmeged and K. J. Lieber-herr. SCG Court: Gen- [] Underfull \hbox (badness 7451) in paragraph at lines 28--33 \OT1/ptm/m/n/8 er-a-tor of teach-ing/in-no-va-tion labs on the web. Web-site, [] Underfull \hbox (badness 5147) in paragraph at lines 28--33 \OT1/ptm/m/n/8 2011. []$\OT1/cmtt/m/n/8 http : / / sourceforge . net / p / gen eric-[]scg / code-[]0 / [] Underfull \hbox (badness 1342) in paragraph at lines 35--41 [][]\OT1/ptm/m/n/8 A. Ab-delmeged and K. J. Lieber-herr. FSCP: A Plat-form for [] Underfull \hbox (badness 1210) in paragraph at lines 35--41 \OT1/ptm/m/n/8 ary 2013. []$\OT1/cmtt/m/n/8 http : / / www . ccs . neu . edu / home / lieber / papers / [] Underfull \hbox (badness 1057) in paragraph at lines 43--49 [][]\OT1/ptm/m/n/8 A. Ab-delmeged and K. J. Lieber-herr. The Sci-en-tific Com- mu- [] Underfull \hbox (badness 1005) in paragraph at lines 43--49 \OT1/ptm/m/n/8 nity Game. In \OT1/ptm/m/it/8 CCIS Tech-ni-cal Re-port NU-CCIS- 2012-19\OT1/ptm/m/n/8 , Oc- [] Underfull \hbox (badness 3138) in paragraph at lines 88--92 \OT1/ptm/m/n/8 li-brary. Web-site, 2008. []$\OT1/cmtt/m/n/8 http : / / www . ccs . neu . edu / home / [] Underfull \hbox (badness 3138) in paragraph at lines 159--163 [][]\OT1/ptm/m/n/8 A. Jaffe, A. Miller, E. An-der-sen, Y.-E. Liu, A. Kar-lin, a nd [] Underfull \hbox (badness 1137) in paragraph at lines 159--163 \OT1/ptm/m/n/8 play, 2012. URL []$\OT1/cmtt/m/n/8 http : / / aaai . org / ocs / index . php / AIIDE / [] [8] Underfull \hbox (badness 2547) in paragraph at lines 199--204 [][]\OT1/ptm/m/n/8 K. Lieber-herr. The Sci-en-tific Com-mu-nity Game. Web-sit e, [] Underfull \hbox (badness 2368) in paragraph at lines 199--204 \OT1/ptm/m/n/8 2009. []$\OT1/cmtt/m/n/8 http : / / www . ccs . neu . edu / hom e / lieber / evergreen / [] ! Undefined control sequence. l.229 10.pdf}\gap . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Underfull \hbox (badness 3930) in paragraph at lines 222--230 [][]\OT1/ptm/m/n/8 K. J. Lieber-herr, A. Ab-delmeged, and B. Chad-wick. The [] Underfull \hbox (badness 3713) in paragraph at lines 267--272 [][]\OT1/ptm/m/n/8 W. Scac-chi. The Fu-ture of Re-search in Com-puter Games [] Underfull \hbox (badness 2913) in paragraph at lines 267--272 \OT1/ptm/m/n/8 ISR-12-8, 2012. []$\OT1/cmtt/m/n/8 http : / / www . isr . uci . edu / tech _ reports / [] ) (/usr/local/texlive/2007/texmf-dist/tex/latex/listings/lstlang1.sty File: lstlang1.sty 2004/09/05 1.3 listings language file ) LaTeX Font Info: Try loading font information for OML+ptm on input line 1511 . (/usr/local/texlive/2007/texmf-dist/tex/latex/psnfss/omlptm.fd File: omlptm.fd ) LaTeX Font Info: Font shape `OML/ptm/m/n' in size <8> not available (Font) Font shape `OML/cmm/m/it' tried instead on input line 1511. [9] [10 ] (./onward.aux) ) Here is how much of TeX's memory you used: 5248 strings out of 94073 71987 string characters out of 1162984 179761 words of memory out of 1500000 8301 multiletter control sequences out of 10000+50000 28458 words of font info for 62 fonts, out of 1200000 for 2000 645 hyphenation exceptions out of 8191 30i,12n,42p,379b,1422s stack positions out of 5000i,500n,6000p,200000b,5000s {/usr/local/texlive/2007/texmf-dist/fonts/enc/dvips/base/8r.enc }< /usr/local/texlive/2007/texmf-dist/fonts/type1/urw/times/utmri8a.pfb> Output written on onward.pdf (10 pages, 243196 bytes). PDF statistics: 563 PDF objects out of 1000 (max. 8388607) 166 named destinations out of 1000 (max. 131072) 393 words of extra memory for PDF output out of 10000 (max. 10000000)