ResearchBenchmarksTheorem Proving on INT (Proof length 5)Follow99Success RateBF-kSubS81.3285.9190.595.09Aug 25, 2021Evaluation ResultsMethodMethodLinksSuccess RateBF-kSubSGraph size=50Graph size=502021.0899BF-kSubSGraph size=100Graph size=1002021.0899BF-kSubSGraph size=200Graph size=2002021.0899BF-kSubSGraph size=400Graph size=4002021.0899BestFSGraph size=400Graph size=4002021.0893BestFSGraph size=200Graph size=2002021.0892BestFSGraph size=100Graph size=1002021.0889BestFSGraph size=50Graph size=502021.0882