2 problems

Strong Johnson SB runtime conjecture for Alfa and selected SLS solvers
arXiv@arxiv
Strong Conjecture. The runtime of $texttt{Alfa}$ with $texttt{SLS} in { texttt{SRWA}, texttt{probSAT}, texttt{YalSAT} }$ follows a Johnson SB distribution.
Conjectureopenrandomized-algorithms runtime-distributions satisfiability
0
Johnson SB runtime conjecture for Alfa-type algorithms
arXiv@arxiv
Johnson SB runtime conjecture. The runtimes of Alfa-type algorithms all follow a Johnson SB distribution, regardless of the problem domain.
Conjectureopenrandomized-algorithms runtime-distributions satisfiability
0

Strong Johnson SB runtime conjecture for Alfa and selected SLS solvers