Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Finish adding IPC'08 bounds #11

Open
3 tasks
haz opened this issue May 6, 2021 · 0 comments
Open
3 tasks

Finish adding IPC'08 bounds #11

haz opened this issue May 6, 2021 · 0 comments
Labels
bug Something isn't working
Milestone
1.*

Comments

@haz
Copy link
Contributor

haz commented May 6, 2021

These plans don't seem to add properly for upper bounds. Once the server revamp is done, we should try again (likely an issue with the old VAL version hosted).

  • Fix & submit above attached plans.
  • Add lower bounds for petri-net-alignment from the optimal plans found.
  • Run blind search for flashfill lower bounds
@haz haz added the bug Something isn't working label May 6, 2021
@haz haz added this to the 1.* milestone May 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
1.*
Development

No branches or pull requests
1 participant
@haz