ResearchBenchmarksNumeric Planning on MPrime SFollow17Solved RateENCT9.7211.6113.515.39Jun 15, 2026Evaluation ResultsMethodMethodLinksSolved RateTime (s)ENCT2026.061774.6EN2026.061768.1FF2026.061745.1Pattyc2026.0614119Pattyb2026.0614128.7Pattyr2026.0614124.3NFD2026.0614127.2Pattyg2026.0610154.9