Policy Synthesis on Warehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024
10.36Time (s)PRISM-GS
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| PRISM-GSInstance=W512NW-b, Refinement=nopre2025.06 | 10.36 | 1,615 | 1,277.5 | |
| PRISM-GSInstance=W512NW-b, Refinement=pre2025.06 | 10.37 | 1,604 | 1,277.5 | |
| PRISM-VIInstance=W512NW-b, Refinement=nopre2025.06 | 10.92 | 1,624 | 1,277.49 | |
| PRISM-VIInstance=W512NW-b, Refinement=pre2025.06 | 10.96 | 1,609 | 1,277.49 | |
| SHARPInstance=W512SW-b, D=1, theta=200, Blocks=8/82025.06 | 12.49 | 6,470 | 1,277.5 | |
| SHARPInstance=W512NW-b, D=1, theta=500, Blocks=8/82025.06 | 12.58 | 6,385 | 1,277.5 | |
| SHARPInstance=W512MW-b, D=1, theta=200, Blocks=8/82025.06 | 12.65 | 6,453 | 1,277.5 | |
| PRISM-GSInstance=W512SW-b, Refinement=pre2025.06 | 14.26 | 1,170 | 1,277.5 | |
| PRISM-GSInstance=W512SW-b, Refinement=nopre2025.06 | 14.28 | 1,167 | 1,277.5 | |
| PRISM-GSInstance=W512MW-b, Refinement=pre2025.06 | 14.7 | 1,744 | 1,277.5 | |
| PRISM-VIInstance=W512SW-b, Refinement=nopre2025.06 | 14.93 | 1,170 | 1,277.49 | |
| PRISM-VIInstance=W512SW-b, Refinement=pre2025.06 | 14.93 | 1,171 | 1,277.49 | |
| PRISM-GSInstance=W512MW-b, Refinement=nopre2025.06 | 14.96 | 1,735 | 1,277.5 | |
| PRISM-VIInstance=W512MW-b, Refinement=pre2025.06 | 15.42 | 1,734 | 1,277.49 | |
| PRISM-VIInstance=W512MW-b, Refinement=nopre2025.06 | 15.51 | 1,741 | 1,277.49 | |
| SHARPInstance=W1024NW-b, D=1, theta=200, Blocks=8/82025.06 | 65.18 | 18,179 | 2,557.5 | |
| SHARPInstance=W1024SW-b, D=1, theta=500, Blocks=8/82025.06 | 65.39 | 18,297 | 2,557.5 | |
| SHARPInstance=W1024MW-b, D=1, theta=500, Blocks=8/82025.06 | 66.43 | 16,938 | 2,557.5 | |
| PRISM-GSInstance=W1024NW-b, Refinement=nopre2025.06 | 77.32 | 5,360 | 2,557.5 | |
| PRISM-GSInstance=W1024NW-b, Refinement=pre2025.06 | 77.8 | 5,363 | 2,557.5 | |
| PRISM-VIInstance=W1024NW-b, Refinement=nopre2025.06 | 83.23 | 5,358 | 2,557.48 | |
| PRISM-VIInstance=W1024NW-b, Refinement=pre2025.06 | 83.29 | 5,344 | 2,557.48 | |
| PRISM-GSInstance=W1024SW-b, Refinement=nopre2025.06 | 112.74 | 5,412 | 2,557.5 | |
| PRISM-GSInstance=W1024SW-b, Refinement=pre2025.06 | 113.29 | 5,410 | 2,557.5 | |
| PRISM-GSInstance=W1024MW-b, Refinement=nopre2025.06 | 113.99 | 5,778 | 2,557.5 | |
| PRISM-GSInstance=W1024MW-b, Refinement=pre2025.06 | 114.37 | 5,796 | 2,557.5 | |
| PRISM-VIInstance=W1024SW-b, Refinement=pre2025.06 | 117.83 | 5,491 | 2,557.48 | |
| PRISM-VIInstance=W1024SW-b, Refinement=nopre2025.06 | 118.04 | 5,427 | 2,557.48 | |
| PRISM-VIInstance=W1024MW-b, Refinement=nopre2025.06 | 118.17 | 5,808 | 2,557.48 | |
| PRISM-VIInstance=W1024MW-b, Refinement=pre2025.06 | 118.52 | 5,814 | 2,557.48 |