ResearchBenchmarksAutomated Planning on Majsp ICESFollow19Solved CountTAMER9.6412.0714.516.93Feb 10, 2026Evaluation ResultsMethodMethodLinksSolved CountTime (s)BoundTAMERTime Limit=5 min, CPU=...Time Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.021930.3316PATTYTime Limit=5 min, CPU=...Time Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.021691.974.5ANMLSMTTime Limit=5 min, CPU=...Time Limit=5 min, CPU=Intel Xeon Platinum 8000 3.1GHz, RAM=8 GB2026.0210158.03—