ResearchBenchmarksTheorem Proving on INT Proof length 10Follow99Success RateBF-kSubS44.9258.967387.04Aug 25, 2021Evaluation ResultsMethodMethodLinksSuccess RateBF-kSubSGraph size=100Graph size=1002021.0899BF-kSubSGraph size=200Graph size=2002021.0899BF-kSubSGraph size=400Graph size=4002021.0899BF-kSubSGraph size=50Graph size=502021.0897BestFSGraph size=400Graph size=4002021.0872BestFSGraph size=200Graph size=2002021.0867BestFSGraph size=100Graph size=1002021.0864BestFSGraph size=50Graph size=502021.0847