Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Grammar check of Benchmark section

Browse Source
This commit is contained in:
Jip J. Dekker 2021-07-24 13:50:20 +10:00
parent b4f42220e0
commit 167fda8755
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
chapters/A2_benchmark.tex
View File

@ -4,15 +4,15 @@
%************************************************
\noindent{}All experiments included in this thesis were conducted on a dedicated node in a computational cluster.
The machine operates using a \textbf{Intel Xeon 8260} \gls{cpu}, which has 24 non-hyperthreaded cores, and has access to \textbf{268.55 GB} of \gls{ram}.
The machine operates using an \textbf{Intel Xeon 8260} \gls{cpu}, which has 24 non-hyperthreaded cores, and has access to \textbf{268.55 GB} of \gls{ram}.
Each experimental test was given exclusive access to a single \gls{cpu} core and access to sufficient \gls{ram}.
\section{Experimental Design}%
\label{sec:bench-env}
To promote the verification and recreation of our experiments, we have publish our experimental design in the form of several bundles.
To promote the verification and recreation of our experiments, we have published our experimental design in the form of several bundles.
Each bundle contains the exact versions of the software, models, and data that were used.
They are accompanied with instructions to perform the experiments.
They are accompanied by instructions to perform the experiments.
The experiments are split into three bundles, each testing a different system.
Each part is published as a Git repository on GitHub.
@ -142,9 +142,9 @@ In this thesis we use four different versions of the \gls{gecode} solver:
\end{itemize}
\paragraph{IBM CPLEX} is a proprietary \gls{mip} \solver{} \autocite{ibm-2020-cplex}.
In this thesis we use \gls{cplex} version 20.1 under an academic license in our experiments.
In this thesis we use \gls{cplex} version 20.1 under an academic licence in our experiments.
\paragraph{OpenWBO} is a open source \gls{maxsat} \solver{} \autocite{martins-2014-openwbo}.
\paragraph{OpenWBO} is an open source \gls{maxsat} \solver{} \autocite{martins-2014-openwbo}.
In this thesis we use version \todo{xxx} in our experiments.
The source code for this version can be found here: