ResearchBenchmarksUnder-approximation Certification on GTSRB (Hard)Under-approximation Certification on GTSRB (Hard)Follow84Approximation RatioPREMAP21.8423.1744.565.83May 28, 2025Evaluation resultsMethodMethodLinksApproximation RatioCompletion RateTime (s)PREMAP2Model=FCModel=FC2025.058479146.2PREMAP2Model=CNNModel=CNN2025.056968221.1PREMAPModel=FCModel=FC2025.053732419.9PREMAPModel=CNNModel=CNN2025.053130425.1ProbSpecModel=FCModel=FC2025.0554539.7ProbSpecModel=CNNModel=CNN2025.0555531