This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.10.25)  1 NOV 2022 12:22
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**Schrick-Noah_AG-CG-SyncFire.tex
(./Schrick-Noah_AG-CG-SyncFire.tex
LaTeX2e <2021-11-15> patch level 1
L3 programming layer <2022-04-10>
(/usr/share/texmf-dist/tex/latex/ieeetran/IEEEtran.cls
Document Class: IEEEtran 2015/08/26 V1.8b by Michael Shell
-- See the "IEEEtran_HOWTO" manual for usage information.
-- http://www.michaelshell.org/tex/ieeetran/
\@IEEEtrantmpdimenA=\dimen138
\@IEEEtrantmpdimenB=\dimen139
\@IEEEtrantmpdimenC=\dimen140
\@IEEEtrantmpcountA=\count185
\@IEEEtrantmpcountB=\count186
\@IEEEtrantmpcountC=\count187
\@IEEEtrantmptoksA=\toks16
LaTeX Font Info:    Trying to load font information for OT1+ppl on input line 5
03.
(/usr/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd
File: ot1ppl.fd 2001/06/04 font definitions for OT1/ppl.
)
-- Using IEEE Computer Society mode.
-- Using 8.5in x 11in (letter) paper.
-- Using PDF output.
\@IEEEnormalsizeunitybaselineskip=\dimen141
-- This is a 10 point document.
\CLASSINFOnormalsizebaselineskip=\dimen142
\CLASSINFOnormalsizeunitybaselineskip=\dimen143
\IEEEnormaljot=\dimen144
LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <5.01874> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <5.01874> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <7.02625> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <7.02625> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <8.03> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <8.03> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <9.03374> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <9.03374> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <9.53561> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <9.53561> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <11.04124> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <11.04124> not available

(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <12.045> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <12.045> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <17.06374> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <17.06374> not available

(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <20.075> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <20.075> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

LaTeX Font Info:    Font shape `OT1/ppl/bx/n' in size <24.09> not available
(Font)              Font shape `OT1/ppl/b/n' tried instead on input line 1090.
LaTeX Font Info:    Font shape `OT1/ppl/bx/it' in size <24.09> not available
(Font)              Font shape `OT1/ppl/b/it' tried instead on input line 1090.

\IEEEquantizedlength=\dimen145
\IEEEquantizedlengthdiff=\dimen146
\IEEEquantizedtextheightdiff=\dimen147
\IEEEilabelindentA=\dimen148
\IEEEilabelindentB=\dimen149
\IEEEilabelindent=\dimen150
\IEEEelabelindent=\dimen151
\IEEEdlabelindent=\dimen152
\IEEElabelindent=\dimen153
\IEEEiednormlabelsep=\dimen154
\IEEEiedmathlabelsep=\dimen155
\IEEEiedtopsep=\skip47
\c@section=\count188
\c@subsection=\count189
\c@subsubsection=\count190
\c@paragraph=\count191
\c@IEEEsubequation=\count192
\abovecaptionskip=\skip48
\belowcaptionskip=\skip49
\c@figure=\count193
\c@table=\count194
\@IEEEeqnnumcols=\count195
\@IEEEeqncolcnt=\count196
\@IEEEsubeqnnumrollback=\count197
\@IEEEquantizeheightA=\dimen156
\@IEEEquantizeheightB=\dimen157
\@IEEEquantizeheightC=\dimen158
\@IEEEquantizeprevdepth=\dimen159
\@IEEEquantizemultiple=\count198
\@IEEEquantizeboxA=\box50
\@IEEEtmpitemindent=\dimen160
\IEEEPARstartletwidth=\dimen161
\c@IEEEbiography=\count199
\@IEEEtranrubishbin=\box51
) (/usr/share/texmf-dist/tex/latex/cite/cite.sty
LaTeX Info: Redefining \cite on input line 302.
LaTeX Info: Redefining \nocite on input line 332.
Package: cite 2015/02/27  v 5.5
)
(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2021/09/16 v1.2d 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 2021/03/04 v1.4d Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2021/08/11 v1.11 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 107.

(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex
))
\Gin@req@height=\dimen162
\Gin@req@width=\dimen163
)
(/usr/share/texmf-dist/tex/latex/spverbatim/spverbatim.sty
Package: spverbatim 2009/08/10 v1.0 Verbatim with breakable spaces
)
(/usr/share/texmf-dist/tex/generic/babel/babel.sty
Package: babel 2022/02/26 3.73 The Babel package
\babel@savecnt=\count266
\U@D=\dimen164
\l@unhyphenated=\language87

(/usr/share/texmf-dist/tex/generic/babel/txtbabel.def)
\bbl@readstream=\read2
\bbl@dirlevel=\count267
Package babel Info: You haven't specified a language. I'll use 'nil'
(babel)             as the main language. Reported on input line 4305.

(/usr/share/texmf-dist/tex/generic/babel/nil.ldf
Language: nil 2022/02/26 3.73 Nil language
\l@nil=\language88
))
(/usr/share/texmf-dist/tex/latex/base/textcomp.sty
Package: textcomp 2020/02/02 v2.0n Standard LaTeX package
)
(/usr/share/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2021/02/14 v1.3d Input encoding file
\inpenc@prehook=\toks18
\inpenc@posthook=\toks19
)
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
File: l3backend-pdftex.def 2022-04-14 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count268
\l__pdf_internal_box=\box52
)
(./Schrick-Noah_AG-CG-SyncFire.aux)
\openout1 = `Schrick-Noah_AG-CG-SyncFire.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 34.
LaTeX Font Info:    ... okay on input line 34.

-- Lines per column: 61 (exact).
(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count269
\scratchdimen=\dimen165
\scratchbox=\box53
\nofMPsegments=\count270
\nofMParguments=\count271
\everyMPshowfont=\toks20
\MPscratchCnt=\count272
\MPscratchDim=\dimen166
\MPnumerator=\count273
\makeMPintoPDFobject=\count274
\everyMPtoPDFconversion=\toks21
) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf

(/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
)
(/usr/share/texmf-dist/tex/latex/grfext/grfext.sty
Package: grfext 2019/12/03 v1.3 Manage graphics extensions (HO)

(/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
))
(/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO)

(/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO)
)
(/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
))
(/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO
)

(/usr/share/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2022/02/03 v1.0f TeX engine tests
)
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
85.
Package grfext Info: Graphics extension search list:
(grfext)             [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE
G,.JBIG2,.JB2,.eps]
(grfext)             \AppendGraphicsExtensions on input line 504.

(/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:    Trying to load font information for OT1+phv on input line 5
3.

(/usr/share/texmf-dist/tex/latex/psnfss/ot1phv.fd
File: ot1phv.fd 2020/03/25 scalable font definitions for OT1/phv.
)
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <11.04124> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 53.
LaTeX Font Info:    Calculating math sizes for size <11.04124> on input line 53
.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <11.04124> on input line 53.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7.72884> on input line 53.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5.52061> on input line 53.
LaTeX Font Info:    Trying to load font information for U+pzd on input line 53.


(/usr/share/texmf-dist/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
Underfull \hbox (badness 1838) in paragraph at lines 61--65
[]\OT1/ppl/m/n/9.53561 As an alternative to attack graphs for examining
 []

[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}


]
LaTeX Font Info:    Calculating math sizes for size <9.53561> on input line 72.

LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9.53561> on input line 72.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6.6749> on input line 72.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <4.7678> on input line 72.

Underfull \hbox (badness 2680) in paragraph at lines 81--87
\OT1/ppl/m/n/9.53561 are their exhaustiveness. The ability to generate all
 []


Underfull \hbox (badness 1917) in paragraph at lines 81--87
\OT1/ppl/m/n/9.53561 realistic, as briefly mentioned in Section 2[]. When a
 []


Underfull \hbox (badness 1496) in paragraph at lines 81--87
\OT1/ppl/m/n/9.53561 system has assets that have inseparable features, the
 []

<./images/non-sync_ex.drawio.png, id=11, 1014.79124pt x 400.49625pt>
File: ./images/non-sync_ex.drawio.png Graphic file (type png)
<use ./images/non-sync_ex.drawio.png>
Package pdftex.def Info: ./images/non-sync_ex.drawio.png  used on input line 90
.
(pdftex.def)             Requested size: 227.64894pt x 89.83887pt.

Underfull \hbox (badness 6927) in paragraph at lines 95--97
[]\OT1/ppl/m/n/9.53561 Post-processing is one option at removing the
 []


Underfull \hbox (badness 1688) in paragraph at lines 95--97
\OT1/ppl/m/n/9.53561 a post-processing step. Instead, a new feature called
 []

[2 <./images/non-sync_ex.drawio.png>]
LaTeX Font Info:    Trying to load font information for OT1+pcr on input line 1
05.

(/usr/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
)
Underfull \hbox (badness 10000) in paragraph at lines 107--111

 []


Underfull \hbox (badness 2922) in paragraph at lines 107--111
[]\OT1/ppl/m/n/9.53561 where the ``$\OML/cmm/m/it/10 <$\OT1/ppl/m/n/9.53561 gro
up name$\OML/cmm/m/it/10 >$\OT1/ppl/m/n/9.53561 " identifier and ``group"
 []


Underfull \hbox (badness 10000) in paragraph at lines 112--116

 []


Underfull \hbox (badness 10000) in paragraph at lines 117--123

 []

<./images/vert_Bison-Flex.drawio.png, id=21, 551.05875pt x 710.655pt>
File: ./images/vert_Bison-Flex.drawio.png Graphic file (type png)
<use ./images/vert_Bison-Flex.drawio.png>
Package pdftex.def Info: ./images/vert_Bison-Flex.drawio.png  used on input lin
e 126.
(pdftex.def)             Requested size: 180.67499pt x 232.99875pt.

Underfull \hbox (badness 1960) in paragraph at lines 137--140
\OT1/ppl/m/n/9.53561 Many of the graphs previously generated by RAGE
 []


Underfull \hbox (badness 3439) in paragraph at lines 137--140
\OT1/ppl/m/n/9.53561 comprise of states with features that can be fully
 []


Underfull \hbox (badness 1400) in paragraph at lines 141--142
[]\OT1/ppl/m/n/9.53561 The work conducted by the author of [17] when
 []

[3 <./images/vert_Bison-Flex.drawio.png>]
Underfull \hbox (badness 2781) in paragraph at lines 147--148
[]\OT1/ppl/m/n/9.53561 Other changes involved updating classes (namely
 []


Underfull \hbox (badness 10000) in paragraph at lines 147--148
\OT1/ppl/m/n/9.53561 the Quality, EncodedQuality, ParameterizedQuality,
 []


Underfull \hbox (badness 6510) in paragraph at lines 147--148
\OT1/ppl/m/n/9.53561 NetworkState, and Keyvalue classes) to include a
 []

<./images/Sync-Fire.png, id=28, 489.83pt x 1053.9375pt>
File: ./images/Sync-Fire.png Graphic file (type png)
<use ./images/Sync-Fire.png>
Package pdftex.def Info: ./images/Sync-Fire.png  used on input line 154.
(pdftex.def)             Requested size: 244.9144pt x 526.96747pt.

Underfull \hbox (badness 3138) in paragraph at lines 174--175
\OT1/ppl/m/n/9.53561 All nodes are connected with a 10Gbps Infiniband
 []

[4 <./images/Sync-Fire.png>]
Underfull \hbox (badness 1371) in paragraph at lines 185--186
[]\OT1/ppl/m/n/9.53561 All cases used the same exploit file, with the
 []


Underfull \hbox (badness 2913) in paragraph at lines 187--188
[]\OT1/ppl/m/n/9.53561 Graph visualization was not timed. Only the
 []


Underfull \hbox (badness 5756) in paragraph at lines 187--188
\OT1/ppl/m/n/9.53561 generation and database operation time was
 []

LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <9.53561> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 201.

Underfull \hbox (badness 1708) in paragraph at lines 204--205
\OT1/ppl/m/n/9.53561 corresponds with the growing number of states and
 []

<./images/Sync-Runtime-Bar.png, id=35, 602.25pt x 238.491pt>
File: ./images/Sync-Runtime-Bar.png Graphic file (type png)
<use ./images/Sync-Runtime-Bar.png>
Package pdftex.def Info: ./images/Sync-Runtime-Bar.png  used on input line 210.

(pdftex.def)             Requested size: 252.94499pt x 100.16553pt.
<./images/Sync-Runtime-Exp.png, id=36, 549.69pt x 236.301pt>
File: ./images/Sync-Runtime-Exp.png Graphic file (type png)
<use ./images/Sync-Runtime-Exp.png>
Package pdftex.def Info: ./images/Sync-Runtime-Exp.png  used on input line 211.

(pdftex.def)             Requested size: 252.94499pt x 108.73582pt.
<./images/Sync-StateSpace-Bar.png, id=37, 608.163pt x 223.38pt>
File: ./images/Sync-StateSpace-Bar.png Graphic file (type png)
<use ./images/Sync-StateSpace-Bar.png>
Package pdftex.def Info: ./images/Sync-StateSpace-Bar.png  used on input line 2
18.
(pdftex.def)             Requested size: 252.94499pt x 92.90547pt.
<./images/Sync-StateSpace-Exp.png, id=38, 532.827pt x 236.739pt>
File: ./images/Sync-StateSpace-Exp.png Graphic file (type png)
<use ./images/Sync-StateSpace-Exp.png>
Package pdftex.def Info: ./images/Sync-StateSpace-Exp.png  used on input line 2
19.
(pdftex.def)             Requested size: 252.94499pt x 112.38716pt.
<./images/Sync_Speedup.png, id=39, 533.265pt x 236.301pt>
File: ./images/Sync_Speedup.png Graphic file (type png)
<use ./images/Sync_Speedup.png>
Package pdftex.def Info: ./images/Sync_Speedup.png  used on input line 226.
(pdftex.def)             Requested size: 252.94499pt x 112.08548pt.
LaTeX Font Info:    Calculating math sizes for size <8.03> on input line 236.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8.03> on input line 236.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5.62097> on input line 236.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <4.015> on input line 236.
[5 <./images/Sync-Runtime-Bar.png> <./images/Sync-Runtime-Exp.png>]
Underfull \hbox (badness 2012) in paragraph at lines 285--286
\OT1/ppl/m/n/9.53561 firing enabled generation, and Table 3[] for the non-
 []

<./images/Comp-Sync-Runtime-Bar.png, id=45, 602.25pt x 238.491pt>
File: ./images/Comp-Sync-Runtime-Bar.png Graphic file (type png)
<use ./images/Comp-Sync-Runtime-Bar.png>
Package pdftex.def Info: ./images/Comp-Sync-Runtime-Bar.png  used on input line
 338.
(pdftex.def)             Requested size: 252.94499pt x 100.16553pt.
<./images/Comp-Sync-Runtime-Exp.png, id=46, 549.69pt x 236.301pt>
File: ./images/Comp-Sync-Runtime-Exp.png Graphic file (type png)
<use ./images/Comp-Sync-Runtime-Exp.png>
Package pdftex.def Info: ./images/Comp-Sync-Runtime-Exp.png  used on input line
 339.
(pdftex.def)             Requested size: 252.94499pt x 108.73582pt.
<./images/Comp-Sync-StateSpace-Bar.png, id=47, 600.717pt x 230.607pt>
File: ./images/Comp-Sync-StateSpace-Bar.png Graphic file (type png)
<use ./images/Comp-Sync-StateSpace-Bar.png>
Package pdftex.def Info: ./images/Comp-Sync-StateSpace-Bar.png  used on input l
ine 346.
(pdftex.def)             Requested size: 252.94499pt x 97.10059pt.
<./images/Comp-Sync-StateSpace-Exp.png, id=48, 532.389pt x 236.739pt>
File: ./images/Comp-Sync-StateSpace-Exp.png Graphic file (type png)
<use ./images/Comp-Sync-StateSpace-Exp.png>
Package pdftex.def Info: ./images/Comp-Sync-StateSpace-Exp.png  used on input l
ine 347.
(pdftex.def)             Requested size: 252.94499pt x 112.47746pt.
<./images/Comp-Sync_Speedup.png, id=49, 533.265pt x 236.301pt>
File: ./images/Comp-Sync_Speedup.png Graphic file (type png)
<use ./images/Comp-Sync_Speedup.png>
Package pdftex.def Info: ./images/Comp-Sync_Speedup.png  used on input line 354
.
(pdftex.def)             Requested size: 252.94499pt x 112.08548pt.

Underfull \hbox (badness 4242) in paragraph at lines 361--362
\OT1/ppl/m/n/9.53561 additional unattainable states. Future works include
 []

[6 <./images/Sync-StateSpace-Bar.png> <./images/Sync-StateSpace-Exp.png> <./ima
ges/Sync_Speedup.png>]
Underfull \hbox (badness 4621) in paragraph at lines 365--366
[]\OT1/ppl/m/n/9.53561 Introducing service heuristics could improve the
 []


Underfull \hbox (badness 3780) in paragraph at lines 365--366
\OT1/ppl/m/n/9.53561 characteristics of synchronous firing. If services are
 []

[7 <./images/Comp-Sync-Runtime-Bar.png> <./images/Comp-Sync-Runtime-Exp.png> <.
/images/Comp-Sync-StateSpace-Bar.png> <./images/Comp-Sync-StateSpace-Exp.png> <
./images/Comp-Sync_Speedup.png>] (./Schrick-Noah_AG-CG-SyncFire.bbl
Underfull \hbox (badness 7777) in paragraph at lines 4--8
[]\OT1/ppl/m/n/8.03 C. Phillips and L. P. Swiler, ``A graph-based system
 []


Underfull \hbox (badness 1496) in paragraph at lines 4--8
\OT1/ppl/m/n/8.03 for network-vulnerability analysis,'' \OT1/ppl/m/it/8.03 Proc
eedings New Security
 []


Underfull \hbox (badness 1354) in paragraph at lines 49--54
\OT1/ppl/m/n/8.03 in \OT1/ppl/m/it/8.03 SAICSIT '19: Proceedings of the South A
frican Institute of
 []


Underfull \hbox (badness 1354) in paragraph at lines 60--63
[]\OT1/ppl/m/n/8.03 O. Sheyner, J. Haines, S. Jha, R. Lippmann, and J. Wing,
 []


Underfull \hbox (badness 3417) in paragraph at lines 60--63
\OT1/ppl/m/n/8.03 ``Automated Generation and Analysis of Attack Graphs,''
 []

) [8] (./Schrick-Noah_AG-CG-SyncFire.aux) ) 
Here is how much of TeX's memory you used:
 4164 strings out of 478238
 77060 string characters out of 5850455
 398926 words of memory out of 5000000
 22328 multiletter control sequences out of 15000+600000
 514786 words of font info for 114 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 60i,14n,67p,1197b,373s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texmf-dist/fonts/enc/dvi
ps/base/8r.enc}</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb
></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/te
xmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-dist/fonts/t
ype1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/am
sfonts/cm/cmsy7.pfb></usr/share/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb><
/usr/share/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb></usr/share/texmf-dis
t/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-dist/fonts/type1/urw/he
lvetic/uhvro8a.pfb></usr/share/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb><
/usr/share/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/share/texmf-dis
t/fonts/type1/urw/palatino/uplri8a.pfb></usr/share/texmf-dist/fonts/type1/urw/z
apfding/uzdr.pfb>
Output written on Schrick-Noah_AG-CG-SyncFire.pdf (8 pages, 919914 bytes).
PDF statistics:
 124 PDF objects out of 1000 (max. 8388607)
 61 compressed objects within 1 object stream
 0 named destinations out of 1000 (max. 500000)
 66 words of extra memory for PDF output out of 10000 (max. 10000000)

