Skip to content

aibasel/downward-benchmarks

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Silvan Sievers
Mar 23, 2024
8302319 · Mar 23, 2024

History

56 Commits
Oct 26, 2023
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Oct 26, 2023
Oct 26, 2023
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Oct 26, 2023
Oct 26, 2023
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Mar 20, 2023
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Mar 20, 2023
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Jul 16, 2019
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Oct 26, 2023
Oct 26, 2023
Oct 26, 2023
Oct 26, 2023
Oct 26, 2023
Oct 26, 2023
Apr 27, 2016
Oct 26, 2023
Oct 26, 2023
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Jul 16, 2019
Jul 16, 2019
Oct 26, 2023
Oct 26, 2023
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Apr 27, 2016
Sep 9, 2018
Sep 9, 2018
Jul 13, 2022
Jul 13, 2022
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Jun 22, 2020
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Apr 27, 2016
Jan 28, 2020
Jun 22, 2020
Mar 23, 2024
Oct 26, 2023
Oct 26, 2023
Jul 15, 2022

Repository files navigation

Fast Downward benchmark collection

An unofficial collection of (sequential) IPC benchmark instances.

suites.py contains many predefined benchmark suites such as "optimal_strips", "satisficing", or "all". To obtain the corresponding domain list for your experiments you can run

./suites.py optimal_strips

Please note that some IPC 2014 domains from the satisificing (sat) track were also used in the multicore (mco) and agile (agl) tracks. Please consult suites.py for the full domain lists of these two tracks.

Notes on specific domains

mprime: in contrast to the original mprime domain, our version forbids artificially generating additional fuel.

Unofficial Reformulations

Under "unofficial-reformulations", we collect unofficial domain reformulations that are not recommended for paper experiments but have been useful for debugging purposes:

  • mprime-renamed is a copy of mprime but with speaking predicate names. Also, in mprime-renamed it is possible to artificially generate fuel (as in the original IPC domain).
  • mystery-renamed is a copy of mystery but with speaking predicate names.