Explanations on how to make the silver searcher analysis more precise#59

karoliineh wants to merge 8 commits into

mastergoblint/bench:masterfrom

the-silver-searchergoblint/bench:the-silver-searcherCopy head branch name to clipboard