ResearchBenchmarksTheorem Proving on INT Proof length 15Follow91Success RateBF-kSubS5.7227.865072.14Aug 25, 2021Evaluation ResultsMethodMethodLinksSuccess RateBF-kSubSGraph size=100Graph size=1002021.0891BF-kSubSGraph size=200Graph size=2002021.0891BF-kSubSGraph size=400Graph size=4002021.0891BestFSGraph size=400Graph size=4002021.0847BF-kSubSGraph size=50Graph size=502021.0838BestFSGraph size=200Graph size=2002021.0835BestFSGraph size=100Graph size=1002021.0824BestFSGraph size=50Graph size=502021.089