This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2018.7.21) 8 SEP 2018 14:42 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **./uppaal.tex (./uppaal.tex LaTeX2e <2017/01/01> patch level 3 Babel <3.10> and hyphenation patterns for 4 language(s) loaded. (/usr/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2014/09/29 v1.4h 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/share/texmf-dist/tex/latex/algorithms/algorithm.sty Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro nment (/usr/share/texmf-dist/tex/latex/float/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count87 \float@exts=\toks14 \float@box=\box26 \@float@everytoks=\toks15 \@floatcapt=\box27 ) (/usr/share/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) ) \@float@every@algorithm=\toks16 \c@algorithm=\count88 ) (/usr/share/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty Package: algpseudocode (/usr/share/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty Package: algorithmicx 2005/04/27 v1.2 Algorithmicx Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style \c@ALG@line=\count89 \c@ALG@rem=\count90 \c@ALG@nested=\count91 \ALG@tlm=\skip43 \ALG@thistlm=\skip44 \c@ALG@Lnr=\count92 \c@ALG@blocknr=\count93 \c@ALG@storecount=\count94 \c@ALG@tmpcounter=\count95 \ALG@tmplength=\skip45 ) Document Style - pseudocode environments for use with the `algorithmicx' style ) (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks17 ) (/usr/share/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2016/10/09 v1.0u Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 99. (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX (/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) ) (/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) ) \Gread@gobject=\count96 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (./uppaal.aux LaTeX Warning: Label `ssec:Uppaal' multiply defined. LaTeX Warning: Label `ssec:Uppaal' multiply defined. ) \openout1 = `uppaal.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count97 \scratchdimen=\dimen105 \scratchbox=\box28 \nofMPsegments=\count98 \nofMParguments=\count99 \everyMPshowfont=\toks18 \MPscratchCnt=\count100 \MPscratchDim=\dimen106 \MPnumerator=\count101 \makeMPintoPDFobject=\count102 \everyMPtoPDFconversion=\toks19 ) (/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2017/03/19 v0.25 Utility functions of pdfTeX for LuaTeX (HO ) (/usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) (/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. ) (/usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf (/usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) (/usr/share/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) )) (/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) (/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) (/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. ))) Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 38. Package grfext Info: Graphics extension search list: (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE G,.JBIG2,.JB2,.eps] (grfext) \AppendGraphicsExtensions on input line 456. (/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 53. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 53. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 53. Missing character: There is no â in font cmr10! Missing character: There is no € in font cmr10! Missing character: There is no ™ in font cmr10! Missing character: There is no â in font cmr10! Missing character: There is no € in font cmr10! Missing character: There is no ™ in font cmr10! LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 73. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 73. Overfull \hbox (3.78731pt too wide) in paragraph at lines 73--83 \OML/cmm/m/it/10 Sender$ \OT1/cmr/m/n/10 ri-mane nello stato di \OT1/cmr/bx/n/1 0 re-ceivedACK \OT1/cmr/m/n/10 in cui oc-cupa un tempo nell'intevallo [] Overfull \hbox (1.71545pt too wide) in paragraph at lines 87--95 \OT1/cmr/m/n/10 questo ha $4$ stati, di cui l'iniziale \OT1/cmr/bx/n/10 wait-Pa cket \OT1/cmr/m/n/10 ^^Re l'attesa di un pac-chetto (mandato [] Overfull \hbox (9.18018pt too wide) in paragraph at lines 87--95 \OT1/cmr/m/n/10 nell'intevallo $[2\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4]$ per pr o-ces-sarlo in \OT1/cmr/bx/n/10 re-ceived-Packet \OT1/cmr/m/n/10 e pas-sare nel lo \OT1/cmr/bx/n/10 donePacket [] [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] File: modAsend.jpg Graphic file (type jpg) Package pdftex.def Info: modAsend.jpg used on input line 107. (pdftex.def) Requested size: 345.0pt x 216.91507pt. File: modArecv.jpg Graphic file (type jpg) Package pdftex.def Info: modArecv.jpg used on input line 112. (pdftex.def) Requested size: 345.0pt x 201.12659pt. File: modAlink.jpg Graphic file (type jpg) Package pdftex.def Info: modAlink.jpg used on input line 117. (pdftex.def) Requested size: 345.0pt x 187.05257pt. [2 <./modAsend.jpg>] [3 <./modArecv.jpg> <./modAlink.jpg>] Missing character: There is no à in font cmr10! Missing character: There is no   in font cmr10! Missing character: There is no à in font cmr10! Missing character: There is no ¨ in font cmr10! Missing character: There is no â in font cmr10! Missing character: There is no € in font cmr10! Missing character: There is no ™ in font cmr10! File: modBlink.jpg Graphic file (type jpg) Package pdftex.def Info: modBlink.jpg used on input line 168. (pdftex.def) Requested size: 345.0pt x 223.71536pt. [4] Missing character: There is no â in font cmr10! Missing character: There is no € in font cmr10! Missing character: There is no ™ in font cmr10! [5 <./modBlink.jpg>] File: modCsend1.jpg Graphic file (type jpg) Package pdftex.def Info: modCsend1.jpg used on input line 239. (pdftex.def) Requested size: 345.0pt x 199.37277pt. File: modCsend2.jpg Graphic file (type jpg) Package pdftex.def Info: modCsend2.jpg used on input line 243. (pdftex.def) Requested size: 345.0pt x 223.5797pt. File: modCrecv.jpg Graphic file (type jpg) Package pdftex.def Info: modCrecv.jpg used on input line 248. (pdftex.def) Requested size: 345.0pt x 196.42842pt. [6 <./modCsend1.jpg>] [7 <./modCsend2.jpg> <./modCrecv.jpg>] Overfull \hbox (85.45331pt too wide) in paragraph at lines 264--266 []\OT1/cmr/bx/n/10 2. $\OML/cmm/m/it/10 sender:waitACK\OT1/cmr/m/n/10 0\OMS/cm sy/m/n/10 jj\OML/cmm/m/it/10 sender:waitACK\OT1/cmr/m/n/10 1 \OMS/cmsy/m/n/10 ^ ^@ ^^@ \OML/cmm/m/it/10 > \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 sender:receivedACK\ OT1/cmr/m/n/10 0\OMS/cmsy/m/n/10 jj\OML/cmm/m/it/10 sender:receivedACK\OT1/cmr/ m/n/10 1)$ [] Overfull \hbox (23.08212pt too wide) in paragraph at lines 269--273 []\OT1/cmr/bx/n/10 4. $\OML/cmm/m/it/10 link:lostPacket \OMS/cmsy/m/n/10 ^^@ ^ ^@ \OML/cmm/m/it/10 > \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 sender:canSend\OT1/cmr/ m/n/10 0\OMS/cmsy/m/n/10 jj\OML/cmm/m/it/10 sender:canSend\OT1/cmr/m/n/10 1\OMS /cmsy/m/n/10 jj\OML/cmm/m/it/10 receiver:canACK\OT1/cmr/m/n/10 )$ [] [8] (./uppaal.aux) LaTeX Warning: There were multiply-defined labels. ) Here is how much of TeX's memory you used: 2146 strings out of 494928 30096 string characters out of 6180950 88055 words of memory out of 5000000 5431 multiletter control sequences out of 15000+600000 8241 words of font info for 29 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 39i,6n,25p,275b,227s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on uppaal.pdf (8 pages, 233918 bytes). PDF statistics: 70 PDF objects out of 1000 (max. 8388607) 44 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 36 words of extra memory for PDF output out of 10000 (max. 10000000)