Line | Branch | Exec | Source |
---|---|---|---|
1 | // -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- | ||
2 | // vi: set et ts=4 sw=4 sts=4: | ||
3 | // | ||
4 | // SPDX-FileCopyrightInfo: Copyright © DuMux Project contributors, see AUTHORS.md in root folder | ||
5 | // SPDX-License-Identifier: GPL-3.0-or-later | ||
6 | // | ||
7 | /*! | ||
8 | * \file | ||
9 | * \ingroup Core | ||
10 | * \brief Base class for all finite volume problems | ||
11 | */ | ||
12 | #ifndef DUMUX_COMMON_FV_PROBLEM_HH | ||
13 | #define DUMUX_COMMON_FV_PROBLEM_HH | ||
14 | |||
15 | #include <memory> | ||
16 | #include <map> | ||
17 | |||
18 | #include <dune/common/fvector.hh> | ||
19 | #include <dune/grid/common/gridenums.hh> | ||
20 | |||
21 | #include <dumux/common/properties.hh> | ||
22 | #include <dumux/common/parameters.hh> | ||
23 | #include <dumux/common/boundarytypes.hh> | ||
24 | #include <dumux/common/numeqvector.hh> | ||
25 | #include <dumux/discretization/method.hh> | ||
26 | #include <dumux/discretization/extrusion.hh> | ||
27 | |||
28 | #include <dumux/assembly/initialsolution.hh> | ||
29 | |||
30 | namespace Dumux { | ||
31 | |||
32 | /*! | ||
33 | * \ingroup Core | ||
34 | * \brief Base class for all finite-volume problems | ||
35 | * | ||
36 | * \note All quantities (regarding the units) are specified assuming a | ||
37 | * three-dimensional world. Problems discretized using 2D grids | ||
38 | * are assumed to be extruded by \f$1 m\f$ and 1D grids are assumed | ||
39 | * to have a cross section of \f$1m \times 1m\f$. | ||
40 | */ | ||
41 | template<class TypeTag> | ||
42 | class FVProblem | ||
43 | { | ||
44 | using Implementation = GetPropType<TypeTag, Properties::Problem>; | ||
45 | |||
46 | using GridGeometry = GetPropType<TypeTag, Properties::GridGeometry>; | ||
47 | using FVElementGeometry = typename GridGeometry::LocalView; | ||
48 | using GridView = typename GridGeometry::GridView; | ||
49 | using SubControlVolume = typename FVElementGeometry::SubControlVolume; | ||
50 | using SubControlVolumeFace = typename FVElementGeometry::SubControlVolumeFace; | ||
51 | using Extrusion = Extrusion_t<GridGeometry>; | ||
52 | using Element = typename GridView::template Codim<0>::Entity; | ||
53 | using GlobalPosition = typename Element::Geometry::GlobalCoordinate; | ||
54 | |||
55 | enum { dim = GridView::dimension }; | ||
56 | |||
57 | using PointSource = GetPropType<TypeTag, Properties::PointSource>; | ||
58 | using PointSourceHelper = GetPropType<TypeTag, Properties::PointSourceHelper>; | ||
59 | using PointSourceMap = std::map< std::pair<std::size_t, std::size_t>, | ||
60 | std::vector<PointSource> >; | ||
61 | |||
62 | static constexpr bool isCVFE = DiscretizationMethods::isCVFE<typename GridGeometry::DiscretizationMethod>; | ||
63 | static constexpr bool isStaggered = GridGeometry::discMethod == DiscretizationMethods::staggered; | ||
64 | |||
65 | using Scalar = GetPropType<TypeTag, Properties::Scalar>; | ||
66 | using PrimaryVariables = GetPropType<TypeTag, Properties::PrimaryVariables>; | ||
67 | using NumEqVector = Dumux::NumEqVector<GetPropType<TypeTag, Properties::PrimaryVariables>>; | ||
68 | using BoundaryTypes = Dumux::BoundaryTypes<PrimaryVariables::size()>; | ||
69 | |||
70 | public: | ||
71 | //! export traits of this problem | ||
72 | struct Traits | ||
73 | { | ||
74 | using Scalar = FVProblem::Scalar; | ||
75 | using PrimaryVariables = FVProblem::PrimaryVariables; | ||
76 | using NumEqVector = FVProblem::NumEqVector; | ||
77 | }; | ||
78 | |||
79 | /*! | ||
80 | * \brief Constructor | ||
81 | * \param gridGeometry The finite volume grid geometry | ||
82 | * \param paramGroup The parameter group in which to look for runtime parameters first (default is "") | ||
83 | */ | ||
84 | 1131 | FVProblem(std::shared_ptr<const GridGeometry> gridGeometry, const std::string& paramGroup = "") | |
85 | : gridGeometry_(gridGeometry) | ||
86 |
3/12✓ Branch 2 taken 758 times.
✗ Branch 3 not taken.
✓ Branch 5 taken 758 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 758 times.
✗ Branch 9 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✗ Branch 14 not taken.
✗ Branch 15 not taken.
✗ Branch 16 not taken.
|
1131 | , paramGroup_(paramGroup) |
87 | { | ||
88 | // set a default name for the problem | ||
89 |
2/4✓ Branch 1 taken 758 times.
✗ Branch 2 not taken.
✗ Branch 4 not taken.
✓ Branch 5 taken 758 times.
|
1131 | problemName_ = getParamFromGroup<std::string>(paramGroup, "Problem.Name", "sim"); |
90 | 1131 | } | |
91 | |||
92 | /*! | ||
93 | * \brief The problem name. | ||
94 | * | ||
95 | * This is used as a prefix for files generated by the simulation. | ||
96 | * It could be either overwritten by the problem files, or simply | ||
97 | * declared over the setName() function in the application file. | ||
98 | */ | ||
99 | const std::string& name() const | ||
100 | { | ||
101 |
4/6✓ Branch 1 taken 210 times.
✓ Branch 2 taken 14 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 49 times.
✓ Branch 5 taken 22 times.
✗ Branch 6 not taken.
|
299 | return problemName_; |
102 | } | ||
103 | |||
104 | /*! | ||
105 | * \brief Set the problem name. | ||
106 | * | ||
107 | * \param newName The problem's name | ||
108 | */ | ||
109 | void setName(const std::string& newName) | ||
110 | { | ||
111 | problemName_ = newName; | ||
112 | } | ||
113 | |||
114 | /*! | ||
115 | * \name Boundary conditions and sources defining the problem | ||
116 | */ | ||
117 | // \{ | ||
118 | |||
119 | /*! | ||
120 | * \brief Specifies which kind of boundary condition should be | ||
121 | * used for which equation on a given boundary segment. | ||
122 | * | ||
123 | * \param element The finite element | ||
124 | * \param scv The sub control volume | ||
125 | */ | ||
126 | ✗ | auto boundaryTypes(const Element &element, | |
127 | const SubControlVolume &scv) const | ||
128 | { | ||
129 | if (!isCVFE) | ||
130 | DUNE_THROW(Dune::InvalidStateException, | ||
131 | "boundaryTypes(..., scv) called for non-CVFE method."); | ||
132 | |||
133 | // forward it to the method which only takes the global coordinate | ||
134 |
16/18✓ Branch 0 taken 1596746 times.
✓ Branch 1 taken 46408 times.
✓ Branch 2 taken 1188718 times.
✓ Branch 3 taken 28448 times.
✓ Branch 4 taken 63301 times.
✓ Branch 5 taken 22911 times.
✓ Branch 6 taken 18017 times.
✓ Branch 7 taken 6296 times.
✓ Branch 8 taken 132237 times.
✓ Branch 9 taken 7084 times.
✓ Branch 10 taken 125656 times.
✓ Branch 11 taken 2632 times.
✓ Branch 12 taken 10588 times.
✓ Branch 13 taken 3700 times.
✗ Branch 14 not taken.
✓ Branch 15 taken 8 times.
✗ Branch 16 not taken.
✓ Branch 17 taken 8 times.
|
9710874 | return asImp_().boundaryTypesAtPos(scv.dofPosition()); |
135 | } | ||
136 | |||
137 | /*! | ||
138 | * \brief Specifies which kind of boundary condition should be | ||
139 | * used for which equation on a given boundary segment. | ||
140 | * | ||
141 | * \param element The finite element | ||
142 | * \param scvf The sub control volume face | ||
143 | */ | ||
144 | ✗ | auto boundaryTypes(const Element &element, | |
145 | const SubControlVolumeFace &scvf) const | ||
146 | { | ||
147 | if (isCVFE) | ||
148 | ✗ | DUNE_THROW(Dune::InvalidStateException, | |
149 | "boundaryTypes(..., scvf) called for CVFE method."); | ||
150 | |||
151 | // forward it to the method which only takes the global coordinate | ||
152 |
43/108✓ Branch 0 taken 58730 times.
✓ Branch 1 taken 2048691 times.
✓ Branch 2 taken 69112 times.
✓ Branch 3 taken 4063614 times.
✓ Branch 4 taken 220292 times.
✓ Branch 5 taken 851011 times.
✓ Branch 6 taken 275829 times.
✓ Branch 7 taken 5372116 times.
✓ Branch 8 taken 200770 times.
✓ Branch 9 taken 4706876 times.
✓ Branch 10 taken 61012 times.
✓ Branch 11 taken 187884 times.
✓ Branch 12 taken 3003099 times.
✓ Branch 13 taken 84316 times.
✓ Branch 14 taken 3175129 times.
✓ Branch 15 taken 1904594 times.
✓ Branch 16 taken 25805250 times.
✓ Branch 17 taken 6306957 times.
✓ Branch 18 taken 9213507 times.
✓ Branch 19 taken 58912922 times.
✓ Branch 20 taken 5857074 times.
✓ Branch 21 taken 2148964 times.
✓ Branch 22 taken 26506656 times.
✓ Branch 23 taken 5880414 times.
✓ Branch 24 taken 267420 times.
✓ Branch 25 taken 4001612 times.
✓ Branch 26 taken 15970 times.
✓ Branch 27 taken 9050 times.
✓ Branch 28 taken 7488 times.
✓ Branch 29 taken 15878 times.
✓ Branch 30 taken 39078 times.
✓ Branch 31 taken 9878 times.
✓ Branch 32 taken 38878 times.
✓ Branch 33 taken 10040 times.
✓ Branch 34 taken 19568 times.
✓ Branch 35 taken 28750 times.
✓ Branch 36 taken 474 times.
✓ Branch 37 taken 190 times.
✓ Branch 38 taken 424 times.
✓ Branch 39 taken 240 times.
✓ Branch 40 taken 216 times.
✓ Branch 41 taken 224 times.
✗ Branch 42 not taken.
✓ Branch 43 taken 8 times.
✗ Branch 44 not taken.
✗ Branch 45 not taken.
✗ Branch 159 not taken.
✗ Branch 160 not taken.
✗ Branch 164 not taken.
✗ Branch 165 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✗ Branch 333 not taken.
✗ Branch 334 not taken.
✗ Branch 338 not taken.
✗ Branch 339 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 351 not taken.
✗ Branch 352 not taken.
✗ Branch 356 not taken.
✗ Branch 357 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 369 not taken.
✗ Branch 370 not taken.
✗ Branch 374 not taken.
✗ Branch 375 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 399 not taken.
✗ Branch 400 not taken.
✗ Branch 404 not taken.
✗ Branch 405 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 417 not taken.
✗ Branch 418 not taken.
✗ Branch 422 not taken.
✗ Branch 423 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 435 not taken.
✗ Branch 436 not taken.
✗ Branch 440 not taken.
✗ Branch 441 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 450 not taken.
✗ Branch 451 not taken.
✗ Branch 458 not taken.
✗ Branch 459 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 468 not taken.
✗ Branch 469 not taken.
✗ Branch 473 not taken.
✗ Branch 474 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 486 not taken.
✗ Branch 487 not taken.
✗ Branch 491 not taken.
✗ Branch 492 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✗ Branch 501 not taken.
✗ Branch 502 not taken.
|
1346028093 | return asImp_().boundaryTypesAtPos(scvf.ipGlobal()); |
153 | } | ||
154 | |||
155 | /*! | ||
156 | * \brief Specifies which kind of boundary condition should be | ||
157 | * used for which equation on a given boundary segment. | ||
158 | * | ||
159 | * \param globalPos The position of the finite volume in global coordinates | ||
160 | */ | ||
161 | BoundaryTypes boundaryTypesAtPos(const GlobalPosition &globalPos) const | ||
162 | { | ||
163 | //! As a default, i.e. if the user's problem does not overload any boundaryTypes method | ||
164 | //! set Dirichlet boundary conditions everywhere for all primary variables | ||
165 | BoundaryTypes bcTypes; | ||
166 | bcTypes.setAllDirichlet(); | ||
167 | return bcTypes; | ||
168 | } | ||
169 | |||
170 | /*! | ||
171 | * \brief Evaluate the boundary conditions for a dirichlet | ||
172 | * control volume face. | ||
173 | * | ||
174 | * \param element The finite element | ||
175 | * \param scvf the sub control volume face | ||
176 | * \note used for cell-centered discretization schemes | ||
177 | */ | ||
178 | ✗ | PrimaryVariables dirichlet(const Element &element, const SubControlVolumeFace &scvf) const | |
179 | { | ||
180 | // forward it to the method which only takes the global coordinate | ||
181 | if (isCVFE) | ||
182 | { | ||
183 | DUNE_THROW(Dune::InvalidStateException, "dirichlet(scvf) called for CVFE method."); | ||
184 | } | ||
185 | else | ||
186 |
22/61✓ Branch 0 taken 261397 times.
✓ Branch 1 taken 820431 times.
✓ Branch 2 taken 266521 times.
✓ Branch 3 taken 142626 times.
✓ Branch 4 taken 552507 times.
✓ Branch 5 taken 303085 times.
✓ Branch 6 taken 61545 times.
✓ Branch 7 taken 760155 times.
✓ Branch 8 taken 196900 times.
✓ Branch 9 taken 10864 times.
✓ Branch 10 taken 10472 times.
✓ Branch 11 taken 121330 times.
✓ Branch 12 taken 12074 times.
✓ Branch 13 taken 123790 times.
✓ Branch 14 taken 12154 times.
✓ Branch 15 taken 123012 times.
✓ Branch 16 taken 14948 times.
✓ Branch 17 taken 120032 times.
✗ Branch 18 not taken.
✗ Branch 19 not taken.
✗ Branch 20 not taken.
✗ Branch 21 not taken.
✗ Branch 22 not taken.
✗ Branch 23 not taken.
✗ Branch 24 not taken.
✗ Branch 25 not taken.
✗ Branch 26 not taken.
✗ Branch 27 not taken.
✗ Branch 28 not taken.
✗ Branch 29 not taken.
✓ Branch 30 taken 5976 times.
✓ Branch 31 taken 1488 times.
✓ Branch 32 taken 5976 times.
✓ Branch 33 taken 1488 times.
✗ Branch 34 not taken.
✗ Branch 35 not taken.
✗ Branch 36 not taken.
✗ Branch 37 not taken.
✗ Branch 38 not taken.
✗ Branch 40 not taken.
✗ Branch 41 not taken.
✗ Branch 43 not taken.
✗ Branch 44 not taken.
✗ Branch 46 not taken.
✗ Branch 47 not taken.
✗ Branch 49 not taken.
✗ Branch 50 not taken.
✗ Branch 52 not taken.
✗ Branch 53 not taken.
✗ Branch 55 not taken.
✗ Branch 56 not taken.
✗ Branch 58 not taken.
✗ Branch 59 not taken.
✗ Branch 61 not taken.
✗ Branch 62 not taken.
✗ Branch 64 not taken.
✗ Branch 65 not taken.
✗ Branch 67 not taken.
✗ Branch 68 not taken.
✗ Branch 70 not taken.
✗ Branch 71 not taken.
|
7577895 | return asImp_().dirichletAtPos(scvf.ipGlobal()); |
187 | } | ||
188 | |||
189 | /*! | ||
190 | * \brief Evaluate the boundary conditions for a dirichlet | ||
191 | * control volume. | ||
192 | * | ||
193 | * \param element The finite element | ||
194 | * \param scv the sub control volume | ||
195 | * \note used for cell-centered discretization schemes | ||
196 | */ | ||
197 | ✗ | PrimaryVariables dirichlet(const Element &element, const SubControlVolume &scv) const | |
198 | { | ||
199 | // forward it to the method which only takes the global coordinate | ||
200 | if (!isCVFE && !isStaggered) | ||
201 | { | ||
202 | DUNE_THROW(Dune::InvalidStateException, "dirichlet(scv) called for other than CVFE or staggered method."); | ||
203 | } | ||
204 | else | ||
205 |
10/12✓ Branch 0 taken 12673 times.
✓ Branch 1 taken 12737 times.
✓ Branch 2 taken 12673 times.
✓ Branch 3 taken 12737 times.
✓ Branch 4 taken 160723 times.
✓ Branch 5 taken 123097 times.
✓ Branch 6 taken 160723 times.
✓ Branch 7 taken 123097 times.
✓ Branch 8 taken 136 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 136 times.
✗ Branch 11 not taken.
|
1703271 | return asImp_().dirichletAtPos(scv.dofPosition()); |
206 | } | ||
207 | |||
208 | /*! | ||
209 | * \brief Evaluate the boundary conditions for a dirichlet | ||
210 | * control volume. | ||
211 | * | ||
212 | * \param globalPos The position of the center of the finite volume | ||
213 | * for which the dirichlet condition ought to be | ||
214 | * set in global coordinates | ||
215 | */ | ||
216 | ✗ | PrimaryVariables dirichletAtPos(const GlobalPosition &globalPos) const | |
217 | { | ||
218 | // Throw an exception (there is no reasonable default value | ||
219 | // for Dirichlet conditions) | ||
220 | ✗ | DUNE_THROW(Dune::InvalidStateException, | |
221 | "The problem specifies that some boundary " | ||
222 | "segments are dirichlet, but does not provide " | ||
223 | "a dirichlet() or a dirichletAtPos() method."); | ||
224 | } | ||
225 | |||
226 | /*! | ||
227 | * \brief If internal Dirichlet constraints are enabled | ||
228 | * Enables / disables internal (non-boundary) Dirichlet constraints. If this is overloaded | ||
229 | * to return true, the assembler calls problem.hasInternalDirichletConstraint(element, scv). | ||
230 | * This means you have to implement the following member function | ||
231 | * | ||
232 | * std::bitset<N> hasInternalDirichletConstraint(const Element& element, const SubControlVolume& scv) const; | ||
233 | * | ||
234 | * where N is the number of equations and where the return value defines for each equation if the corresponding dof associated | ||
235 | * with the element/scv pair is constraint. If true is returned for a dof, the assembler calls | ||
236 | * problem.internalDirichlet(element, scv). This means you have to additionally implement the following member function | ||
237 | * | ||
238 | * PrimaryVariables internalDirichlet(const Element& element, const SubControlVolume& scv) const; | ||
239 | * | ||
240 | * which returns the enforced Dirichlet values the dof associated with the element/scv pair. | ||
241 | */ | ||
242 | static constexpr bool enableInternalDirichletConstraints() | ||
243 | { return false; } | ||
244 | |||
245 | /*! | ||
246 | * \brief Evaluate the boundary conditions for a neumann | ||
247 | * boundary segment. | ||
248 | * | ||
249 | * This is the method for the case where the Neumann condition is | ||
250 | * potentially solution dependent | ||
251 | * | ||
252 | * \param element The finite element | ||
253 | * \param fvGeometry The finite-volume geometry | ||
254 | * \param elemVolVars All volume variables for the element | ||
255 | * \param elemFluxVarsCache Flux variables caches for all faces in stencil | ||
256 | * \param scvf The sub control volume face | ||
257 | * | ||
258 | * Negative values mean influx. | ||
259 | * E.g. for the mass balance that would be the mass flux in \f$ [ kg / (m^2 \cdot s)] \f$. | ||
260 | */ | ||
261 | template<class ElementVolumeVariables, class ElementFluxVariablesCache> | ||
262 | ✗ | NumEqVector neumann(const Element& element, | |
263 | const FVElementGeometry& fvGeometry, | ||
264 | const ElementVolumeVariables& elemVolVars, | ||
265 | const ElementFluxVariablesCache& elemFluxVarsCache, | ||
266 | const SubControlVolumeFace& scvf) const | ||
267 | { | ||
268 | // forward it to the interface with only the global position | ||
269 |
14/16✓ Branch 0 taken 7311055 times.
✓ Branch 1 taken 426028 times.
✓ Branch 2 taken 5762484 times.
✓ Branch 3 taken 14988 times.
✓ Branch 4 taken 56582 times.
✓ Branch 5 taken 56089 times.
✓ Branch 6 taken 56222 times.
✓ Branch 7 taken 56089 times.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
✓ Branch 10 taken 20720 times.
✓ Branch 11 taken 20720 times.
✓ Branch 12 taken 20720 times.
✓ Branch 13 taken 20720 times.
✓ Branch 14 taken 34336 times.
✓ Branch 15 taken 7104 times.
|
88009525 | return asImp_().neumannAtPos(scvf.ipGlobal()); |
270 | } | ||
271 | |||
272 | /*! | ||
273 | * \brief Evaluate the boundary conditions for a neumann | ||
274 | * boundary segment. | ||
275 | * | ||
276 | * \param globalPos The position of the boundary face's integration point in global coordinates | ||
277 | * | ||
278 | * Negative values mean influx. | ||
279 | * E.g. for the mass balance that would be the mass flux in \f$ [ kg / (m^2 \cdot s)] \f$. | ||
280 | */ | ||
281 | ✗ | NumEqVector neumannAtPos(const GlobalPosition &globalPos) const | |
282 | { | ||
283 | //! As a default, i.e. if the user's problem does not overload any neumann method | ||
284 | //! return no-flow Neumann boundary conditions at all Neumann boundaries | ||
285 |
4/6✓ Branch 0 taken 517224 times.
✓ Branch 1 taken 234004 times.
✓ Branch 2 taken 5696 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 12 times.
✗ Branch 5 not taken.
|
13403997 | return NumEqVector(0.0); |
286 | } | ||
287 | |||
288 | /*! | ||
289 | * \brief Evaluate the source term for all phases within a given | ||
290 | * sub-control-volume. | ||
291 | * | ||
292 | * This is the method for the case where the source term is | ||
293 | * potentially solution dependent and requires some quantities that | ||
294 | * are specific to the fully-implicit method. | ||
295 | * | ||
296 | * \param element The finite element | ||
297 | * \param fvGeometry The finite-volume geometry | ||
298 | * \param elemVolVars All volume variables for the element | ||
299 | * \param scv The sub control volume | ||
300 | * | ||
301 | * For this method, the return parameter stores the conserved quantity rate | ||
302 | * generated or annihilate per volume unit. Positive values mean | ||
303 | * that the conserved quantity is created, negative ones mean that it vanishes. | ||
304 | * E.g. for the mass balance that would be a mass rate in \f$ [ kg / (m^3 \cdot s)] \f$. | ||
305 | */ | ||
306 | template<class ElementVolumeVariables> | ||
307 | ✗ | NumEqVector source(const Element &element, | |
308 | const FVElementGeometry& fvGeometry, | ||
309 | const ElementVolumeVariables& elemVolVars, | ||
310 | const SubControlVolume &scv) const | ||
311 | { | ||
312 | // forward to solution independent, fully-implicit specific interface | ||
313 |
12/12✓ Branch 0 taken 516320 times.
✓ Branch 1 taken 5016144 times.
✓ Branch 2 taken 1944730 times.
✓ Branch 3 taken 34293557 times.
✓ Branch 4 taken 2166978 times.
✓ Branch 5 taken 10161568 times.
✓ Branch 6 taken 7958336 times.
✓ Branch 7 taken 8925580 times.
✓ Branch 8 taken 194656 times.
✓ Branch 9 taken 262800 times.
✓ Branch 10 taken 3580416 times.
✓ Branch 11 taken 4820000 times.
|
529638400 | return asImp_().sourceAtPos(scv.center()); |
314 | } | ||
315 | |||
316 | /*! | ||
317 | * \brief Evaluate the source term for all phases within a given | ||
318 | * sub-control-volume. | ||
319 | * | ||
320 | * \param globalPos The position of the center of the finite volume | ||
321 | * for which the source term ought to be | ||
322 | * specified in global coordinates | ||
323 | * | ||
324 | * For this method, the values parameter stores the conserved quantity rate | ||
325 | * generated or annihilate per volume unit. Positive values mean | ||
326 | * that the conserved quantity is created, negative ones mean that it vanishes. | ||
327 | * E.g. for the mass balance that would be a mass rate in \f$ [ kg / (m^3 \cdot s)] \f$. | ||
328 | */ | ||
329 | ✗ | NumEqVector sourceAtPos(const GlobalPosition &globalPos) const | |
330 | { | ||
331 | //! As a default, i.e. if the user's problem does not overload any source method | ||
332 | //! return 0.0 (no source terms) | ||
333 |
10/12✓ Branch 0 taken 516320 times.
✓ Branch 1 taken 5113078 times.
✓ Branch 2 taken 1944730 times.
✓ Branch 3 taken 39112297 times.
✓ Branch 4 taken 2149578 times.
✓ Branch 5 taken 1254708 times.
✓ Branch 6 taken 7940936 times.
✓ Branch 7 taken 19680 times.
✓ Branch 8 taken 194656 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 3580416 times.
✗ Branch 11 not taken.
|
775070495 | return NumEqVector(0.0); |
334 | } | ||
335 | |||
336 | /*! | ||
337 | * \brief Applies a vector of point sources. The point sources | ||
338 | * are possibly solution dependent. | ||
339 | * | ||
340 | * \param pointSources A vector of PointSource s that contain | ||
341 | source values for all phases and space positions. | ||
342 | * | ||
343 | * For this method, the values method of the point source | ||
344 | * has to return the absolute rate values in units | ||
345 | * \f$ [ \textnormal{unit of conserved quantity} / s ] \f$. | ||
346 | * Positive values mean that the conserved quantity is created, negative ones mean that it vanishes. | ||
347 | * E.g. for the mass balance that would be a mass rate in \f$ [ kg / s ] \f$. | ||
348 | */ | ||
349 | ✗ | void addPointSources(std::vector<PointSource>& pointSources) const {} | |
350 | |||
351 | /*! | ||
352 | * \brief Evaluate the point sources (added by addPointSources) | ||
353 | * for all phases within a given sub-control-volume. | ||
354 | * | ||
355 | * This is the method for the case where the point source is | ||
356 | * solution dependent | ||
357 | * | ||
358 | * \param source A single point source | ||
359 | * \param element The finite element | ||
360 | * \param fvGeometry The finite-volume geometry | ||
361 | * \param elemVolVars All volume variables for the element | ||
362 | * \param scv The sub control volume | ||
363 | * | ||
364 | * For this method, the values() method of the point sources returns | ||
365 | * the absolute conserved quantity rate generated or annihilate in | ||
366 | * units \f$ [ \textnormal{unit of conserved quantity} / s ] \f$. | ||
367 | * Positive values mean that the conserved quantity is created, negative ones mean that it vanishes. | ||
368 | * E.g. for the mass balance that would be a mass rate in \f$ [ kg / s ] \f$. | ||
369 | */ | ||
370 | template<class ElementVolumeVariables> | ||
371 | ✗ | void pointSource(PointSource& source, | |
372 | const Element &element, | ||
373 | const FVElementGeometry& fvGeometry, | ||
374 | const ElementVolumeVariables& elemVolVars, | ||
375 | const SubControlVolume &scv) const | ||
376 | { | ||
377 | // forward to space dependent interface method | ||
378 | 22260 | asImp_().pointSourceAtPos(source, source.position()); | |
379 | ✗ | } | |
380 | |||
381 | /*! | ||
382 | * \brief Evaluate the point sources (added by addPointSources) | ||
383 | * for all phases within a given sub-control-volume. | ||
384 | * | ||
385 | * This is the method for the case where the point source is space dependent | ||
386 | * | ||
387 | * \param pointSource A single point source | ||
388 | * \param globalPos The point source position in global coordinates | ||
389 | * | ||
390 | * For this method, the \a values() method of the point sources returns | ||
391 | * the absolute conserved quantity rate generated or annihilate in | ||
392 | * units \f$ [ \textnormal{unit of conserved quantity} / s ] \f$. Positive values mean | ||
393 | * that the conserved quantity is created, negative ones mean that it vanishes. | ||
394 | * E.g. for the mass balance that would be a mass rate in \f$ [ kg / s ] \f$. | ||
395 | */ | ||
396 | ✗ | void pointSourceAtPos(PointSource& pointSource, | |
397 | ✗ | const GlobalPosition &globalPos) const {} | |
398 | |||
399 | /*! | ||
400 | * \brief Add source term derivative to the Jacobian | ||
401 | * \note Only needed in case of analytic differentiation and solution dependent sources | ||
402 | */ | ||
403 | template<class MatrixBlock, class VolumeVariables> | ||
404 | ✗ | void addSourceDerivatives(MatrixBlock& block, | |
405 | const Element& element, | ||
406 | const FVElementGeometry& fvGeometry, | ||
407 | const VolumeVariables& volVars, | ||
408 | ✗ | const SubControlVolume& scv) const {} | |
409 | |||
410 | /*! | ||
411 | * \brief Adds contribution of point sources for a specific sub control volume | ||
412 | * to the values. | ||
413 | * Caution: Only overload this method in the implementation if you know | ||
414 | * what you are doing. | ||
415 | */ | ||
416 | template<class ElementVolumeVariables> | ||
417 | 267058379 | NumEqVector scvPointSources(const Element &element, | |
418 | const FVElementGeometry& fvGeometry, | ||
419 | const ElementVolumeVariables& elemVolVars, | ||
420 | const SubControlVolume &scv) const | ||
421 | { | ||
422 | 267058379 | NumEqVector source(0); | |
423 | 267058379 | auto scvIdx = scv.indexInElement(); | |
424 | 801544511 | auto key = std::make_pair(gridGeometry_->elementMapper().index(element), scvIdx); | |
425 | 782852087 | if (pointSourceMap_.count(key)) | |
426 | { | ||
427 | // Add the contributions to the dof source values | ||
428 | // We divide by the volume. In the local residual this will be multiplied with the same | ||
429 | // factor again. That's because the user specifies absolute values in kg/s. | ||
430 | 36646100 | const auto volume = Extrusion::volume(fvGeometry, scv)*elemVolVars[scv].extrusionFactor(); | |
431 | |||
432 |
4/4✓ Branch 2 taken 34128138 times.
✓ Branch 3 taken 9168638 times.
✓ Branch 4 taken 34128138 times.
✓ Branch 5 taken 9168638 times.
|
173130200 | for (const auto& ps : pointSourceMap_.at(key)) |
433 | { | ||
434 | // we make a copy of the local point source here | ||
435 |
0/2✗ Branch 1 not taken.
✗ Branch 2 not taken.
|
68251490 | auto pointSource = ps; |
436 | |||
437 | // Note: two concepts are implemented here. The PointSource property can be set to a | ||
438 | // customized point source function achieving variable point sources, | ||
439 | // see TimeDependentPointSource for an example. The second imitated the standard | ||
440 | // dumux source interface with solDependentPointSource / pointSourceAtPos, methods | ||
441 | // that can be overloaded in the actual problem class also achieving variable point sources. | ||
442 | // The first one is more convenient for simple function like a time dependent source. | ||
443 | // The second one might be more convenient for e.g. a solution dependent point source. | ||
444 | |||
445 | // we do an update e.g. used for TimeDependentPointSource | ||
446 |
1/2✓ Branch 1 taken 9440 times.
✗ Branch 2 not taken.
|
68242050 | pointSource.update(asImp_(), element, fvGeometry, elemVolVars, scv); |
447 | // call convenience problem interface function | ||
448 |
1/2✓ Branch 0 taken 72 times.
✗ Branch 1 not taken.
|
68242050 | asImp_().pointSource(pointSource, element, fvGeometry, elemVolVars, scv); |
449 | // at last take care about multiplying with the correct volume | ||
450 |
1/2✓ Branch 0 taken 72 times.
✗ Branch 1 not taken.
|
68242050 | pointSource /= volume*pointSource.embeddings(); |
451 | // add the point source values to the local residual | ||
452 |
2/4✓ Branch 0 taken 9440 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 72 times.
✗ Branch 3 not taken.
|
136484100 | source += pointSource.values(); |
453 | } | ||
454 | } | ||
455 | |||
456 | 267058379 | return source; | |
457 | } | ||
458 | |||
459 | /*! | ||
460 | * \brief Compute the point source map, i.e. which scvs have point source contributions | ||
461 | * \note Call this on the problem before assembly if you want to enable point sources set | ||
462 | * via the addPointSources member function. | ||
463 | */ | ||
464 | 130 | void computePointSourceMap() | |
465 | { | ||
466 | // clear the given point source maps in case it's not empty | ||
467 | 140 | pointSourceMap_.clear(); | |
468 | |||
469 | // get and apply point sources if any given in the problem | ||
470 |
5/10✓ Branch 1 taken 81 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 70 times.
✓ Branch 4 taken 8 times.
✗ Branch 5 not taken.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
|
280 | std::vector<PointSource> sources; |
471 |
1/2✓ Branch 1 taken 78 times.
✗ Branch 2 not taken.
|
139 | asImp_().addPointSources(sources); |
472 | |||
473 | // if there are point sources calculate point source locations and save them in a map | ||
474 |
7/9✓ Branch 0 taken 73 times.
✓ Branch 1 taken 8 times.
✓ Branch 2 taken 73 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 3 times.
✓ Branch 5 taken 1 times.
✗ Branch 6 not taken.
✓ Branch 8 taken 1 times.
✗ Branch 9 not taken.
|
280 | if (!sources.empty()) |
475 |
1/2✓ Branch 1 taken 73 times.
✗ Branch 2 not taken.
|
120 | PointSourceHelper::computePointSourceMap(*gridGeometry_, sources, pointSourceMap_, paramGroup()); |
476 | 130 | } | |
477 | |||
478 | /*! | ||
479 | * \brief Get the point source map. It stores the point sources per scv | ||
480 | */ | ||
481 | const PointSourceMap& pointSourceMap() const | ||
482 |
12/16✓ Branch 0 taken 9351475 times.
✓ Branch 1 taken 417426004 times.
✓ Branch 2 taken 2342484 times.
✓ Branch 3 taken 53673721 times.
✓ Branch 4 taken 21972 times.
✓ Branch 5 taken 20538115 times.
✓ Branch 6 taken 11476481 times.
✓ Branch 7 taken 385102 times.
✓ Branch 8 taken 704624 times.
✗ Branch 9 not taken.
✓ Branch 10 taken 4934024 times.
✓ Branch 11 taken 4820000 times.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
✓ Branch 14 taken 3323 times.
✗ Branch 15 not taken.
|
525677325 | { return pointSourceMap_; } |
483 | |||
484 | /*! | ||
485 | * \brief Applies the initial solution for all degrees of freedom of the grid. | ||
486 | * \param sol the initial solution vector | ||
487 | */ | ||
488 | template<class SolutionVector> | ||
489 | void applyInitialSolution(SolutionVector& sol) const | ||
490 | { | ||
491 |
5/8✓ Branch 1 taken 367 times.
✓ Branch 2 taken 1 times.
✓ Branch 4 taken 93 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 4 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 3 times.
✗ Branch 11 not taken.
|
378 | assembleInitialSolution(sol, asImp_()); |
492 | } | ||
493 | |||
494 | /*! | ||
495 | * \brief Evaluate the initial value for a entity | ||
496 | * | ||
497 | * \param entity The dof entity | ||
498 | */ | ||
499 | template<class Entity> | ||
500 | 418488 | PrimaryVariables initial(const Entity& entity) const | |
501 | { | ||
502 |
6/13✓ Branch 1 taken 548 times.
✓ Branch 2 taken 83369 times.
✓ Branch 3 taken 18490 times.
✓ Branch 4 taken 10301 times.
✓ Branch 5 taken 22874 times.
✗ Branch 6 not taken.
✗ Branch 7 not taken.
✓ Branch 8 taken 72 times.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
✗ Branch 11 not taken.
✗ Branch 12 not taken.
✗ Branch 13 not taken.
|
1760549 | return asImp_().initialAtPos(entity.geometry().center()); |
503 | } | ||
504 | |||
505 | /*! | ||
506 | * \brief Evaluate the initial value for a control volume. | ||
507 | * | ||
508 | * \param globalPos The global position | ||
509 | */ | ||
510 | 1 | PrimaryVariables initialAtPos(const GlobalPosition &globalPos) const | |
511 | { | ||
512 | // Throw an exception (there is no reasonable default value | ||
513 | // for initial values) | ||
514 |
7/16✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 11 taken 1 times.
✗ Branch 12 not taken.
✓ Branch 15 taken 1 times.
✗ Branch 16 not taken.
✓ Branch 18 taken 1 times.
✗ Branch 19 not taken.
✓ Branch 21 taken 1 times.
✗ Branch 22 not taken.
✓ Branch 23 taken 1 times.
✗ Branch 24 not taken.
✗ Branch 26 not taken.
✓ Branch 27 taken 1 times.
✗ Branch 29 not taken.
✗ Branch 30 not taken.
|
11 | DUNE_THROW(Dune::InvalidStateException, |
515 | "The problem does not provide " | ||
516 | "an initial() or an initialAtPos() method."); | ||
517 | } | ||
518 | |||
519 | //! The finite volume grid geometry | ||
520 | const GridGeometry& gridGeometry() const | ||
521 |
292/2216✓ Branch 0 taken 3409100 times.
✓ Branch 1 taken 4841152 times.
✓ Branch 2 taken 267547946 times.
✓ Branch 3 taken 18089173 times.
✓ Branch 4 taken 265107285 times.
✓ Branch 5 taken 22283899 times.
✓ Branch 6 taken 259682066 times.
✓ Branch 7 taken 20620672 times.
✓ Branch 8 taken 259470458 times.
✓ Branch 9 taken 14976337 times.
✓ Branch 10 taken 4329885 times.
✓ Branch 11 taken 10432136 times.
✓ Branch 12 taken 5625003 times.
✓ Branch 13 taken 6198193 times.
✓ Branch 14 taken 6620434 times.
✓ Branch 15 taken 7489787 times.
✓ Branch 16 taken 7067570 times.
✓ Branch 17 taken 2958768 times.
✓ Branch 18 taken 11013626 times.
✓ Branch 19 taken 4946803 times.
✓ Branch 20 taken 3529859 times.
✓ Branch 21 taken 3789205 times.
✓ Branch 22 taken 5347567 times.
✓ Branch 23 taken 3229858 times.
✓ Branch 24 taken 6674165 times.
✓ Branch 25 taken 1585962 times.
✓ Branch 26 taken 6428123 times.
✓ Branch 27 taken 309377 times.
✓ Branch 28 taken 1848613 times.
✓ Branch 29 taken 7461895 times.
✓ Branch 30 taken 1178540 times.
✓ Branch 31 taken 7246959 times.
✓ Branch 32 taken 2597080 times.
✓ Branch 33 taken 429634 times.
✓ Branch 34 taken 2207093 times.
✓ Branch 35 taken 3058801 times.
✓ Branch 36 taken 1198396 times.
✓ Branch 37 taken 1564648 times.
✓ Branch 38 taken 3063206 times.
✓ Branch 39 taken 1548470 times.
✓ Branch 40 taken 440348 times.
✓ Branch 41 taken 3095328 times.
✓ Branch 42 taken 472973 times.
✓ Branch 43 taken 532023 times.
✓ Branch 44 taken 3098681 times.
✓ Branch 45 taken 783917 times.
✓ Branch 46 taken 123321 times.
✓ Branch 47 taken 11142374 times.
✓ Branch 48 taken 419763 times.
✓ Branch 49 taken 436654 times.
✓ Branch 50 taken 11097251 times.
✓ Branch 51 taken 666934 times.
✓ Branch 52 taken 396796 times.
✓ Branch 53 taken 12277658 times.
✓ Branch 54 taken 797532 times.
✓ Branch 55 taken 2744073 times.
✓ Branch 56 taken 10570743 times.
✓ Branch 57 taken 998979 times.
✓ Branch 58 taken 506204 times.
✓ Branch 59 taken 888156 times.
✓ Branch 60 taken 831337 times.
✓ Branch 61 taken 27535206 times.
✓ Branch 62 taken 1179347 times.
✓ Branch 63 taken 27761992 times.
✓ Branch 64 taken 296265 times.
✓ Branch 65 taken 626371 times.
✓ Branch 66 taken 370469 times.
✓ Branch 67 taken 587938 times.
✓ Branch 68 taken 618186 times.
✓ Branch 69 taken 688249 times.
✓ Branch 70 taken 661327 times.
✓ Branch 71 taken 5889561 times.
✓ Branch 72 taken 436084 times.
✓ Branch 73 taken 4965892 times.
✓ Branch 74 taken 1425016 times.
✓ Branch 75 taken 743455 times.
✓ Branch 76 taken 505192 times.
✓ Branch 77 taken 618944 times.
✓ Branch 78 taken 489160 times.
✓ Branch 79 taken 460140 times.
✓ Branch 80 taken 554834 times.
✓ Branch 81 taken 577967 times.
✓ Branch 82 taken 192281 times.
✓ Branch 83 taken 557372 times.
✓ Branch 84 taken 440585 times.
✓ Branch 85 taken 573119 times.
✓ Branch 86 taken 654836 times.
✓ Branch 87 taken 766521 times.
✓ Branch 88 taken 625353 times.
✓ Branch 89 taken 790519 times.
✓ Branch 90 taken 816999 times.
✓ Branch 91 taken 599171 times.
✓ Branch 92 taken 686067 times.
✓ Branch 93 taken 1122024 times.
✓ Branch 94 taken 569681 times.
✓ Branch 95 taken 478541 times.
✓ Branch 96 taken 1025730 times.
✓ Branch 97 taken 1407124 times.
✓ Branch 98 taken 261991 times.
✓ Branch 99 taken 2512146 times.
✓ Branch 100 taken 850012 times.
✓ Branch 101 taken 654667 times.
✓ Branch 102 taken 1955788 times.
✓ Branch 103 taken 1122990 times.
✓ Branch 104 taken 98314 times.
✓ Branch 105 taken 1680916 times.
✓ Branch 106 taken 560373 times.
✓ Branch 107 taken 255741 times.
✓ Branch 108 taken 1629013 times.
✓ Branch 109 taken 607279 times.
✓ Branch 110 taken 208650 times.
✓ Branch 111 taken 998456 times.
✓ Branch 112 taken 561028 times.
✓ Branch 113 taken 849358 times.
✓ Branch 114 taken 952814 times.
✓ Branch 115 taken 294439 times.
✓ Branch 116 taken 818337 times.
✓ Branch 117 taken 238511 times.
✓ Branch 118 taken 267500 times.
✓ Branch 119 taken 1138119 times.
✓ Branch 120 taken 230614 times.
✓ Branch 121 taken 479842 times.
✓ Branch 122 taken 2460251 times.
✓ Branch 123 taken 639720 times.
✓ Branch 124 taken 5238051 times.
✓ Branch 125 taken 34215802 times.
✓ Branch 126 taken 9194876 times.
✓ Branch 127 taken 54505160 times.
✓ Branch 128 taken 7897879 times.
✓ Branch 129 taken 27519786 times.
✓ Branch 130 taken 2763256 times.
✓ Branch 131 taken 7684115 times.
✓ Branch 132 taken 2446875 times.
✓ Branch 133 taken 3159183 times.
✓ Branch 134 taken 2067126 times.
✓ Branch 135 taken 3110114 times.
✓ Branch 136 taken 8880728 times.
✓ Branch 137 taken 58502433 times.
✓ Branch 138 taken 23199337 times.
✓ Branch 139 taken 331532386 times.
✓ Branch 140 taken 48222057 times.
✓ Branch 141 taken 278406616 times.
✓ Branch 142 taken 33787001 times.
✓ Branch 143 taken 4879837 times.
✓ Branch 144 taken 4151937 times.
✓ Branch 145 taken 33439678 times.
✓ Branch 146 taken 8908940 times.
✓ Branch 147 taken 51759660 times.
✓ Branch 148 taken 10355277 times.
✓ Branch 149 taken 114993583 times.
✓ Branch 150 taken 21439031 times.
✓ Branch 151 taken 97105842 times.
✓ Branch 152 taken 107835677 times.
✓ Branch 153 taken 3835688 times.
✓ Branch 154 taken 92881171 times.
✓ Branch 155 taken 17817233 times.
✓ Branch 156 taken 18201486 times.
✓ Branch 157 taken 304557442 times.
✓ Branch 158 taken 20608866 times.
✓ Branch 159 taken 303254245 times.
✓ Branch 160 taken 81516986 times.
✓ Branch 161 taken 14813200 times.
✓ Branch 162 taken 78251292 times.
✓ Branch 163 taken 1874155 times.
✓ Branch 164 taken 1276516 times.
✓ Branch 165 taken 76984997 times.
✓ Branch 166 taken 1874151 times.
✓ Branch 167 taken 76843761 times.
✓ Branch 168 taken 6122569 times.
✓ Branch 169 taken 73409874 times.
✓ Branch 170 taken 5980113 times.
✓ Branch 171 taken 73408646 times.
✓ Branch 172 taken 97 times.
✓ Branch 173 taken 115 times.
✓ Branch 174 taken 79 times.
✓ Branch 175 taken 434907 times.
✓ Branch 176 taken 104 times.
✓ Branch 177 taken 79 times.
✓ Branch 178 taken 434906 times.
✗ Branch 179 not taken.
✓ Branch 180 taken 79 times.
✓ Branch 181 taken 18 times.
✗ Branch 182 not taken.
✓ Branch 183 taken 84 times.
✓ Branch 184 taken 18 times.
✓ Branch 185 taken 5 times.
✓ Branch 186 taken 274 times.
✓ Branch 187 taken 1836 times.
✓ Branch 188 taken 195 times.
✓ Branch 189 taken 1898 times.
✓ Branch 190 taken 17 times.
✗ Branch 191 not taken.
✓ Branch 192 taken 79 times.
✓ Branch 193 taken 420 times.
✗ Branch 194 not taken.
✓ Branch 196 taken 420 times.
✓ Branch 197 taken 79 times.
✗ Branch 198 not taken.
✓ Branch 199 taken 408 times.
✓ Branch 200 taken 79 times.
✗ Branch 201 not taken.
✓ Branch 202 taken 408 times.
✓ Branch 203 taken 79 times.
✓ Branch 204 taken 10166527 times.
✓ Branch 205 taken 959689 times.
✓ Branch 206 taken 10166626 times.
✓ Branch 207 taken 959693 times.
✓ Branch 208 taken 463931 times.
✓ Branch 209 taken 9702622 times.
✓ Branch 210 taken 463915 times.
✓ Branch 211 taken 9702619 times.
✓ Branch 212 taken 11546069 times.
✓ Branch 213 taken 8506207 times.
✓ Branch 214 taken 11546065 times.
✓ Branch 215 taken 8506208 times.
✓ Branch 216 taken 1880835 times.
✓ Branch 217 taken 16678746 times.
✓ Branch 218 taken 4376350 times.
✓ Branch 219 taken 16823579 times.
✓ Branch 220 taken 8541987 times.
✓ Branch 221 taken 5153098 times.
✓ Branch 222 taken 33846526 times.
✓ Branch 223 taken 8928047 times.
✓ Branch 224 taken 32970906 times.
✓ Branch 225 taken 9634765 times.
✓ Branch 226 taken 6739938 times.
✓ Branch 227 taken 31801113 times.
✓ Branch 228 taken 27738556 times.
✓ Branch 229 taken 31633518 times.
✓ Branch 230 taken 57318856 times.
✓ Branch 231 taken 7222706 times.
✓ Branch 232 taken 32519606 times.
✓ Branch 233 taken 31476589 times.
✓ Branch 234 taken 21564992 times.
✓ Branch 235 taken 59831811 times.
✓ Branch 236 taken 47375694 times.
✓ Branch 237 taken 37215379 times.
✓ Branch 238 taken 31231602 times.
✓ Branch 239 taken 25254043 times.
✓ Branch 240 taken 12319177 times.
✓ Branch 241 taken 43289971 times.
✓ Branch 242 taken 37953493 times.
✓ Branch 243 taken 29500303 times.
✓ Branch 244 taken 29943883 times.
✓ Branch 245 taken 11412723 times.
✓ Branch 246 taken 1150525 times.
✓ Branch 247 taken 35820244 times.
✓ Branch 248 taken 2234185 times.
✓ Branch 249 taken 34995433 times.
✓ Branch 250 taken 30921278 times.
✓ Branch 251 taken 7200007 times.
✓ Branch 252 taken 30921280 times.
✓ Branch 253 taken 7200043 times.
✓ Branch 254 taken 2234182 times.
✓ Branch 255 taken 34995431 times.
✓ Branch 256 taken 891708 times.
✓ Branch 257 taken 28687060 times.
✓ Branch 258 taken 11059314 times.
✓ Branch 259 taken 335196 times.
✓ Branch 260 taken 11059278 times.
✓ Branch 261 taken 335196 times.
✓ Branch 262 taken 335194 times.
✓ Branch 263 taken 10724124 times.
✓ Branch 264 taken 335192 times.
✓ Branch 265 taken 10724158 times.
✓ Branch 266 taken 2 times.
✓ Branch 267 taken 36 times.
✓ Branch 268 taken 38 times.
✓ Branch 269 taken 2 times.
✓ Branch 270 taken 34 times.
✓ Branch 271 taken 2 times.
✗ Branch 272 not taken.
✓ Branch 273 taken 34 times.
✓ Branch 274 taken 2 times.
✓ Branch 275 taken 36 times.
✓ Branch 276 taken 34 times.
✗ Branch 277 not taken.
✓ Branch 278 taken 36 times.
✓ Branch 279 taken 34 times.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✓ Branch 282 taken 34 times.
✓ Branch 283 taken 36 times.
✗ Branch 284 not taken.
✓ Branch 285 taken 34 times.
✓ Branch 286 taken 36 times.
✗ Branch 287 not taken.
✓ Branch 288 taken 34 times.
✓ Branch 289 taken 2 times.
✗ Branch 290 not taken.
✓ Branch 291 taken 2 times.
✗ Branch 292 not taken.
✓ Branch 293 taken 2 times.
✗ Branch 294 not taken.
✓ Branch 295 taken 34 times.
✓ Branch 296 taken 2 times.
✓ Branch 297 taken 1 times.
✓ Branch 298 taken 34 times.
✓ Branch 299 taken 1 times.
✓ Branch 301 taken 1 times.
✗ Branch 302 not taken.
✓ Branch 303 taken 34 times.
✓ Branch 304 taken 1 times.
✗ Branch 305 not taken.
✓ Branch 306 taken 34 times.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✓ Branch 317 taken 1 times.
✗ Branch 318 not taken.
✓ Branch 319 taken 1 times.
✗ Branch 320 not taken.
✓ Branch 321 taken 1 times.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✓ Branch 324 taken 1 times.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✗ Branch 358 not taken.
✗ Branch 359 not taken.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✗ Branch 376 not taken.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✗ Branch 436 not taken.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 448 not taken.
✗ Branch 449 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✗ Branch 457 not taken.
✗ Branch 458 not taken.
✗ Branch 460 not taken.
✗ Branch 461 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 472 not taken.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✗ Branch 487 not taken.
✗ Branch 488 not taken.
✗ Branch 490 not taken.
✗ Branch 491 not taken.
✗ Branch 493 not taken.
✗ Branch 494 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✗ Branch 499 not taken.
✗ Branch 500 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
✗ Branch 505 not taken.
✗ Branch 506 not taken.
✗ Branch 508 not taken.
✗ Branch 509 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✗ Branch 514 not taken.
✗ Branch 515 not taken.
✗ Branch 517 not taken.
✗ Branch 518 not taken.
✗ Branch 520 not taken.
✗ Branch 521 not taken.
✗ Branch 523 not taken.
✗ Branch 524 not taken.
✗ Branch 526 not taken.
✗ Branch 527 not taken.
✗ Branch 529 not taken.
✗ Branch 530 not taken.
✗ Branch 532 not taken.
✗ Branch 533 not taken.
✗ Branch 535 not taken.
✗ Branch 536 not taken.
✗ Branch 538 not taken.
✗ Branch 539 not taken.
✗ Branch 541 not taken.
✗ Branch 542 not taken.
✗ Branch 544 not taken.
✗ Branch 545 not taken.
✗ Branch 547 not taken.
✗ Branch 548 not taken.
✗ Branch 550 not taken.
✗ Branch 551 not taken.
✗ Branch 553 not taken.
✗ Branch 554 not taken.
✗ Branch 556 not taken.
✗ Branch 557 not taken.
✗ Branch 559 not taken.
✗ Branch 560 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✗ Branch 565 not taken.
✗ Branch 566 not taken.
✗ Branch 568 not taken.
✗ Branch 569 not taken.
✗ Branch 571 not taken.
✗ Branch 572 not taken.
✗ Branch 574 not taken.
✗ Branch 575 not taken.
✗ Branch 577 not taken.
✗ Branch 578 not taken.
✗ Branch 580 not taken.
✗ Branch 581 not taken.
✗ Branch 583 not taken.
✗ Branch 584 not taken.
✗ Branch 586 not taken.
✗ Branch 587 not taken.
✗ Branch 589 not taken.
✗ Branch 590 not taken.
✗ Branch 592 not taken.
✗ Branch 593 not taken.
✗ Branch 595 not taken.
✗ Branch 596 not taken.
✗ Branch 598 not taken.
✗ Branch 599 not taken.
✗ Branch 601 not taken.
✗ Branch 602 not taken.
✗ Branch 604 not taken.
✗ Branch 605 not taken.
✗ Branch 607 not taken.
✗ Branch 608 not taken.
✗ Branch 610 not taken.
✗ Branch 611 not taken.
✗ Branch 613 not taken.
✗ Branch 614 not taken.
✗ Branch 616 not taken.
✗ Branch 617 not taken.
✗ Branch 619 not taken.
✗ Branch 620 not taken.
✗ Branch 622 not taken.
✗ Branch 623 not taken.
✗ Branch 625 not taken.
✗ Branch 626 not taken.
✗ Branch 628 not taken.
✗ Branch 629 not taken.
✗ Branch 631 not taken.
✗ Branch 632 not taken.
✗ Branch 634 not taken.
✗ Branch 635 not taken.
✗ Branch 637 not taken.
✗ Branch 638 not taken.
✗ Branch 640 not taken.
✗ Branch 641 not taken.
✗ Branch 643 not taken.
✗ Branch 644 not taken.
✗ Branch 646 not taken.
✗ Branch 647 not taken.
✗ Branch 649 not taken.
✗ Branch 650 not taken.
✗ Branch 652 not taken.
✗ Branch 653 not taken.
✗ Branch 655 not taken.
✗ Branch 656 not taken.
✗ Branch 658 not taken.
✗ Branch 659 not taken.
✗ Branch 661 not taken.
✗ Branch 662 not taken.
✗ Branch 664 not taken.
✗ Branch 665 not taken.
✗ Branch 667 not taken.
✗ Branch 668 not taken.
✗ Branch 670 not taken.
✗ Branch 671 not taken.
✗ Branch 673 not taken.
✗ Branch 674 not taken.
✗ Branch 676 not taken.
✗ Branch 677 not taken.
✗ Branch 679 not taken.
✗ Branch 680 not taken.
✗ Branch 682 not taken.
✗ Branch 683 not taken.
✗ Branch 685 not taken.
✗ Branch 686 not taken.
✗ Branch 688 not taken.
✗ Branch 689 not taken.
✗ Branch 691 not taken.
✗ Branch 692 not taken.
✗ Branch 694 not taken.
✗ Branch 695 not taken.
✗ Branch 697 not taken.
✗ Branch 698 not taken.
✗ Branch 700 not taken.
✗ Branch 701 not taken.
✗ Branch 703 not taken.
✗ Branch 704 not taken.
✗ Branch 706 not taken.
✗ Branch 707 not taken.
✗ Branch 709 not taken.
✗ Branch 710 not taken.
✗ Branch 712 not taken.
✗ Branch 713 not taken.
✗ Branch 715 not taken.
✗ Branch 716 not taken.
✗ Branch 718 not taken.
✗ Branch 719 not taken.
✗ Branch 721 not taken.
✗ Branch 722 not taken.
✗ Branch 724 not taken.
✗ Branch 725 not taken.
✗ Branch 727 not taken.
✗ Branch 728 not taken.
✗ Branch 730 not taken.
✗ Branch 731 not taken.
✗ Branch 733 not taken.
✗ Branch 734 not taken.
✗ Branch 736 not taken.
✗ Branch 737 not taken.
✗ Branch 739 not taken.
✗ Branch 740 not taken.
✗ Branch 742 not taken.
✗ Branch 743 not taken.
✗ Branch 745 not taken.
✗ Branch 746 not taken.
✗ Branch 748 not taken.
✗ Branch 749 not taken.
✗ Branch 751 not taken.
✗ Branch 752 not taken.
✗ Branch 754 not taken.
✗ Branch 755 not taken.
✗ Branch 757 not taken.
✗ Branch 758 not taken.
✗ Branch 760 not taken.
✗ Branch 761 not taken.
✗ Branch 763 not taken.
✗ Branch 764 not taken.
✗ Branch 766 not taken.
✗ Branch 767 not taken.
✗ Branch 769 not taken.
✗ Branch 770 not taken.
✗ Branch 772 not taken.
✗ Branch 773 not taken.
✗ Branch 775 not taken.
✗ Branch 776 not taken.
✗ Branch 778 not taken.
✗ Branch 779 not taken.
✗ Branch 781 not taken.
✗ Branch 782 not taken.
✗ Branch 784 not taken.
✗ Branch 785 not taken.
✗ Branch 787 not taken.
✗ Branch 788 not taken.
✗ Branch 790 not taken.
✗ Branch 791 not taken.
✗ Branch 793 not taken.
✗ Branch 794 not taken.
✗ Branch 796 not taken.
✗ Branch 797 not taken.
✗ Branch 799 not taken.
✗ Branch 800 not taken.
✗ Branch 802 not taken.
✗ Branch 803 not taken.
✗ Branch 805 not taken.
✗ Branch 806 not taken.
✗ Branch 808 not taken.
✗ Branch 809 not taken.
✗ Branch 811 not taken.
✗ Branch 812 not taken.
✗ Branch 814 not taken.
✗ Branch 815 not taken.
✗ Branch 817 not taken.
✗ Branch 818 not taken.
✗ Branch 820 not taken.
✗ Branch 821 not taken.
✗ Branch 823 not taken.
✗ Branch 824 not taken.
✗ Branch 826 not taken.
✗ Branch 827 not taken.
✗ Branch 829 not taken.
✗ Branch 830 not taken.
✗ Branch 832 not taken.
✗ Branch 833 not taken.
✗ Branch 835 not taken.
✗ Branch 836 not taken.
✗ Branch 838 not taken.
✗ Branch 839 not taken.
✗ Branch 841 not taken.
✗ Branch 842 not taken.
✗ Branch 844 not taken.
✗ Branch 845 not taken.
✗ Branch 847 not taken.
✗ Branch 848 not taken.
✗ Branch 850 not taken.
✗ Branch 851 not taken.
✗ Branch 853 not taken.
✗ Branch 854 not taken.
✗ Branch 856 not taken.
✗ Branch 857 not taken.
✗ Branch 859 not taken.
✗ Branch 860 not taken.
✗ Branch 862 not taken.
✗ Branch 863 not taken.
✗ Branch 865 not taken.
✗ Branch 866 not taken.
✗ Branch 868 not taken.
✗ Branch 869 not taken.
✗ Branch 871 not taken.
✗ Branch 872 not taken.
✗ Branch 874 not taken.
✗ Branch 875 not taken.
✗ Branch 877 not taken.
✗ Branch 878 not taken.
✗ Branch 880 not taken.
✗ Branch 881 not taken.
✗ Branch 883 not taken.
✗ Branch 884 not taken.
✗ Branch 886 not taken.
✗ Branch 887 not taken.
✗ Branch 889 not taken.
✗ Branch 890 not taken.
✗ Branch 892 not taken.
✗ Branch 893 not taken.
✗ Branch 895 not taken.
✗ Branch 896 not taken.
✗ Branch 898 not taken.
✗ Branch 899 not taken.
✗ Branch 901 not taken.
✗ Branch 902 not taken.
✗ Branch 904 not taken.
✗ Branch 905 not taken.
✗ Branch 907 not taken.
✗ Branch 908 not taken.
✗ Branch 910 not taken.
✗ Branch 911 not taken.
✗ Branch 913 not taken.
✗ Branch 914 not taken.
✗ Branch 916 not taken.
✗ Branch 917 not taken.
✗ Branch 919 not taken.
✗ Branch 920 not taken.
✗ Branch 922 not taken.
✗ Branch 923 not taken.
✗ Branch 925 not taken.
✗ Branch 926 not taken.
✗ Branch 928 not taken.
✗ Branch 929 not taken.
✗ Branch 931 not taken.
✗ Branch 932 not taken.
✗ Branch 934 not taken.
✗ Branch 935 not taken.
✗ Branch 937 not taken.
✗ Branch 938 not taken.
✗ Branch 940 not taken.
✗ Branch 941 not taken.
✗ Branch 943 not taken.
✗ Branch 944 not taken.
✗ Branch 946 not taken.
✗ Branch 947 not taken.
✗ Branch 949 not taken.
✗ Branch 950 not taken.
✗ Branch 952 not taken.
✗ Branch 953 not taken.
✗ Branch 955 not taken.
✗ Branch 956 not taken.
✗ Branch 958 not taken.
✗ Branch 959 not taken.
✗ Branch 961 not taken.
✗ Branch 962 not taken.
✗ Branch 964 not taken.
✗ Branch 965 not taken.
✗ Branch 967 not taken.
✗ Branch 968 not taken.
✗ Branch 970 not taken.
✗ Branch 971 not taken.
✗ Branch 973 not taken.
✗ Branch 974 not taken.
✗ Branch 976 not taken.
✗ Branch 977 not taken.
✗ Branch 979 not taken.
✗ Branch 980 not taken.
✗ Branch 982 not taken.
✗ Branch 983 not taken.
✗ Branch 985 not taken.
✗ Branch 986 not taken.
✗ Branch 988 not taken.
✗ Branch 989 not taken.
✗ Branch 991 not taken.
✗ Branch 992 not taken.
✗ Branch 994 not taken.
✗ Branch 995 not taken.
✗ Branch 997 not taken.
✗ Branch 998 not taken.
✗ Branch 1000 not taken.
✗ Branch 1001 not taken.
✗ Branch 1003 not taken.
✗ Branch 1004 not taken.
✗ Branch 1006 not taken.
✗ Branch 1007 not taken.
✗ Branch 1009 not taken.
✗ Branch 1010 not taken.
✗ Branch 1012 not taken.
✗ Branch 1013 not taken.
✗ Branch 1015 not taken.
✗ Branch 1016 not taken.
✗ Branch 1018 not taken.
✗ Branch 1019 not taken.
✗ Branch 1021 not taken.
✗ Branch 1022 not taken.
✗ Branch 1024 not taken.
✗ Branch 1025 not taken.
✗ Branch 1027 not taken.
✗ Branch 1028 not taken.
✗ Branch 1030 not taken.
✗ Branch 1031 not taken.
✗ Branch 1033 not taken.
✗ Branch 1034 not taken.
✗ Branch 1036 not taken.
✗ Branch 1037 not taken.
✗ Branch 1039 not taken.
✗ Branch 1040 not taken.
✗ Branch 1042 not taken.
✗ Branch 1043 not taken.
✗ Branch 1045 not taken.
✗ Branch 1046 not taken.
✗ Branch 1048 not taken.
✗ Branch 1049 not taken.
✗ Branch 1051 not taken.
✗ Branch 1052 not taken.
✗ Branch 1054 not taken.
✗ Branch 1055 not taken.
✗ Branch 1057 not taken.
✗ Branch 1058 not taken.
✗ Branch 1060 not taken.
✗ Branch 1061 not taken.
✗ Branch 1063 not taken.
✗ Branch 1064 not taken.
✗ Branch 1066 not taken.
✗ Branch 1067 not taken.
✗ Branch 1069 not taken.
✗ Branch 1070 not taken.
✗ Branch 1072 not taken.
✗ Branch 1073 not taken.
✗ Branch 1075 not taken.
✗ Branch 1076 not taken.
✗ Branch 1078 not taken.
✗ Branch 1079 not taken.
✗ Branch 1081 not taken.
✗ Branch 1082 not taken.
✗ Branch 1084 not taken.
✗ Branch 1085 not taken.
✗ Branch 1087 not taken.
✗ Branch 1088 not taken.
✗ Branch 1090 not taken.
✗ Branch 1091 not taken.
✗ Branch 1093 not taken.
✗ Branch 1094 not taken.
✗ Branch 1096 not taken.
✗ Branch 1097 not taken.
✗ Branch 1099 not taken.
✗ Branch 1100 not taken.
✗ Branch 1102 not taken.
✗ Branch 1103 not taken.
✗ Branch 1105 not taken.
✗ Branch 1106 not taken.
✗ Branch 1108 not taken.
✗ Branch 1109 not taken.
✗ Branch 1111 not taken.
✗ Branch 1112 not taken.
✗ Branch 1114 not taken.
✗ Branch 1115 not taken.
✗ Branch 1117 not taken.
✗ Branch 1118 not taken.
✗ Branch 1120 not taken.
✗ Branch 1121 not taken.
✗ Branch 1123 not taken.
✗ Branch 1124 not taken.
✗ Branch 1126 not taken.
✗ Branch 1127 not taken.
✗ Branch 1129 not taken.
✗ Branch 1130 not taken.
✗ Branch 1132 not taken.
✗ Branch 1133 not taken.
✗ Branch 1135 not taken.
✗ Branch 1136 not taken.
✗ Branch 1138 not taken.
✗ Branch 1139 not taken.
✗ Branch 1141 not taken.
✗ Branch 1142 not taken.
✗ Branch 1144 not taken.
✗ Branch 1145 not taken.
✗ Branch 1147 not taken.
✗ Branch 1148 not taken.
✗ Branch 1150 not taken.
✗ Branch 1151 not taken.
✗ Branch 1153 not taken.
✗ Branch 1154 not taken.
✗ Branch 1156 not taken.
✗ Branch 1157 not taken.
✗ Branch 1159 not taken.
✗ Branch 1160 not taken.
✗ Branch 1162 not taken.
✗ Branch 1163 not taken.
✗ Branch 1165 not taken.
✗ Branch 1166 not taken.
✗ Branch 1168 not taken.
✗ Branch 1169 not taken.
✗ Branch 1171 not taken.
✗ Branch 1172 not taken.
✗ Branch 1174 not taken.
✗ Branch 1175 not taken.
✗ Branch 1177 not taken.
✗ Branch 1178 not taken.
✗ Branch 1180 not taken.
✗ Branch 1181 not taken.
✗ Branch 1183 not taken.
✗ Branch 1184 not taken.
✗ Branch 1186 not taken.
✗ Branch 1187 not taken.
✗ Branch 1189 not taken.
✗ Branch 1190 not taken.
✗ Branch 1192 not taken.
✗ Branch 1193 not taken.
✗ Branch 1195 not taken.
✗ Branch 1196 not taken.
✗ Branch 1198 not taken.
✗ Branch 1199 not taken.
✗ Branch 1201 not taken.
✗ Branch 1202 not taken.
✗ Branch 1204 not taken.
✗ Branch 1205 not taken.
✗ Branch 1207 not taken.
✗ Branch 1208 not taken.
✗ Branch 1210 not taken.
✗ Branch 1211 not taken.
✗ Branch 1213 not taken.
✗ Branch 1214 not taken.
✗ Branch 1216 not taken.
✗ Branch 1217 not taken.
✗ Branch 1219 not taken.
✗ Branch 1220 not taken.
✗ Branch 1222 not taken.
✗ Branch 1223 not taken.
✗ Branch 1225 not taken.
✗ Branch 1226 not taken.
✗ Branch 1228 not taken.
✗ Branch 1229 not taken.
✗ Branch 1231 not taken.
✗ Branch 1232 not taken.
✗ Branch 1234 not taken.
✗ Branch 1235 not taken.
✗ Branch 1237 not taken.
✗ Branch 1238 not taken.
✗ Branch 1240 not taken.
✗ Branch 1241 not taken.
✗ Branch 1243 not taken.
✗ Branch 1244 not taken.
✗ Branch 1246 not taken.
✗ Branch 1247 not taken.
✗ Branch 1249 not taken.
✗ Branch 1250 not taken.
✗ Branch 1252 not taken.
✗ Branch 1253 not taken.
✗ Branch 1255 not taken.
✗ Branch 1256 not taken.
✗ Branch 1258 not taken.
✗ Branch 1259 not taken.
✗ Branch 1261 not taken.
✗ Branch 1262 not taken.
✗ Branch 1264 not taken.
✗ Branch 1265 not taken.
✗ Branch 1267 not taken.
✗ Branch 1268 not taken.
✗ Branch 1270 not taken.
✗ Branch 1271 not taken.
✗ Branch 1273 not taken.
✗ Branch 1274 not taken.
✗ Branch 1276 not taken.
✗ Branch 1277 not taken.
✗ Branch 1279 not taken.
✗ Branch 1280 not taken.
✗ Branch 1282 not taken.
✗ Branch 1283 not taken.
✗ Branch 1285 not taken.
✗ Branch 1286 not taken.
✗ Branch 1288 not taken.
✗ Branch 1289 not taken.
✗ Branch 1291 not taken.
✗ Branch 1292 not taken.
✗ Branch 1294 not taken.
✗ Branch 1295 not taken.
✗ Branch 1433 not taken.
✗ Branch 1434 not taken.
✗ Branch 1436 not taken.
✗ Branch 1437 not taken.
✗ Branch 1439 not taken.
✗ Branch 1440 not taken.
✗ Branch 1442 not taken.
✗ Branch 1443 not taken.
✗ Branch 1471 not taken.
✗ Branch 1472 not taken.
✗ Branch 1474 not taken.
✗ Branch 1475 not taken.
✗ Branch 1477 not taken.
✗ Branch 1478 not taken.
✗ Branch 1480 not taken.
✗ Branch 1481 not taken.
✗ Branch 1485 not taken.
✗ Branch 1486 not taken.
✗ Branch 1488 not taken.
✗ Branch 1489 not taken.
✗ Branch 1491 not taken.
✗ Branch 1492 not taken.
✗ Branch 1494 not taken.
✗ Branch 1495 not taken.
✗ Branch 1511 not taken.
✗ Branch 1512 not taken.
✗ Branch 1514 not taken.
✗ Branch 1515 not taken.
✗ Branch 1517 not taken.
✗ Branch 1518 not taken.
✗ Branch 1520 not taken.
✗ Branch 1521 not taken.
✗ Branch 1523 not taken.
✗ Branch 1524 not taken.
✗ Branch 1526 not taken.
✗ Branch 1527 not taken.
✗ Branch 1555 not taken.
✗ Branch 1556 not taken.
✗ Branch 1558 not taken.
✗ Branch 1559 not taken.
✗ Branch 1561 not taken.
✗ Branch 1562 not taken.
✗ Branch 1564 not taken.
✗ Branch 1565 not taken.
✗ Branch 1569 not taken.
✗ Branch 1570 not taken.
✗ Branch 1572 not taken.
✗ Branch 1573 not taken.
✗ Branch 1575 not taken.
✗ Branch 1576 not taken.
✗ Branch 1578 not taken.
✗ Branch 1579 not taken.
✗ Branch 1595 not taken.
✗ Branch 1596 not taken.
✗ Branch 1598 not taken.
✗ Branch 1599 not taken.
✗ Branch 1601 not taken.
✗ Branch 1602 not taken.
✗ Branch 1604 not taken.
✗ Branch 1605 not taken.
✗ Branch 1607 not taken.
✗ Branch 1608 not taken.
✗ Branch 1610 not taken.
✗ Branch 1611 not taken.
✗ Branch 1639 not taken.
✗ Branch 1640 not taken.
✗ Branch 1642 not taken.
✗ Branch 1643 not taken.
✗ Branch 1645 not taken.
✗ Branch 1646 not taken.
✗ Branch 1648 not taken.
✗ Branch 1649 not taken.
✗ Branch 1653 not taken.
✗ Branch 1654 not taken.
✗ Branch 1656 not taken.
✗ Branch 1657 not taken.
✗ Branch 1659 not taken.
✗ Branch 1660 not taken.
✗ Branch 1662 not taken.
✗ Branch 1663 not taken.
✗ Branch 1679 not taken.
✗ Branch 1680 not taken.
✗ Branch 1682 not taken.
✗ Branch 1683 not taken.
✗ Branch 1685 not taken.
✗ Branch 1686 not taken.
✗ Branch 1688 not taken.
✗ Branch 1689 not taken.
✗ Branch 1691 not taken.
✗ Branch 1692 not taken.
✗ Branch 1694 not taken.
✗ Branch 1695 not taken.
✗ Branch 1723 not taken.
✗ Branch 1724 not taken.
✗ Branch 1726 not taken.
✗ Branch 1727 not taken.
✗ Branch 1729 not taken.
✗ Branch 1730 not taken.
✗ Branch 1732 not taken.
✗ Branch 1733 not taken.
✗ Branch 1737 not taken.
✗ Branch 1738 not taken.
✗ Branch 1740 not taken.
✗ Branch 1741 not taken.
✗ Branch 1743 not taken.
✗ Branch 1744 not taken.
✗ Branch 1746 not taken.
✗ Branch 1747 not taken.
✗ Branch 1763 not taken.
✗ Branch 1764 not taken.
✗ Branch 1766 not taken.
✗ Branch 1767 not taken.
✗ Branch 1769 not taken.
✗ Branch 1770 not taken.
✗ Branch 1772 not taken.
✗ Branch 1773 not taken.
✗ Branch 1775 not taken.
✗ Branch 1776 not taken.
✗ Branch 1778 not taken.
✗ Branch 1779 not taken.
✗ Branch 1807 not taken.
✗ Branch 1808 not taken.
✗ Branch 1810 not taken.
✗ Branch 1811 not taken.
✗ Branch 1813 not taken.
✗ Branch 1814 not taken.
✗ Branch 1816 not taken.
✗ Branch 1817 not taken.
✗ Branch 1821 not taken.
✗ Branch 1822 not taken.
✗ Branch 1824 not taken.
✗ Branch 1825 not taken.
✗ Branch 1827 not taken.
✗ Branch 1828 not taken.
✗ Branch 1830 not taken.
✗ Branch 1831 not taken.
✗ Branch 1847 not taken.
✗ Branch 1848 not taken.
✗ Branch 1850 not taken.
✗ Branch 1851 not taken.
✗ Branch 1853 not taken.
✗ Branch 1854 not taken.
✗ Branch 1856 not taken.
✗ Branch 1857 not taken.
✗ Branch 1859 not taken.
✗ Branch 1860 not taken.
✗ Branch 1862 not taken.
✗ Branch 1863 not taken.
✗ Branch 1891 not taken.
✗ Branch 1892 not taken.
✗ Branch 1894 not taken.
✗ Branch 1895 not taken.
✗ Branch 1897 not taken.
✗ Branch 1898 not taken.
✗ Branch 1900 not taken.
✗ Branch 1901 not taken.
✗ Branch 1905 not taken.
✗ Branch 1906 not taken.
✗ Branch 1908 not taken.
✗ Branch 1909 not taken.
✗ Branch 1911 not taken.
✗ Branch 1912 not taken.
✗ Branch 1914 not taken.
✗ Branch 1915 not taken.
✗ Branch 1931 not taken.
✗ Branch 1932 not taken.
✗ Branch 1934 not taken.
✗ Branch 1935 not taken.
✗ Branch 1937 not taken.
✗ Branch 1938 not taken.
✗ Branch 1940 not taken.
✗ Branch 1941 not taken.
✗ Branch 1943 not taken.
✗ Branch 1944 not taken.
✗ Branch 1946 not taken.
✗ Branch 1947 not taken.
✗ Branch 1975 not taken.
✗ Branch 1976 not taken.
✗ Branch 1978 not taken.
✗ Branch 1979 not taken.
✗ Branch 1981 not taken.
✗ Branch 1982 not taken.
✗ Branch 1984 not taken.
✗ Branch 1985 not taken.
✗ Branch 1989 not taken.
✗ Branch 1990 not taken.
✗ Branch 1992 not taken.
✗ Branch 1993 not taken.
✗ Branch 1995 not taken.
✗ Branch 1996 not taken.
✗ Branch 1998 not taken.
✗ Branch 1999 not taken.
✗ Branch 2015 not taken.
✗ Branch 2016 not taken.
✗ Branch 2018 not taken.
✗ Branch 2019 not taken.
✗ Branch 2021 not taken.
✗ Branch 2022 not taken.
✗ Branch 2024 not taken.
✗ Branch 2025 not taken.
✗ Branch 2027 not taken.
✗ Branch 2028 not taken.
✗ Branch 2030 not taken.
✗ Branch 2031 not taken.
✗ Branch 2059 not taken.
✗ Branch 2060 not taken.
✗ Branch 2062 not taken.
✗ Branch 2063 not taken.
✗ Branch 2065 not taken.
✗ Branch 2066 not taken.
✗ Branch 2068 not taken.
✗ Branch 2069 not taken.
✗ Branch 2073 not taken.
✗ Branch 2074 not taken.
✗ Branch 2076 not taken.
✗ Branch 2077 not taken.
✗ Branch 2079 not taken.
✗ Branch 2080 not taken.
✗ Branch 2082 not taken.
✗ Branch 2083 not taken.
✗ Branch 2099 not taken.
✗ Branch 2100 not taken.
✗ Branch 2102 not taken.
✗ Branch 2103 not taken.
✗ Branch 2105 not taken.
✗ Branch 2106 not taken.
✗ Branch 2108 not taken.
✗ Branch 2109 not taken.
✗ Branch 2111 not taken.
✗ Branch 2112 not taken.
✗ Branch 2114 not taken.
✗ Branch 2115 not taken.
✗ Branch 2143 not taken.
✗ Branch 2144 not taken.
✗ Branch 2146 not taken.
✗ Branch 2147 not taken.
✗ Branch 2149 not taken.
✗ Branch 2150 not taken.
✗ Branch 2152 not taken.
✗ Branch 2153 not taken.
✗ Branch 2157 not taken.
✗ Branch 2158 not taken.
✗ Branch 2160 not taken.
✗ Branch 2161 not taken.
✗ Branch 2163 not taken.
✗ Branch 2164 not taken.
✗ Branch 2166 not taken.
✗ Branch 2167 not taken.
✗ Branch 2183 not taken.
✗ Branch 2184 not taken.
✗ Branch 2186 not taken.
✗ Branch 2187 not taken.
✗ Branch 2189 not taken.
✗ Branch 2190 not taken.
✗ Branch 2192 not taken.
✗ Branch 2193 not taken.
✗ Branch 2195 not taken.
✗ Branch 2196 not taken.
✗ Branch 2198 not taken.
✗ Branch 2199 not taken.
✗ Branch 2201 not taken.
✗ Branch 2202 not taken.
✗ Branch 2204 not taken.
✗ Branch 2205 not taken.
✗ Branch 2207 not taken.
✗ Branch 2208 not taken.
✗ Branch 2210 not taken.
✗ Branch 2211 not taken.
✗ Branch 2213 not taken.
✗ Branch 2214 not taken.
✗ Branch 2216 not taken.
✗ Branch 2217 not taken.
✗ Branch 2245 not taken.
✗ Branch 2246 not taken.
✗ Branch 2248 not taken.
✗ Branch 2249 not taken.
✗ Branch 2251 not taken.
✗ Branch 2252 not taken.
✗ Branch 2254 not taken.
✗ Branch 2255 not taken.
✗ Branch 2259 not taken.
✗ Branch 2260 not taken.
✗ Branch 2262 not taken.
✗ Branch 2263 not taken.
✗ Branch 2265 not taken.
✗ Branch 2266 not taken.
✗ Branch 2268 not taken.
✗ Branch 2269 not taken.
✗ Branch 2285 not taken.
✗ Branch 2286 not taken.
✗ Branch 2288 not taken.
✗ Branch 2289 not taken.
✗ Branch 2291 not taken.
✗ Branch 2292 not taken.
✗ Branch 2294 not taken.
✗ Branch 2295 not taken.
✗ Branch 2297 not taken.
✗ Branch 2298 not taken.
✗ Branch 2300 not taken.
✗ Branch 2301 not taken.
✗ Branch 2303 not taken.
✗ Branch 2304 not taken.
✗ Branch 2306 not taken.
✗ Branch 2307 not taken.
✗ Branch 2309 not taken.
✗ Branch 2310 not taken.
✗ Branch 2312 not taken.
✗ Branch 2313 not taken.
✗ Branch 2315 not taken.
✗ Branch 2316 not taken.
✗ Branch 2318 not taken.
✗ Branch 2319 not taken.
✗ Branch 2347 not taken.
✗ Branch 2348 not taken.
✗ Branch 2350 not taken.
✗ Branch 2351 not taken.
✗ Branch 2353 not taken.
✗ Branch 2354 not taken.
✗ Branch 2356 not taken.
✗ Branch 2357 not taken.
✗ Branch 2361 not taken.
✗ Branch 2362 not taken.
✗ Branch 2364 not taken.
✗ Branch 2365 not taken.
✗ Branch 2367 not taken.
✗ Branch 2368 not taken.
✗ Branch 2370 not taken.
✗ Branch 2371 not taken.
✗ Branch 2387 not taken.
✗ Branch 2388 not taken.
✗ Branch 2390 not taken.
✗ Branch 2391 not taken.
✗ Branch 2393 not taken.
✗ Branch 2394 not taken.
✗ Branch 2396 not taken.
✗ Branch 2397 not taken.
✗ Branch 2399 not taken.
✗ Branch 2400 not taken.
✗ Branch 2402 not taken.
✗ Branch 2403 not taken.
✗ Branch 2405 not taken.
✗ Branch 2406 not taken.
✗ Branch 2408 not taken.
✗ Branch 2409 not taken.
✗ Branch 2411 not taken.
✗ Branch 2412 not taken.
✗ Branch 2414 not taken.
✗ Branch 2415 not taken.
✗ Branch 2417 not taken.
✗ Branch 2418 not taken.
✗ Branch 2420 not taken.
✗ Branch 2421 not taken.
✗ Branch 2449 not taken.
✗ Branch 2450 not taken.
✗ Branch 2452 not taken.
✗ Branch 2453 not taken.
✗ Branch 2455 not taken.
✗ Branch 2456 not taken.
✗ Branch 2458 not taken.
✗ Branch 2459 not taken.
✗ Branch 2463 not taken.
✗ Branch 2464 not taken.
✗ Branch 2466 not taken.
✗ Branch 2467 not taken.
✗ Branch 2469 not taken.
✗ Branch 2470 not taken.
✗ Branch 2472 not taken.
✗ Branch 2473 not taken.
✗ Branch 2489 not taken.
✗ Branch 2490 not taken.
✗ Branch 2492 not taken.
✗ Branch 2493 not taken.
✗ Branch 2495 not taken.
✗ Branch 2496 not taken.
✗ Branch 2498 not taken.
✗ Branch 2499 not taken.
✗ Branch 2501 not taken.
✗ Branch 2502 not taken.
✗ Branch 2504 not taken.
✗ Branch 2505 not taken.
✗ Branch 2507 not taken.
✗ Branch 2508 not taken.
✗ Branch 2510 not taken.
✗ Branch 2511 not taken.
✗ Branch 2513 not taken.
✗ Branch 2514 not taken.
✗ Branch 2516 not taken.
✗ Branch 2517 not taken.
✗ Branch 2519 not taken.
✗ Branch 2520 not taken.
✗ Branch 2522 not taken.
✗ Branch 2523 not taken.
✗ Branch 2551 not taken.
✗ Branch 2552 not taken.
✗ Branch 2554 not taken.
✗ Branch 2555 not taken.
✗ Branch 2557 not taken.
✗ Branch 2558 not taken.
✗ Branch 2560 not taken.
✗ Branch 2561 not taken.
✗ Branch 2565 not taken.
✗ Branch 2566 not taken.
✗ Branch 2568 not taken.
✗ Branch 2569 not taken.
✗ Branch 2571 not taken.
✗ Branch 2572 not taken.
✗ Branch 2574 not taken.
✗ Branch 2575 not taken.
✗ Branch 2591 not taken.
✗ Branch 2592 not taken.
✗ Branch 2594 not taken.
✗ Branch 2595 not taken.
✗ Branch 2597 not taken.
✗ Branch 2598 not taken.
✗ Branch 2600 not taken.
✗ Branch 2601 not taken.
✗ Branch 2603 not taken.
✗ Branch 2604 not taken.
✗ Branch 2606 not taken.
✗ Branch 2607 not taken.
✗ Branch 2635 not taken.
✗ Branch 2636 not taken.
✗ Branch 2638 not taken.
✗ Branch 2639 not taken.
✗ Branch 2641 not taken.
✗ Branch 2642 not taken.
✗ Branch 2644 not taken.
✗ Branch 2645 not taken.
✗ Branch 2649 not taken.
✗ Branch 2650 not taken.
✗ Branch 2652 not taken.
✗ Branch 2653 not taken.
✗ Branch 2655 not taken.
✗ Branch 2656 not taken.
✗ Branch 2658 not taken.
✗ Branch 2659 not taken.
✗ Branch 2675 not taken.
✗ Branch 2676 not taken.
✗ Branch 2678 not taken.
✗ Branch 2679 not taken.
✗ Branch 2681 not taken.
✗ Branch 2682 not taken.
✗ Branch 2684 not taken.
✗ Branch 2685 not taken.
✗ Branch 2687 not taken.
✗ Branch 2688 not taken.
✗ Branch 2690 not taken.
✗ Branch 2691 not taken.
✗ Branch 2719 not taken.
✗ Branch 2720 not taken.
✗ Branch 2722 not taken.
✗ Branch 2723 not taken.
✗ Branch 2725 not taken.
✗ Branch 2726 not taken.
✗ Branch 2728 not taken.
✗ Branch 2729 not taken.
✗ Branch 2733 not taken.
✗ Branch 2734 not taken.
✗ Branch 2736 not taken.
✗ Branch 2737 not taken.
✗ Branch 2739 not taken.
✗ Branch 2740 not taken.
✗ Branch 2742 not taken.
✗ Branch 2743 not taken.
✗ Branch 2759 not taken.
✗ Branch 2760 not taken.
✗ Branch 2762 not taken.
✗ Branch 2763 not taken.
✗ Branch 2765 not taken.
✗ Branch 2766 not taken.
✗ Branch 2768 not taken.
✗ Branch 2769 not taken.
✗ Branch 2771 not taken.
✗ Branch 2772 not taken.
✗ Branch 2774 not taken.
✗ Branch 2775 not taken.
✗ Branch 2803 not taken.
✗ Branch 2804 not taken.
✗ Branch 2806 not taken.
✗ Branch 2807 not taken.
✗ Branch 2809 not taken.
✗ Branch 2810 not taken.
✗ Branch 2812 not taken.
✗ Branch 2813 not taken.
✗ Branch 2817 not taken.
✗ Branch 2818 not taken.
✗ Branch 2820 not taken.
✗ Branch 2821 not taken.
✗ Branch 2823 not taken.
✗ Branch 2824 not taken.
✗ Branch 2826 not taken.
✗ Branch 2827 not taken.
✗ Branch 2843 not taken.
✗ Branch 2844 not taken.
✗ Branch 2846 not taken.
✗ Branch 2847 not taken.
✗ Branch 2851 not taken.
✗ Branch 2852 not taken.
✗ Branch 2854 not taken.
✗ Branch 2855 not taken.
✗ Branch 2857 not taken.
✗ Branch 2858 not taken.
✗ Branch 2860 not taken.
✗ Branch 2861 not taken.
✗ Branch 2889 not taken.
✗ Branch 2890 not taken.
✗ Branch 2892 not taken.
✗ Branch 2893 not taken.
✗ Branch 2895 not taken.
✗ Branch 2896 not taken.
✗ Branch 2898 not taken.
✗ Branch 2899 not taken.
✗ Branch 2903 not taken.
✗ Branch 2904 not taken.
✗ Branch 2906 not taken.
✗ Branch 2907 not taken.
✗ Branch 2909 not taken.
✗ Branch 2910 not taken.
✗ Branch 2912 not taken.
✗ Branch 2913 not taken.
✗ Branch 2929 not taken.
✗ Branch 2930 not taken.
✗ Branch 2932 not taken.
✗ Branch 2933 not taken.
✗ Branch 2935 not taken.
✗ Branch 2936 not taken.
✗ Branch 2938 not taken.
✗ Branch 2939 not taken.
✗ Branch 2941 not taken.
✗ Branch 2942 not taken.
✗ Branch 2944 not taken.
✗ Branch 2945 not taken.
✗ Branch 2947 not taken.
✗ Branch 2948 not taken.
✗ Branch 2950 not taken.
✗ Branch 2951 not taken.
✗ Branch 2955 not taken.
✗ Branch 2956 not taken.
✗ Branch 2958 not taken.
✗ Branch 2959 not taken.
✗ Branch 2961 not taken.
✗ Branch 2962 not taken.
✗ Branch 2964 not taken.
✗ Branch 2965 not taken.
✗ Branch 2993 not taken.
✗ Branch 2994 not taken.
✗ Branch 2996 not taken.
✗ Branch 2997 not taken.
✗ Branch 2999 not taken.
✗ Branch 3000 not taken.
✗ Branch 3002 not taken.
✗ Branch 3003 not taken.
✗ Branch 3007 not taken.
✗ Branch 3008 not taken.
✗ Branch 3010 not taken.
✗ Branch 3011 not taken.
✗ Branch 3013 not taken.
✗ Branch 3014 not taken.
✗ Branch 3016 not taken.
✗ Branch 3017 not taken.
✗ Branch 3033 not taken.
✗ Branch 3034 not taken.
✗ Branch 3036 not taken.
✗ Branch 3037 not taken.
✗ Branch 3039 not taken.
✗ Branch 3040 not taken.
✗ Branch 3042 not taken.
✗ Branch 3043 not taken.
✗ Branch 3045 not taken.
✗ Branch 3046 not taken.
✗ Branch 3048 not taken.
✗ Branch 3049 not taken.
✗ Branch 3051 not taken.
✗ Branch 3052 not taken.
✗ Branch 3054 not taken.
✗ Branch 3055 not taken.
✗ Branch 3059 not taken.
✗ Branch 3060 not taken.
✗ Branch 3062 not taken.
✗ Branch 3063 not taken.
✗ Branch 3065 not taken.
✗ Branch 3066 not taken.
✗ Branch 3068 not taken.
✗ Branch 3069 not taken.
✗ Branch 3097 not taken.
✗ Branch 3098 not taken.
✗ Branch 3100 not taken.
✗ Branch 3101 not taken.
✗ Branch 3103 not taken.
✗ Branch 3104 not taken.
✗ Branch 3106 not taken.
✗ Branch 3107 not taken.
✗ Branch 3111 not taken.
✗ Branch 3112 not taken.
✗ Branch 3114 not taken.
✗ Branch 3115 not taken.
✗ Branch 3117 not taken.
✗ Branch 3118 not taken.
✗ Branch 3120 not taken.
✗ Branch 3121 not taken.
✗ Branch 3137 not taken.
✗ Branch 3138 not taken.
✗ Branch 3140 not taken.
✗ Branch 3141 not taken.
✗ Branch 3143 not taken.
✗ Branch 3144 not taken.
✗ Branch 3146 not taken.
✗ Branch 3147 not taken.
✗ Branch 3149 not taken.
✗ Branch 3150 not taken.
✗ Branch 3152 not taken.
✗ Branch 3153 not taken.
✗ Branch 3155 not taken.
✗ Branch 3156 not taken.
✗ Branch 3158 not taken.
✗ Branch 3159 not taken.
✗ Branch 3163 not taken.
✗ Branch 3164 not taken.
✗ Branch 3166 not taken.
✗ Branch 3167 not taken.
✗ Branch 3169 not taken.
✗ Branch 3170 not taken.
✗ Branch 3172 not taken.
✗ Branch 3173 not taken.
✗ Branch 3201 not taken.
✗ Branch 3202 not taken.
✗ Branch 3204 not taken.
✗ Branch 3205 not taken.
✗ Branch 3207 not taken.
✗ Branch 3208 not taken.
✗ Branch 3210 not taken.
✗ Branch 3211 not taken.
✗ Branch 3215 not taken.
✗ Branch 3216 not taken.
✗ Branch 3218 not taken.
✗ Branch 3219 not taken.
✗ Branch 3221 not taken.
✗ Branch 3222 not taken.
✗ Branch 3224 not taken.
✗ Branch 3225 not taken.
✗ Branch 3241 not taken.
✗ Branch 3242 not taken.
✗ Branch 3244 not taken.
✗ Branch 3245 not taken.
✗ Branch 3247 not taken.
✗ Branch 3248 not taken.
✗ Branch 3250 not taken.
✗ Branch 3251 not taken.
✗ Branch 3253 not taken.
✗ Branch 3254 not taken.
✗ Branch 3256 not taken.
✗ Branch 3257 not taken.
✗ Branch 3259 not taken.
✗ Branch 3260 not taken.
✗ Branch 3262 not taken.
✗ Branch 3263 not taken.
✗ Branch 3283 not taken.
✗ Branch 3284 not taken.
✗ Branch 3286 not taken.
✗ Branch 3287 not taken.
✗ Branch 3289 not taken.
✗ Branch 3290 not taken.
✗ Branch 3292 not taken.
✗ Branch 3293 not taken.
✗ Branch 3295 not taken.
✗ Branch 3296 not taken.
✗ Branch 3298 not taken.
✗ Branch 3299 not taken.
✗ Branch 3301 not taken.
✗ Branch 3302 not taken.
✗ Branch 3304 not taken.
✗ Branch 3305 not taken.
✗ Branch 3307 not taken.
✗ Branch 3308 not taken.
✗ Branch 3310 not taken.
✗ Branch 3311 not taken.
✗ Branch 3313 not taken.
✗ Branch 3314 not taken.
✗ Branch 3316 not taken.
✗ Branch 3317 not taken.
✗ Branch 3319 not taken.
✗ Branch 3320 not taken.
✗ Branch 3322 not taken.
✗ Branch 3323 not taken.
✗ Branch 3329 not taken.
✗ Branch 3330 not taken.
✗ Branch 3332 not taken.
✗ Branch 3333 not taken.
✗ Branch 3337 not taken.
✗ Branch 3338 not taken.
✗ Branch 3340 not taken.
✗ Branch 3341 not taken.
✗ Branch 3345 not taken.
✗ Branch 3346 not taken.
✗ Branch 3348 not taken.
✗ Branch 3349 not taken.
✗ Branch 3351 not taken.
✗ Branch 3352 not taken.
✗ Branch 3354 not taken.
✗ Branch 3355 not taken.
✗ Branch 3361 not taken.
✗ Branch 3362 not taken.
✗ Branch 3364 not taken.
✗ Branch 3365 not taken.
✗ Branch 3367 not taken.
✗ Branch 3368 not taken.
✗ Branch 3370 not taken.
✗ Branch 3371 not taken.
✗ Branch 3373 not taken.
✗ Branch 3374 not taken.
✗ Branch 3376 not taken.
✗ Branch 3377 not taken.
✗ Branch 3379 not taken.
✗ Branch 3380 not taken.
✗ Branch 3382 not taken.
✗ Branch 3383 not taken.
✗ Branch 3385 not taken.
✗ Branch 3386 not taken.
✗ Branch 3388 not taken.
✗ Branch 3389 not taken.
✗ Branch 3391 not taken.
✗ Branch 3392 not taken.
✗ Branch 3394 not taken.
✗ Branch 3395 not taken.
✗ Branch 3397 not taken.
✗ Branch 3398 not taken.
✗ Branch 3400 not taken.
✗ Branch 3401 not taken.
✗ Branch 3407 not taken.
✗ Branch 3408 not taken.
✗ Branch 3410 not taken.
✗ Branch 3411 not taken.
✗ Branch 3415 not taken.
✗ Branch 3416 not taken.
✗ Branch 3418 not taken.
✗ Branch 3419 not taken.
✗ Branch 3423 not taken.
✗ Branch 3424 not taken.
✗ Branch 3426 not taken.
✗ Branch 3427 not taken.
✗ Branch 3429 not taken.
✗ Branch 3430 not taken.
✗ Branch 3432 not taken.
✗ Branch 3433 not taken.
✗ Branch 3439 not taken.
✗ Branch 3440 not taken.
✗ Branch 3442 not taken.
✗ Branch 3443 not taken.
✗ Branch 3445 not taken.
✗ Branch 3446 not taken.
✗ Branch 3448 not taken.
✗ Branch 3449 not taken.
✗ Branch 3451 not taken.
✗ Branch 3452 not taken.
✗ Branch 3454 not taken.
✗ Branch 3455 not taken.
✗ Branch 3457 not taken.
✗ Branch 3458 not taken.
✗ Branch 3460 not taken.
✗ Branch 3461 not taken.
✗ Branch 3463 not taken.
✗ Branch 3464 not taken.
✗ Branch 3466 not taken.
✗ Branch 3467 not taken.
✗ Branch 3469 not taken.
✗ Branch 3470 not taken.
✗ Branch 3472 not taken.
✗ Branch 3473 not taken.
✗ Branch 3475 not taken.
✗ Branch 3476 not taken.
✗ Branch 3478 not taken.
✗ Branch 3479 not taken.
✗ Branch 3485 not taken.
✗ Branch 3486 not taken.
✗ Branch 3488 not taken.
✗ Branch 3489 not taken.
✗ Branch 3493 not taken.
✗ Branch 3494 not taken.
✗ Branch 3496 not taken.
✗ Branch 3497 not taken.
✗ Branch 3501 not taken.
✗ Branch 3502 not taken.
✗ Branch 3504 not taken.
✗ Branch 3505 not taken.
✗ Branch 3507 not taken.
✗ Branch 3508 not taken.
✗ Branch 3510 not taken.
✗ Branch 3511 not taken.
✗ Branch 3517 not taken.
✗ Branch 3518 not taken.
✗ Branch 3520 not taken.
✗ Branch 3521 not taken.
✗ Branch 3523 not taken.
✗ Branch 3524 not taken.
✗ Branch 3526 not taken.
✗ Branch 3527 not taken.
✗ Branch 3529 not taken.
✗ Branch 3530 not taken.
✗ Branch 3532 not taken.
✗ Branch 3533 not taken.
✗ Branch 3535 not taken.
✗ Branch 3536 not taken.
✗ Branch 3538 not taken.
✗ Branch 3539 not taken.
✗ Branch 3541 not taken.
✗ Branch 3542 not taken.
✗ Branch 3544 not taken.
✗ Branch 3545 not taken.
✗ Branch 3547 not taken.
✗ Branch 3548 not taken.
✗ Branch 3550 not taken.
✗ Branch 3551 not taken.
✗ Branch 3553 not taken.
✗ Branch 3554 not taken.
✗ Branch 3556 not taken.
✗ Branch 3557 not taken.
✗ Branch 3563 not taken.
✗ Branch 3564 not taken.
✗ Branch 3566 not taken.
✗ Branch 3567 not taken.
✗ Branch 3571 not taken.
✗ Branch 3572 not taken.
✗ Branch 3574 not taken.
✗ Branch 3575 not taken.
✗ Branch 3579 not taken.
✗ Branch 3580 not taken.
✗ Branch 3582 not taken.
✗ Branch 3583 not taken.
✗ Branch 3585 not taken.
✗ Branch 3586 not taken.
✗ Branch 3588 not taken.
✗ Branch 3589 not taken.
✗ Branch 3593 not taken.
✗ Branch 3594 not taken.
✗ Branch 3596 not taken.
✗ Branch 3597 not taken.
✗ Branch 3599 not taken.
✗ Branch 3600 not taken.
✗ Branch 3602 not taken.
✗ Branch 3603 not taken.
✗ Branch 3605 not taken.
✗ Branch 3606 not taken.
✗ Branch 3608 not taken.
✗ Branch 3609 not taken.
✗ Branch 3625 not taken.
✗ Branch 3626 not taken.
✗ Branch 3628 not taken.
✗ Branch 3629 not taken.
✗ Branch 3631 not taken.
✗ Branch 3632 not taken.
✗ Branch 3634 not taken.
✗ Branch 3635 not taken.
✗ Branch 3637 not taken.
✗ Branch 3638 not taken.
✗ Branch 3640 not taken.
✗ Branch 3641 not taken.
✗ Branch 3657 not taken.
✗ Branch 3658 not taken.
✗ Branch 3660 not taken.
✗ Branch 3661 not taken.
✗ Branch 3663 not taken.
✗ Branch 3664 not taken.
✗ Branch 3666 not taken.
✗ Branch 3667 not taken.
✗ Branch 3669 not taken.
✗ Branch 3670 not taken.
✗ Branch 3672 not taken.
✗ Branch 3673 not taken.
✗ Branch 3689 not taken.
✗ Branch 3690 not taken.
✗ Branch 3692 not taken.
✗ Branch 3693 not taken.
✗ Branch 3695 not taken.
✗ Branch 3696 not taken.
✗ Branch 3698 not taken.
✗ Branch 3699 not taken.
✗ Branch 3701 not taken.
✗ Branch 3702 not taken.
✗ Branch 3704 not taken.
✗ Branch 3705 not taken.
✗ Branch 3721 not taken.
✗ Branch 3722 not taken.
✗ Branch 3724 not taken.
✗ Branch 3725 not taken.
✗ Branch 3727 not taken.
✗ Branch 3728 not taken.
✗ Branch 3730 not taken.
✗ Branch 3731 not taken.
✗ Branch 3741 not taken.
✗ Branch 3742 not taken.
✗ Branch 3744 not taken.
✗ Branch 3745 not taken.
✗ Branch 3747 not taken.
✗ Branch 3748 not taken.
✗ Branch 3750 not taken.
✗ Branch 3751 not taken.
✗ Branch 3761 not taken.
✗ Branch 3762 not taken.
✗ Branch 3764 not taken.
✗ Branch 3765 not taken.
✗ Branch 3767 not taken.
✗ Branch 3768 not taken.
✗ Branch 3770 not taken.
✗ Branch 3771 not taken.
✗ Branch 3781 not taken.
✗ Branch 3782 not taken.
✗ Branch 3784 not taken.
✗ Branch 3785 not taken.
✗ Branch 3787 not taken.
✗ Branch 3788 not taken.
✗ Branch 3790 not taken.
✗ Branch 3791 not taken.
✗ Branch 3801 not taken.
✗ Branch 3802 not taken.
✗ Branch 3804 not taken.
✗ Branch 3805 not taken.
✗ Branch 3807 not taken.
✗ Branch 3808 not taken.
✗ Branch 3810 not taken.
✗ Branch 3811 not taken.
✗ Branch 3813 not taken.
✗ Branch 3814 not taken.
✗ Branch 3816 not taken.
✗ Branch 3817 not taken.
✗ Branch 3823 not taken.
✗ Branch 3824 not taken.
✗ Branch 3826 not taken.
✗ Branch 3827 not taken.
✗ Branch 3831 not taken.
✗ Branch 3832 not taken.
✗ Branch 3834 not taken.
✗ Branch 3835 not taken.
✗ Branch 3839 not taken.
✗ Branch 3840 not taken.
✗ Branch 3842 not taken.
✗ Branch 3843 not taken.
✗ Branch 3857 not taken.
✗ Branch 3858 not taken.
✗ Branch 3860 not taken.
✗ Branch 3861 not taken.
✗ Branch 3863 not taken.
✗ Branch 3864 not taken.
✗ Branch 3866 not taken.
✗ Branch 3867 not taken.
✗ Branch 3869 not taken.
✗ Branch 3870 not taken.
✗ Branch 3872 not taken.
✗ Branch 3873 not taken.
✗ Branch 3879 not taken.
✗ Branch 3880 not taken.
✗ Branch 3882 not taken.
✗ Branch 3883 not taken.
✗ Branch 3887 not taken.
✗ Branch 3888 not taken.
✗ Branch 3890 not taken.
✗ Branch 3891 not taken.
✗ Branch 3895 not taken.
✗ Branch 3896 not taken.
✗ Branch 3898 not taken.
✗ Branch 3899 not taken.
✗ Branch 3913 not taken.
✗ Branch 3914 not taken.
✗ Branch 3916 not taken.
✗ Branch 3917 not taken.
✗ Branch 3919 not taken.
✗ Branch 3920 not taken.
✗ Branch 3922 not taken.
✗ Branch 3923 not taken.
✗ Branch 3925 not taken.
✗ Branch 3926 not taken.
✗ Branch 3928 not taken.
✗ Branch 3929 not taken.
✗ Branch 3935 not taken.
✗ Branch 3936 not taken.
✗ Branch 3938 not taken.
✗ Branch 3939 not taken.
✗ Branch 3943 not taken.
✗ Branch 3944 not taken.
✗ Branch 3946 not taken.
✗ Branch 3947 not taken.
✗ Branch 3951 not taken.
✗ Branch 3952 not taken.
✗ Branch 3954 not taken.
✗ Branch 3955 not taken.
✗ Branch 3969 not taken.
✗ Branch 3970 not taken.
✗ Branch 3972 not taken.
✗ Branch 3973 not taken.
✗ Branch 3975 not taken.
✗ Branch 3976 not taken.
✗ Branch 3978 not taken.
✗ Branch 3979 not taken.
✗ Branch 3981 not taken.
✗ Branch 3982 not taken.
✗ Branch 3984 not taken.
✗ Branch 3985 not taken.
✗ Branch 3991 not taken.
✗ Branch 3992 not taken.
✗ Branch 3994 not taken.
✗ Branch 3995 not taken.
✗ Branch 3999 not taken.
✗ Branch 4000 not taken.
✗ Branch 4002 not taken.
✗ Branch 4003 not taken.
✗ Branch 4007 not taken.
✗ Branch 4008 not taken.
✗ Branch 4010 not taken.
✗ Branch 4011 not taken.
✗ Branch 4025 not taken.
✗ Branch 4026 not taken.
✗ Branch 4028 not taken.
✗ Branch 4029 not taken.
✗ Branch 4031 not taken.
✗ Branch 4032 not taken.
✗ Branch 4034 not taken.
✗ Branch 4035 not taken.
✗ Branch 4037 not taken.
✗ Branch 4038 not taken.
✗ Branch 4040 not taken.
✗ Branch 4041 not taken.
✗ Branch 4053 not taken.
✗ Branch 4054 not taken.
✗ Branch 4056 not taken.
✗ Branch 4057 not taken.
✗ Branch 4059 not taken.
✗ Branch 4060 not taken.
✗ Branch 4062 not taken.
✗ Branch 4063 not taken.
✗ Branch 4065 not taken.
✗ Branch 4066 not taken.
✗ Branch 4068 not taken.
✗ Branch 4069 not taken.
✗ Branch 4081 not taken.
✗ Branch 4082 not taken.
✗ Branch 4084 not taken.
✗ Branch 4085 not taken.
✗ Branch 4087 not taken.
✗ Branch 4088 not taken.
✗ Branch 4090 not taken.
✗ Branch 4091 not taken.
✗ Branch 4093 not taken.
✗ Branch 4094 not taken.
✗ Branch 4096 not taken.
✗ Branch 4097 not taken.
✗ Branch 4109 not taken.
✗ Branch 4110 not taken.
✗ Branch 4112 not taken.
✗ Branch 4113 not taken.
✗ Branch 4115 not taken.
✗ Branch 4116 not taken.
✗ Branch 4118 not taken.
✗ Branch 4119 not taken.
✗ Branch 4121 not taken.
✗ Branch 4122 not taken.
✗ Branch 4124 not taken.
✗ Branch 4125 not taken.
✗ Branch 4152 not taken.
✗ Branch 4153 not taken.
✗ Branch 4154 not taken.
✗ Branch 4155 not taken.
✗ Branch 4157 not taken.
✗ Branch 4158 not taken.
✗ Branch 4160 not taken.
✗ Branch 4161 not taken.
✗ Branch 4162 not taken.
✗ Branch 4163 not taken.
✗ Branch 4164 not taken.
✗ Branch 4165 not taken.
✗ Branch 4167 not taken.
✗ Branch 4168 not taken.
✗ Branch 4170 not taken.
✗ Branch 4171 not taken.
✗ Branch 4172 not taken.
✗ Branch 4173 not taken.
✗ Branch 4174 not taken.
✗ Branch 4175 not taken.
✗ Branch 4177 not taken.
✗ Branch 4178 not taken.
✗ Branch 4180 not taken.
✗ Branch 4181 not taken.
✗ Branch 4182 not taken.
✗ Branch 4183 not taken.
✗ Branch 4184 not taken.
✗ Branch 4185 not taken.
✗ Branch 4187 not taken.
✗ Branch 4188 not taken.
✗ Branch 4190 not taken.
✗ Branch 4191 not taken.
✗ Branch 4192 not taken.
✗ Branch 4193 not taken.
✗ Branch 4194 not taken.
✗ Branch 4195 not taken.
✗ Branch 4197 not taken.
✗ Branch 4198 not taken.
✗ Branch 4200 not taken.
✗ Branch 4201 not taken.
✗ Branch 4202 not taken.
✗ Branch 4203 not taken.
✗ Branch 4204 not taken.
✗ Branch 4205 not taken.
✗ Branch 4207 not taken.
✗ Branch 4208 not taken.
✗ Branch 4210 not taken.
✗ Branch 4211 not taken.
✗ Branch 4212 not taken.
✗ Branch 4213 not taken.
✗ Branch 4214 not taken.
✗ Branch 4215 not taken.
✗ Branch 4217 not taken.
✗ Branch 4218 not taken.
✗ Branch 4220 not taken.
✗ Branch 4221 not taken.
✗ Branch 4222 not taken.
✗ Branch 4223 not taken.
✗ Branch 4224 not taken.
✗ Branch 4225 not taken.
✗ Branch 4227 not taken.
✗ Branch 4228 not taken.
✗ Branch 4230 not taken.
✗ Branch 4231 not taken.
✗ Branch 4232 not taken.
✗ Branch 4233 not taken.
✗ Branch 4234 not taken.
✗ Branch 4235 not taken.
✗ Branch 4237 not taken.
✗ Branch 4238 not taken.
✗ Branch 4240 not taken.
✗ Branch 4241 not taken.
✗ Branch 4242 not taken.
✗ Branch 4243 not taken.
✗ Branch 4244 not taken.
✗ Branch 4245 not taken.
✗ Branch 4247 not taken.
✗ Branch 4248 not taken.
✗ Branch 4250 not taken.
✗ Branch 4251 not taken.
✗ Branch 4252 not taken.
✗ Branch 4253 not taken.
✗ Branch 4254 not taken.
✗ Branch 4255 not taken.
✗ Branch 4257 not taken.
✗ Branch 4258 not taken.
✗ Branch 4260 not taken.
✗ Branch 4261 not taken.
✗ Branch 4262 not taken.
✗ Branch 4263 not taken.
✗ Branch 4264 not taken.
✗ Branch 4265 not taken.
✗ Branch 4267 not taken.
✗ Branch 4268 not taken.
✗ Branch 4270 not taken.
✗ Branch 4271 not taken.
✗ Branch 4272 not taken.
✗ Branch 4273 not taken.
✗ Branch 4274 not taken.
✗ Branch 4275 not taken.
✗ Branch 4277 not taken.
✗ Branch 4278 not taken.
✗ Branch 4280 not taken.
✗ Branch 4281 not taken.
✗ Branch 4282 not taken.
✗ Branch 4283 not taken.
✗ Branch 4284 not taken.
✗ Branch 4285 not taken.
✗ Branch 4287 not taken.
✗ Branch 4288 not taken.
✗ Branch 4290 not taken.
✗ Branch 4291 not taken.
✗ Branch 4292 not taken.
✗ Branch 4293 not taken.
✗ Branch 4294 not taken.
✗ Branch 4295 not taken.
✗ Branch 4297 not taken.
✗ Branch 4298 not taken.
✗ Branch 4300 not taken.
✗ Branch 4301 not taken.
✗ Branch 4302 not taken.
✗ Branch 4303 not taken.
✗ Branch 4304 not taken.
✗ Branch 4305 not taken.
✗ Branch 4307 not taken.
✗ Branch 4308 not taken.
✗ Branch 4310 not taken.
✗ Branch 4311 not taken.
✗ Branch 4312 not taken.
✗ Branch 4313 not taken.
✗ Branch 4314 not taken.
✗ Branch 4315 not taken.
✗ Branch 4317 not taken.
✗ Branch 4318 not taken.
✗ Branch 4320 not taken.
✗ Branch 4321 not taken.
✗ Branch 4322 not taken.
✗ Branch 4323 not taken.
✗ Branch 4324 not taken.
✗ Branch 4325 not taken.
✗ Branch 4327 not taken.
✗ Branch 4328 not taken.
✗ Branch 4330 not taken.
✗ Branch 4331 not taken.
✗ Branch 4332 not taken.
✗ Branch 4333 not taken.
✗ Branch 4334 not taken.
✗ Branch 4335 not taken.
✗ Branch 4337 not taken.
✗ Branch 4338 not taken.
✗ Branch 4340 not taken.
✗ Branch 4341 not taken.
✗ Branch 4342 not taken.
✗ Branch 4343 not taken.
✗ Branch 4344 not taken.
✗ Branch 4345 not taken.
✗ Branch 4347 not taken.
✗ Branch 4348 not taken.
✗ Branch 4350 not taken.
✗ Branch 4351 not taken.
✗ Branch 4352 not taken.
✗ Branch 4353 not taken.
✗ Branch 4354 not taken.
✗ Branch 4355 not taken.
✗ Branch 4357 not taken.
✗ Branch 4358 not taken.
✗ Branch 4360 not taken.
✗ Branch 4361 not taken.
✗ Branch 4362 not taken.
✗ Branch 4363 not taken.
✗ Branch 4364 not taken.
✗ Branch 4365 not taken.
✗ Branch 4367 not taken.
✗ Branch 4368 not taken.
✗ Branch 4370 not taken.
✗ Branch 4371 not taken.
✗ Branch 4372 not taken.
✗ Branch 4373 not taken.
✗ Branch 4374 not taken.
✗ Branch 4375 not taken.
✗ Branch 4377 not taken.
✗ Branch 4378 not taken.
✗ Branch 4380 not taken.
✗ Branch 4381 not taken.
✗ Branch 4382 not taken.
✗ Branch 4383 not taken.
✗ Branch 4384 not taken.
✗ Branch 4385 not taken.
✗ Branch 4387 not taken.
✗ Branch 4388 not taken.
✗ Branch 4390 not taken.
✗ Branch 4391 not taken.
|
4781793572 | { return *gridGeometry_; } |
522 | |||
523 | //! The parameter group in which to retrieve runtime parameters | ||
524 | const std::string& paramGroup() const | ||
525 |
86/400✓ Branch 1 taken 342 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 490 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 2 times.
✓ Branch 7 taken 3477 times.
✓ Branch 8 taken 2 times.
✓ Branch 9 taken 2187 times.
✓ Branch 10 taken 784 times.
✓ Branch 11 taken 4 times.
✓ Branch 12 taken 14 times.
✓ Branch 13 taken 2688900 times.
✓ Branch 14 taken 20 times.
✓ Branch 15 taken 2225607 times.
✓ Branch 16 taken 560019 times.
✓ Branch 17 taken 37 times.
✓ Branch 18 taken 65014 times.
✓ Branch 19 taken 4638649 times.
✓ Branch 20 taken 74183 times.
✓ Branch 21 taken 4158612 times.
✓ Branch 22 taken 6297332 times.
✓ Branch 23 taken 230996 times.
✓ Branch 24 taken 1264740 times.
✓ Branch 25 taken 17909004 times.
✓ Branch 26 taken 285346 times.
✓ Branch 27 taken 3443028 times.
✓ Branch 28 taken 19409811 times.
✓ Branch 29 taken 1152565 times.
✓ Branch 30 taken 2555926 times.
✓ Branch 31 taken 13037247 times.
✓ Branch 32 taken 6003969 times.
✓ Branch 33 taken 1402337 times.
✓ Branch 34 taken 12141801 times.
✓ Branch 35 taken 5177058 times.
✓ Branch 36 taken 2007984 times.
✓ Branch 37 taken 8698376 times.
✓ Branch 38 taken 1405773 times.
✓ Branch 39 taken 44663 times.
✓ Branch 40 taken 2160880 times.
✓ Branch 41 taken 290753 times.
✓ Branch 42 taken 599256 times.
✓ Branch 43 taken 880351 times.
✓ Branch 44 taken 2757166 times.
✓ Branch 45 taken 2248665 times.
✓ Branch 46 taken 1830615 times.
✓ Branch 47 taken 6450 times.
✓ Branch 48 taken 10128390 times.
✓ Branch 49 taken 43 times.
✓ Branch 50 taken 6448 times.
✓ Branch 51 taken 5 times.
✓ Branch 52 taken 7713 times.
✓ Branch 53 taken 18 times.
✓ Branch 54 taken 49922 times.
✓ Branch 55 taken 33 times.
✓ Branch 56 taken 16 times.
✓ Branch 57 taken 8 times.
✓ Branch 58 taken 25 times.
✓ Branch 59 taken 15 times.
✓ Branch 60 taken 34 times.
✓ Branch 61 taken 24 times.
✓ Branch 62 taken 3869 times.
✓ Branch 63 taken 8 times.
✓ Branch 64 taken 20 times.
✓ Branch 65 taken 4 times.
✓ Branch 66 taken 4 times.
✓ Branch 67 taken 18 times.
✓ Branch 68 taken 1 times.
✓ Branch 69 taken 5 times.
✓ Branch 70 taken 17 times.
✗ Branch 71 not taken.
✓ Branch 73 taken 16 times.
✗ Branch 74 not taken.
✓ Branch 76 taken 3 times.
✗ Branch 77 not taken.
✓ Branch 79 taken 4 times.
✗ Branch 80 not taken.
✓ Branch 82 taken 5 times.
✗ Branch 83 not taken.
✓ Branch 85 taken 2 times.
✗ Branch 86 not taken.
✗ Branch 88 not taken.
✓ Branch 89 taken 2 times.
✗ Branch 90 not taken.
✗ Branch 91 not taken.
✓ Branch 92 taken 2 times.
✗ Branch 93 not taken.
✗ Branch 94 not taken.
✓ Branch 95 taken 2 times.
✗ Branch 96 not taken.
✗ Branch 97 not taken.
✓ Branch 98 taken 2 times.
✗ Branch 99 not taken.
✗ Branch 100 not taken.
✓ Branch 101 taken 3 times.
✗ Branch 102 not taken.
✗ Branch 103 not taken.
✓ Branch 104 taken 1 times.
✗ Branch 105 not taken.
✗ Branch 106 not taken.
✓ Branch 107 taken 1 times.
✗ Branch 108 not taken.
✗ Branch 109 not taken.
✓ Branch 110 taken 1 times.
✗ Branch 111 not taken.
✗ Branch 112 not taken.
✓ Branch 113 taken 1 times.
✗ Branch 114 not taken.
✗ Branch 115 not taken.
✓ Branch 116 taken 1 times.
✗ Branch 117 not taken.
✗ Branch 118 not taken.
✓ Branch 119 taken 1 times.
✗ Branch 120 not taken.
✗ Branch 121 not taken.
✓ Branch 122 taken 1 times.
✗ Branch 123 not taken.
✗ Branch 124 not taken.
✓ Branch 125 taken 1 times.
✗ Branch 126 not taken.
✗ Branch 127 not taken.
✓ Branch 128 taken 57 times.
✗ Branch 129 not taken.
✗ Branch 130 not taken.
✗ Branch 131 not taken.
✗ Branch 133 not taken.
✗ Branch 134 not taken.
✗ Branch 136 not taken.
✗ Branch 137 not taken.
✗ Branch 139 not taken.
✗ Branch 140 not taken.
✗ Branch 142 not taken.
✗ Branch 143 not taken.
✗ Branch 145 not taken.
✗ Branch 146 not taken.
✗ Branch 148 not taken.
✗ Branch 149 not taken.
✗ Branch 151 not taken.
✗ Branch 152 not taken.
✗ Branch 154 not taken.
✗ Branch 155 not taken.
✗ Branch 157 not taken.
✗ Branch 158 not taken.
✗ Branch 160 not taken.
✗ Branch 161 not taken.
✗ Branch 163 not taken.
✗ Branch 164 not taken.
✗ Branch 166 not taken.
✗ Branch 167 not taken.
✗ Branch 169 not taken.
✗ Branch 170 not taken.
✗ Branch 172 not taken.
✗ Branch 173 not taken.
✗ Branch 175 not taken.
✗ Branch 176 not taken.
✗ Branch 178 not taken.
✗ Branch 179 not taken.
✗ Branch 181 not taken.
✗ Branch 182 not taken.
✗ Branch 184 not taken.
✗ Branch 185 not taken.
✗ Branch 187 not taken.
✗ Branch 188 not taken.
✗ Branch 190 not taken.
✗ Branch 191 not taken.
✗ Branch 193 not taken.
✗ Branch 194 not taken.
✗ Branch 196 not taken.
✗ Branch 197 not taken.
✗ Branch 199 not taken.
✗ Branch 200 not taken.
✗ Branch 202 not taken.
✗ Branch 203 not taken.
✗ Branch 229 not taken.
✗ Branch 230 not taken.
✗ Branch 232 not taken.
✗ Branch 233 not taken.
✗ Branch 235 not taken.
✗ Branch 236 not taken.
✗ Branch 238 not taken.
✗ Branch 239 not taken.
✗ Branch 241 not taken.
✗ Branch 242 not taken.
✗ Branch 244 not taken.
✗ Branch 245 not taken.
✗ Branch 247 not taken.
✗ Branch 248 not taken.
✗ Branch 250 not taken.
✗ Branch 251 not taken.
✗ Branch 253 not taken.
✗ Branch 254 not taken.
✗ Branch 256 not taken.
✗ Branch 257 not taken.
✗ Branch 259 not taken.
✗ Branch 260 not taken.
✗ Branch 262 not taken.
✗ Branch 263 not taken.
✗ Branch 265 not taken.
✗ Branch 266 not taken.
✗ Branch 268 not taken.
✗ Branch 269 not taken.
✗ Branch 271 not taken.
✗ Branch 272 not taken.
✗ Branch 274 not taken.
✗ Branch 275 not taken.
✗ Branch 277 not taken.
✗ Branch 278 not taken.
✗ Branch 280 not taken.
✗ Branch 281 not taken.
✗ Branch 283 not taken.
✗ Branch 284 not taken.
✗ Branch 286 not taken.
✗ Branch 287 not taken.
✗ Branch 289 not taken.
✗ Branch 290 not taken.
✗ Branch 292 not taken.
✗ Branch 293 not taken.
✗ Branch 295 not taken.
✗ Branch 296 not taken.
✗ Branch 298 not taken.
✗ Branch 299 not taken.
✗ Branch 301 not taken.
✗ Branch 302 not taken.
✗ Branch 304 not taken.
✗ Branch 305 not taken.
✗ Branch 307 not taken.
✗ Branch 308 not taken.
✗ Branch 310 not taken.
✗ Branch 311 not taken.
✗ Branch 313 not taken.
✗ Branch 314 not taken.
✗ Branch 316 not taken.
✗ Branch 317 not taken.
✗ Branch 319 not taken.
✗ Branch 320 not taken.
✗ Branch 322 not taken.
✗ Branch 323 not taken.
✗ Branch 325 not taken.
✗ Branch 326 not taken.
✗ Branch 328 not taken.
✗ Branch 329 not taken.
✗ Branch 331 not taken.
✗ Branch 332 not taken.
✗ Branch 334 not taken.
✗ Branch 335 not taken.
✗ Branch 337 not taken.
✗ Branch 338 not taken.
✗ Branch 340 not taken.
✗ Branch 341 not taken.
✗ Branch 343 not taken.
✗ Branch 344 not taken.
✗ Branch 346 not taken.
✗ Branch 347 not taken.
✗ Branch 349 not taken.
✗ Branch 350 not taken.
✗ Branch 352 not taken.
✗ Branch 353 not taken.
✗ Branch 355 not taken.
✗ Branch 356 not taken.
✗ Branch 358 not taken.
✗ Branch 359 not taken.
✗ Branch 361 not taken.
✗ Branch 362 not taken.
✗ Branch 364 not taken.
✗ Branch 365 not taken.
✗ Branch 367 not taken.
✗ Branch 368 not taken.
✗ Branch 370 not taken.
✗ Branch 371 not taken.
✗ Branch 373 not taken.
✗ Branch 374 not taken.
✗ Branch 376 not taken.
✗ Branch 377 not taken.
✗ Branch 379 not taken.
✗ Branch 380 not taken.
✗ Branch 382 not taken.
✗ Branch 383 not taken.
✗ Branch 385 not taken.
✗ Branch 386 not taken.
✗ Branch 388 not taken.
✗ Branch 389 not taken.
✗ Branch 391 not taken.
✗ Branch 392 not taken.
✗ Branch 394 not taken.
✗ Branch 395 not taken.
✗ Branch 397 not taken.
✗ Branch 398 not taken.
✗ Branch 400 not taken.
✗ Branch 401 not taken.
✗ Branch 403 not taken.
✗ Branch 404 not taken.
✗ Branch 406 not taken.
✗ Branch 407 not taken.
✗ Branch 409 not taken.
✗ Branch 410 not taken.
✗ Branch 412 not taken.
✗ Branch 413 not taken.
✗ Branch 415 not taken.
✗ Branch 416 not taken.
✗ Branch 418 not taken.
✗ Branch 419 not taken.
✗ Branch 421 not taken.
✗ Branch 422 not taken.
✗ Branch 424 not taken.
✗ Branch 425 not taken.
✗ Branch 427 not taken.
✗ Branch 428 not taken.
✗ Branch 430 not taken.
✗ Branch 431 not taken.
✗ Branch 433 not taken.
✗ Branch 434 not taken.
✗ Branch 436 not taken.
✗ Branch 437 not taken.
✗ Branch 439 not taken.
✗ Branch 440 not taken.
✗ Branch 442 not taken.
✗ Branch 443 not taken.
✗ Branch 445 not taken.
✗ Branch 446 not taken.
✗ Branch 448 not taken.
✗ Branch 449 not taken.
✗ Branch 451 not taken.
✗ Branch 452 not taken.
✗ Branch 454 not taken.
✗ Branch 455 not taken.
✗ Branch 457 not taken.
✗ Branch 458 not taken.
✗ Branch 460 not taken.
✗ Branch 461 not taken.
✗ Branch 463 not taken.
✗ Branch 464 not taken.
✗ Branch 466 not taken.
✗ Branch 467 not taken.
✗ Branch 469 not taken.
✗ Branch 470 not taken.
✗ Branch 472 not taken.
✗ Branch 473 not taken.
✗ Branch 475 not taken.
✗ Branch 476 not taken.
✗ Branch 478 not taken.
✗ Branch 479 not taken.
✗ Branch 481 not taken.
✗ Branch 482 not taken.
✗ Branch 484 not taken.
✗ Branch 485 not taken.
✗ Branch 487 not taken.
✗ Branch 488 not taken.
✗ Branch 490 not taken.
✗ Branch 491 not taken.
✗ Branch 493 not taken.
✗ Branch 494 not taken.
✗ Branch 496 not taken.
✗ Branch 497 not taken.
✗ Branch 499 not taken.
✗ Branch 500 not taken.
✗ Branch 502 not taken.
✗ Branch 503 not taken.
✗ Branch 505 not taken.
✗ Branch 506 not taken.
✗ Branch 508 not taken.
✗ Branch 509 not taken.
✗ Branch 511 not taken.
✗ Branch 512 not taken.
✗ Branch 514 not taken.
✗ Branch 515 not taken.
✗ Branch 517 not taken.
✗ Branch 518 not taken.
✗ Branch 520 not taken.
✗ Branch 521 not taken.
✗ Branch 523 not taken.
✗ Branch 524 not taken.
✗ Branch 526 not taken.
✗ Branch 527 not taken.
✗ Branch 529 not taken.
✗ Branch 530 not taken.
✗ Branch 532 not taken.
✗ Branch 533 not taken.
✗ Branch 535 not taken.
✗ Branch 536 not taken.
✗ Branch 538 not taken.
✗ Branch 539 not taken.
✗ Branch 541 not taken.
✗ Branch 542 not taken.
✗ Branch 544 not taken.
✗ Branch 545 not taken.
✗ Branch 547 not taken.
✗ Branch 548 not taken.
✗ Branch 550 not taken.
✗ Branch 551 not taken.
✗ Branch 553 not taken.
✗ Branch 554 not taken.
✗ Branch 556 not taken.
✗ Branch 557 not taken.
✗ Branch 559 not taken.
✗ Branch 560 not taken.
✗ Branch 562 not taken.
✗ Branch 563 not taken.
✗ Branch 565 not taken.
✗ Branch 566 not taken.
✗ Branch 568 not taken.
✗ Branch 569 not taken.
|
137857164 | { return paramGroup_; } |
526 | |||
527 | protected: | ||
528 | //! Returns the implementation of the problem (i.e. static polymorphism) | ||
529 | Implementation &asImp_() | ||
530 | { return *static_cast<Implementation *>(this); } | ||
531 | |||
532 | //! \copydoc asImp_() | ||
533 | const Implementation &asImp_() const | ||
534 | { return *static_cast<const Implementation *>(this); } | ||
535 | |||
536 | private: | ||
537 | //! The finite volume grid geometry | ||
538 | std::shared_ptr<const GridGeometry> gridGeometry_; | ||
539 | |||
540 | //! The parameter group in which to retrieve runtime parameters | ||
541 | std::string paramGroup_; | ||
542 | |||
543 | //! The name of the problem | ||
544 | std::string problemName_; | ||
545 | |||
546 | //! A map from an scv to a vector of point sources | ||
547 | PointSourceMap pointSourceMap_; | ||
548 | }; | ||
549 | |||
550 | } // end namespace Dumux | ||
551 | |||
552 | #endif | ||
553 |