From 167fda87554b0a2bdf9f2a128666173e64a2a8dc Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Sat, 24 Jul 2021 13:50:20 +1000 Subject: [PATCH] Grammar check of Benchmark section --- chapters/A2_benchmark.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/chapters/A2_benchmark.tex b/chapters/A2_benchmark.tex index 858a3b0..1357c02 100644 --- a/chapters/A2_benchmark.tex +++ b/chapters/A2_benchmark.tex @@ -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: