This section contains the verification and benchmark example files that were created to show the correct implementation of the formulation in GeoStudio.