ResearchBenchmarksUnsat-core prediction on SR (average)Unsat-core prediction on SR (average)Follow91.7PrecisionPASAT87.85288.85189.8590.849May 6, 2026Evaluation resultsMethodMethodLinksPrecisionPR-AUCROC-AUCPASAT2026.0591.796.387.2NeuroCore2026.0589.593.880.5SATFormer2026.0588.19274.1GCN2026.058891.573.2