-
Notifications
You must be signed in to change notification settings - Fork 4
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.
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
Solving SAT takes forever #20
Comments
Hi, thanks for using PERIN! Generally, solving the SAT problem can take a couple of hours and it’s quite possible that the algorithm will not be able to find any solution in a reasonable time for a custom dataset. The SAT heuristics can be very unpredictable. Are you using the official AMR dataset from MRP2020 or some other one? You can also use a greedy search for a suboptimal solution, for this exact reason. Just call the function |
Thanks for your prompt rely. I'm using I'll try |
Dear authors,
Thank you for releasing your wonderful code, it really helped my understanding of your paper. If you don't mind, I have a question regarding data preprocessing. It just takes forever to solve SAT using the base_amr.yaml config.
Console logs:
It has been hanging on this line for days.
I'm using a server with power CPUs (Intel(R) Xeon(R) Silver 4214 CPU @ 2.20GHz) and hundreds of GBs of memories.
The text was updated successfully, but these errors were encountered: