Many files have the format `*.lp` in https://openenergybenchmark.org/dashboard/benchmark-set.
Many files have the format
*.lpin https://openenergybenchmark.org/dashboard/benchmark-set.