| Benchmark | Picat | PDDL | Status |
| Depots | depots.pi | depots.pddl | Improving |
| Driverlog | driverlog.pi | driverlog.pddl | Improving |
| Rovers | rovers.pi | rovers.pddl | Improving |
| Satellite | satellite.pi | satellite.pddl | Improving |
| Zenotravel | zenotravel.pi | zenotravel.pddl | Improving |