benchmark mode: until first bug or until timeout#6

f0rki wants to merge 2 commits intoSoftSec-KAIST:mainSoftSec-KAIST/Smartian:mainfrom

f0rki:mainf0rki/Smartian:mainCopy head branch name to clipboard