Skip to content

Commit

Permalink
Removed timeout as an undesirable state (#310)
Browse files Browse the repository at this point in the history
  • Loading branch information
@benedikt-schesch
benedikt-schesch authored Jun 8, 2024
1 parent 607c075 commit 574f337
Show file tree
Hide file tree
Showing 79 changed files with 2,521 additions and 1,884 deletions.
16 changes: 8 additions & 8 deletions results/combined/defs.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,16 +11,16 @@
\def\combinedReposSampled{1120\xspace}
\def\combinedMergesSampled{6036\xspace}
\def\combinedReposYieldedFull{1\xspace}
\def\combinedReposTotal{1097\xspace}
\def\combinedMergesTotal{5655\xspace}
\def\combinedReposTotal{1117\xspace}
\def\combinedMergesTotal{5999\xspace}

% Results
\def\combinedSporkOverOrtCorrect{496\xspace}
\def\combinedSporkOverOrtIncorrect{450\xspace}
\def\combinedMainBranchMerges{3374\xspace}
\def\combinedMainBranchMergesPercent{60\xspace}
\def\combinedOtherBranchMerges{2281\xspace}
\def\combinedOtherBranchMergesPercent{40\xspace}
\def\combinedSporkOverOrtCorrect{515\xspace}
\def\combinedSporkOverOrtIncorrect{487\xspace}
\def\combinedMainBranchMerges{3532\xspace}
\def\combinedMainBranchMergesPercent{59\xspace}
\def\combinedOtherBranchMerges{2467\xspace}
\def\combinedOtherBranchMergesPercent{41\xspace}
\def\combinedReposJava{42092\xspace}

% Timeout
Expand Down
Binary file modified results/combined/plots/all/cost_with_manual.pdf
View file
Binary file not shown.
110 changes: 55 additions & 55 deletions results/combined/plots/all/cost_with_manual.pgf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -104,15 +104,15 @@
\pgfusepath{stroke,fill}%
}%
\begin{pgfscope}%
\pgfsys@transformshift{1.831160in}{0.549691in}%
\pgfsys@transformshift{1.795765in}{0.549691in}%
\pgfsys@useobject{currentmarker}{}%
\end{pgfscope}%
\end{pgfscope}%
\begin{pgfscope}%
\definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}%
\pgfsetstrokecolor{textcolor}%
\pgfsetfillcolor{textcolor}%
\pgftext[x=1.831160in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{5}$}}%
\pgftext[x=1.795765in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{5}$}}%
\end{pgfscope}%
\begin{pgfscope}%
\pgfsetbuttcap%
Expand All @@ -129,15 +129,15 @@
\pgfusepath{stroke,fill}%
}%
\begin{pgfscope}%
\pgfsys@transformshift{3.058615in}{0.549691in}%
\pgfsys@transformshift{2.987825in}{0.549691in}%
\pgfsys@useobject{currentmarker}{}%
\end{pgfscope}%
\end{pgfscope}%
\begin{pgfscope}%
\definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}%
\pgfsetstrokecolor{textcolor}%
\pgfsetfillcolor{textcolor}%
\pgftext[x=3.058615in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{10}$}}%
\pgftext[x=2.987825in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{10}$}}%
\end{pgfscope}%
\begin{pgfscope}%
\pgfsetbuttcap%
Expand All @@ -154,15 +154,15 @@
\pgfusepath{stroke,fill}%
}%
\begin{pgfscope}%
\pgfsys@transformshift{4.286071in}{0.549691in}%
\pgfsys@transformshift{4.179885in}{0.549691in}%
\pgfsys@useobject{currentmarker}{}%
\end{pgfscope}%
\end{pgfscope}%
\begin{pgfscope}%
\definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}%
\pgfsetstrokecolor{textcolor}%
\pgfsetfillcolor{textcolor}%
\pgftext[x=4.286071in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{15}$}}%
\pgftext[x=4.179885in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{15}$}}%
\end{pgfscope}%
\begin{pgfscope}%
\pgfsetbuttcap%
Expand All @@ -179,15 +179,15 @@
\pgfusepath{stroke,fill}%
}%
\begin{pgfscope}%
\pgfsys@transformshift{5.513527in}{0.549691in}%
\pgfsys@transformshift{5.371946in}{0.549691in}%
\pgfsys@useobject{currentmarker}{}%
\end{pgfscope}%
\end{pgfscope}%
\begin{pgfscope}%
\definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}%
\pgfsetstrokecolor{textcolor}%
\pgfsetfillcolor{textcolor}%
\pgftext[x=5.513527in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{20}$}}%
\pgftext[x=5.371946in,y=0.452469in,,top]{\color{textcolor}{\rmfamily\fontsize{10.000000}{12.000000}\selectfont\catcode`\^=\active\def^{\ifmmode\sp\else\^{}\fi}\catcode`\%=\active\def%{\%}$\mathdefault{20}$}}%
\end{pgfscope}%
\begin{pgfscope}%
\definecolor{textcolor}{rgb}{0.000000,0.000000,0.000000}%
Expand Down Expand Up @@ -386,9 +386,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{}{0pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.719957in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.668846in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.668846in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.684021in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.669164in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.669164in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -401,9 +401,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{2.000000pt}{3.300000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.870201in}}%
\pgfpathlineto{\pgfqpoint{5.796361in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.796361in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.838723in}}%
\pgfpathlineto{\pgfqpoint{5.786977in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.786977in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -416,9 +416,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{7.400000pt}{3.200000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.719957in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.668846in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.668846in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.684021in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.669164in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.669164in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -431,9 +431,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{12.800000pt}{3.200000pt}{2.000000pt}{3.200000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.871357in}}%
\pgfpathlineto{\pgfqpoint{5.729817in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.729817in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.839812in}}%
\pgfpathlineto{\pgfqpoint{5.721765in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.721765in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -446,9 +446,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{2.000000pt}{2.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.719957in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.643420in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.643420in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.684021in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.644452in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.644452in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -461,9 +461,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{10.000000pt}{20.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.719957in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.643420in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.643420in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.684021in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.644452in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.644452in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -476,9 +476,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{10.000000pt}{10.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.723425in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.646887in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.646887in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.687289in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.647720in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.647720in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -491,9 +491,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{6.000000pt}{10.000000pt}{2.000000pt}{10.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.672573in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.621462in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.621462in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.634996in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.620138in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.620138in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -506,9 +506,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{}{0pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{4.042404in}}%
\pgfpathlineto{\pgfqpoint{5.251697in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.251697in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{4.004320in}}%
\pgfpathlineto{\pgfqpoint{5.101601in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.101601in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -521,9 +521,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{2.000000pt}{3.300000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{4.293196in}}%
\pgfpathlineto{\pgfqpoint{2.247957in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{2.247957in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{4.245088in}}%
\pgfpathlineto{\pgfqpoint{2.173606in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{2.173606in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -536,9 +536,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{7.400000pt}{3.200000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{2.345802in}}%
\pgfpathlineto{\pgfqpoint{1.014487in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{1.014487in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{2.250303in}}%
\pgfpathlineto{\pgfqpoint{1.003402in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{1.003402in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -551,9 +551,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{12.800000pt}{3.200000pt}{2.000000pt}{3.200000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{4.014667in}}%
\pgfpathlineto{\pgfqpoint{5.433860in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.433860in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.971636in}}%
\pgfpathlineto{\pgfqpoint{5.259975in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.259975in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -566,9 +566,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{2.000000pt}{2.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{4.119838in}}%
\pgfpathlineto{\pgfqpoint{4.830718in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{4.830718in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{4.084939in}}%
\pgfpathlineto{\pgfqpoint{4.663943in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{4.663943in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -581,9 +581,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{10.000000pt}{20.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{4.066675in}}%
\pgfpathlineto{\pgfqpoint{4.834186in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{4.834186in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{4.028288in}}%
\pgfpathlineto{\pgfqpoint{4.757159in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{4.757159in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -596,9 +596,9 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{10.000000pt}{10.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.897939in}}%
\pgfpathlineto{\pgfqpoint{5.604772in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.604772in}{0.539691in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.853975in}}%
\pgfpathlineto{\pgfqpoint{5.432543in}{0.539691in}}%
\pgfpathlineto{\pgfqpoint{5.432543in}{0.539691in}}%
\pgfusepath{stroke}%
\end{pgfscope}%
\begin{pgfscope}%
Expand All @@ -611,7 +611,7 @@
\pgfsetstrokecolor{currentstroke}%
\pgfsetstrokeopacity{0.800000}%
\pgfsetdash{{6.000000pt}{10.000000pt}{2.000000pt}{10.000000pt}}{0.000000pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{3.756941in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{3.719973in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.680403in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.680403in}}%
\pgfusepath{stroke}%
Expand All @@ -625,7 +625,7 @@
\definecolor{currentstroke}{rgb}{1.000000,0.000000,0.000000}%
\pgfsetstrokecolor{currentstroke}%
\pgfsetdash{}{0pt}%
\pgfpathmoveto{\pgfqpoint{0.849195in}{0.680403in}}%
\pgfpathmoveto{\pgfqpoint{0.842116in}{0.680403in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.680403in}}%
\pgfpathlineto{\pgfqpoint{6.250000in}{0.680403in}}%
\pgfusepath{stroke}%
Expand Down
Binary file modified results/combined/plots/all/cost_without_manual.pdf
View file
Binary file not shown.
Loading

0 comments on commit 574f337

Please sign in to comment.