ResearchBenchmarksClassification on gas (Rules/Overlap Metrics)Follow172.2RulesCART-2.72842.68688.1133.514Jun 8, 2022Evaluation ResultsMethodMethodLinksRulesLiteralsOverlapCART2022.06172.2343.4—RIPPER2022.0624.2106.850DS-OPT2022.0613.174.215.2CG2022.06414.722.1