| Benchmark | Picat | PDDL | Status |
| Barman | barman.pi | barman.pddl | Improving |
| Cavediving | cavediving.pi | cavediving.pddl | Improving |
| ChildSnack | childsnack.pi | childsnack.pddl | Improving |
| Citycar | citycar.pi | citycar.pddl | Improving |
| Floortile | floortile.pi | floortile.pddl | Improving |
| GED | ged.pi | ged.pddl | Improving |
| Hiking | hiking.pi | hiking.pddl | Pending |
| Maintenance | maintenance.pi | maintenance.pddl | Improving |
| Openstacks | openstacks.pi | openstacks.pddl | Pending |
| Parking | parking.pi | parking.pddl | Improving |
| Tetris | tetris.pi | tetris.pddl | Improving |
| Tidybot | tidybot.pi | tidybot.pddl | Pending |
| Transport | transport.pi | transport.pddl | Improving |
| Visitall | visitall.pi | visitall.pddl | Improving |