Introduction
Here you can find a collection of benchmarks we generated in the context of the project Optimal Plans with Optimization Modulo Theories.
Benchmarks were used to synthesize plans for the RoboCup Logistics League.
Production
SMT-LIB benchmarks
| Product | # of Robots | # of instances | files |
| Single C0 production | 1 | 100 | download |
| Single C0 production | 2 | 100 | download |
| Single C0 production | 3 | 100 | download |
PDDL benchmarks (courtesy of Tim Niemueller)
Non-temporal domains
| Product | # of Robots | # of instances | files |
| Single C0 production | 1 | 100 | download |
| Single C0 production | 2 | 100 | download |
| Single C0 production | 3 | 100 | download |
Temporal domains
| Product | # of Robots | # of instances | files |
| Single C0 production | 1 | 100 | download |
| Single C0 production | 2 | 100 | download |
| Single C0 production | 3 | 100 | download |
Contacts
Please feel free to contact Francesco Leofante or Professor Erika Ábrahám if you wish to learn more about these benchmarks.