This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.1.14) 5 JUL 2009 18:51 entering extended mode **tse-sd4.tex (./tse-sd4.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (./IEEEtran.cls Document Class: IEEEtran 2002/08/13 revision V1.6 by Michael Shell -- See the "IEEEtran_HOWTO" manual for usage information. -- The source comments contain changelog notes. \@IEEEtrantmpdimenA=\dimen102 \@IEEEtrantmpdimenB=\dimen103 \@IEEEtrantmpcountA=\count79 \@IEEEtrantmpcountB=\count80 \@IEEEtrantmptoksA=\toks14 LaTeX Font Info: Try loading font information for OT1+ptm on input line 701. (/sw/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) -- This is a 12 point document. \normalsizebaselineskip=\skip41 \normaljot=\skip42 LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <6> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <8> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. 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 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <9> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <10> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <12> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <14> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <20> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <20> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <22> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <22> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <24> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 1022. LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 1022. \IEEEilabelindentA=\dimen104 \IEEEilabelindentB=\dimen105 \IEEEilabelindent=\dimen106 \IEEEelabelindent=\dimen107 \IEEEdlabelindent=\dimen108 \labelindent=\dimen109 \IEEEiednormlabelsep=\dimen110 \IEEEiedmathlabelsep=\dimen111 \IEEEiedtopsep=\skip43 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@IEEEsubequation=\count85 \abovecaptionskip=\skip44 \belowcaptionskip=\skip45 \c@figure=\count86 \c@table=\count87 \@IEEEeqnnumcols=\count88 \@IEEEeqncolcnt=\count89 \@IEEEtmpitemindent=\dimen112 \c@biography=\count90 \@IEEEtranrubishbin=\box26 ) (/sw/share/texmf-dist/tex/latex/cite/cite.sty LaTeX Info: Redefining \cite on input line 149. LaTeX Info: Redefining \nocite on input line 214. Package: cite 2003/11/04 v 4.01 ) (/sw/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/sw/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/sw/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/sw/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/sw/share/texmf-dist/tex/latex/graphics/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/sw/share/texmf-dist/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count91 )) \Gin@req@height=\dimen113 \Gin@req@width=\dimen114 ) (/sw/share/texmf-local/tex/latex/html/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names ) (./algorithmic.sty Package: algorithmic Document Style `algorithmic' - environment (/sw/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) (/sw/share/texmf-dist/tex/latex/tools/calc.sty Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ) \calc@Acount=\count92 \calc@Bcount=\count93 \calc@Adimen=\dimen115 \calc@Bdimen=\dimen116 \calc@Askip=\skip46 \calc@Bskip=\skip47 LaTeX Info: Redefining \setlength on input line 59. LaTeX Info: Redefining \addtolength on input line 60. \calc@denominator=\count94 ) \c@ALC@line=\count95 \c@ALC@rem=\count96 \ALC@tlm=\skip48 ) (./multirow.sty \bigstrutjot=\dimen117 ) (/sw/share/texmf-dist/tex/latex/lineno/lineno.sty Package: lineno 2005/01/10 line numbers on paragraphs v4.1c \linenopenalty=\count97 \output=\toks16 \linenoprevgraf=\count98 \linenumbersep=\dimen118 \linenumberwidth=\dimen119 \c@linenumber=\count99 \c@pagewiselinenumber=\count100 \n@LN@truepage=\count101 \c@linenumbermodulo=\count102 \c@internallinenumber=\count103 \c@internallinenumbers=\count104 \quotelinenumbersep=\dimen120 \bframerule=\dimen121 \bframesep=\dimen122 \bframebox=\box27 LaTeX Info: Redefining \\ on input line 2405. ) (./tse-sd4.aux) \openout1 = `tse-sd4.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14. LaTeX Font Info: ... okay on input line 14. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14. LaTeX Font Info: ... okay on input line 14. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14. LaTeX Font Info: ... okay on input line 14. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14. LaTeX Font Info: ... okay on input line 14. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14. LaTeX Font Info: ... okay on input line 14. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14. LaTeX Font Info: ... okay on input line 14. (/sw/share/texmf-dist/tex/context/base/supp-pdf.tex (/sw/share/texmf-dist/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count105 \scratchcounter=\count106 \scratchtoks=\toks17 \scratchdimen=\dimen123 \scratchskip=\skip49 \scratchmuskip=\muskip10 \scratchbox=\box28 \scratchread=\read1 \scratchwrite=\write3 \zeropoint=\dimen124 \onepoint=\dimen125 \onebasepoint=\dimen126 \minusone=\count107 \thousandpoint=\dimen127 \onerealpoint=\dimen128 \emptytoks=\toks18 \nextbox=\box29 \nextdepth=\dimen129 \everyline=\toks19 \!!counta=\count108 \!!countb=\count109 \recursecounter=\count110 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count111 \nofMParguments=\count112 \MPscratchCnt=\count113 \MPscratchDim=\dimen130 \MPnumerator=\count114 \everyMPtoPDFconversion=\toks20 ) [1{/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Font Info: Try loading font information for OT1+phv on input line 30. (/sw/share/texmf-dist/tex/latex/psnfss/ot1phv.fd File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. ) (./introduction.tex [2] [3]) (./related.tex [4] [5] [6] [7]) (./motivation.tex LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 56. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 56. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 56. LaTeX Font Info: Try loading font information for OT1+pcr on input line 58. (/sw/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) Overfull \hbox (22.65025pt too wide) in paragraph at lines 65--65 []\OT1/pcr/m/n/8 (AG (((~(cGuardAlarm=On))|(cUserDisplay=SeeOfficer))&((~(cUser Display=.....false[] [] Overfull \hbox (3.45024pt too wide) in paragraph at lines 75--75 []\OT1/pcr/m/n/8 *** This is NuSMV 2.4.1 zchaff (compiled on Tue Jan 30 19:33:4 7 UTC 2007)...[] [] LaTeX Font Info: External font `cmex10' loaded for size (Font) <9> on input line 88. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 88. [8] [9] Overfull \hbox (41.85027pt too wide) in paragraph at lines 205--205 []\OT1/pcr/m/n/8 Depth= 500129 States= 1e+06 Transitions= 1.02631e+06 Nodes= 19 616 Memory= 144.710...[] [] [10] [11] Overfull \hbox (53.66153pt too wide) in paragraph at lines 340--340 []\OT1/pcr/m/n/8 pan: assertion violated ((mPINInput_OLD==mPINInput_NEW)||((mcS tatus_OLD==10)||(mcStatus_OLD==5)))[] [] [12] [13]) (./dsn08-background.tex [14] [15] [16]) (./case-study.tex [17] [18] File: pacs2.pdf Graphic file (type pdf) [19 <./pacs2.pdf, page is rotated 90 degrees>] [20] [21] [22] LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 319. [23] [24] File: venn.pdf Graphic file (type pdf) ) [25 <./venn.pdf, page is rotated 90 degrees>] (./discussion.te x File: min-max-time.pdf Graphic file (type pdf) [26 <./min-max-time.pdf Warning: pdflatex (file ./min-max-time.pdf): pdf inclusion: Page Group detected which pdfTeX can't handle. Ignoring it. >] File: min-max-memory.pdf Graphic file (type pdf) [27 <./min-max-memory.pdf Warning: pdflatex (file ./min-max-memory.pdf): pdf inclusion: Page Group detect ed which pdfTeX can't handle. Ignoring it. >] [28] [29] File: combo2.pdf Graphic file (type pdf) [30 <./combo2.pdf Warning: pdflatex (file ./combo2.pdf): pdf inclusion: Page Group detected which pdfTeX can't handle. Ignoring it. >]) (./conclusion.tex [31] [32] File: bojan-diagram.pdf Graphic file (type pdf) [33 <./bojan-diagram.pdf Warning: pdflatex (file ./bojan-diagram.pdf): pdf inclusion: Page Group detecte d which pdfTeX can't handle. Ignoring it. >] [34]) (./tse-sd4.bbl [35] [36]) [37] (./tse-sd4.aux) ) Here is how much of TeX's memory you used: 2164 strings out of 94500 30404 string characters out of 1176114 79831 words of memory out of 1500000 5296 multiletter control sequences out of 10000+50000 43341 words of font info for 83 fonts, out of 1200000 for 2000 582 hyphenation exceptions out of 8191 26i,10n,20p,426b,412s stack positions out of 5000i,500n,6000p,200000b,5000s PDF statistics: 171 PDF objects out of 65536 0 named destinations out of 20000 31 words of extra memory for PDF output out of 65536 {/sw/sh are/texmf-dist/fonts/enc/dvips/psnfss/8r.enc} Output written on tse-sd4.pdf (37 pages, 1511937 bytes).