ResearchBenchmarksUnique bug detection on Full benchmark suite LargeUnique bug detection on Full benchmark suite LargeFollow18TPzkCraft3.447.221114.78Jan 31, 2026Evaluation resultsMethodMethodLinksTPFPPrecisionzkCraftTime Budget=2 hours, R...Time Budget=2 hours, Random Seeds=52026.01180100ZKFUZZEvaluation Mode=Recurs...Evaluation Mode=Recursive, Time Budget=2 hours, Random Seeds=52026.01173036ZKAPEvaluation Mode=US/USC...Evaluation Mode=US/USCO, Time Budget=2 hours, Random Seeds=52026.014833