Policy Synthesis on Warehouse MDPs Property: Pmax F “goal” W512 W1024 benchmark leaderboard · SOTA2 Research

Policy Synthesis on Warehouse MDPs Property: Pmax F “goal” W512 W1024

5.94Time (s)PRISM-GS

Evaluation Results

Method	Links
PRISM-GS2025.06		5.94	1,889	56.7
PRISM-VI2025.06		5.96	1,889	56.7
PRISM-VI2025.06		6.01	1,928	56.7
PRISM-GS2025.06		6.05	1,926	56.7
PRISM-GS2025.06		6.14	1,899	56.7
PRISM-VI2025.06		6.27	1,901	56.7
SHARP2025.06		7.61	8,506	56.7
SHARP2025.06		7.99	8,371	56.7
SHARP2025.06		8.29	8,369	56.7
PRISM-GS2025.06		15.27	1,900	56.7
PRISM-GS2025.06		15.54	1,905	56.7
PRISM-GS2025.06		15.62	1,932	56.7
PRISM-VI2025.06		15.69	1,907	56.7
PRISM-VI2025.06		15.72	1,912	56.7
PRISM-VI2025.06		15.75	1,935	56.7
SHARP2025.06		39.1	20,029	32.1
SHARP2025.06		40.84	19,339	32.1
PRISM-GS2025.06		46.3	6,597	32.1
PRISM-VI2025.06		46.63	6,612	32.1
PRISM-GS2025.06		46.68	6,242	32.1
SHARP2025.06		47.23	19,769	27.8
PRISM-VI2025.06		47.3	6,268	32.1
PRISM-GS2025.06		47.41	6,204	27.8
PRISM-VI2025.06		53.57	6,213	27.8
PRISM-GS2025.06		121.75	6,630	32.1
PRISM-GS2025.06		122.02	6,300	32.1
PRISM-GS2025.06		123.41	6,228	27.8
PRISM-VI2025.06		125.17	6,608	32.1
PRISM-VI2025.06		125.55	6,262	32.1
PRISM-VI2025.06		129.71	6,209	27.8