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

Alpha mistakenly proves Graph Colouring instance to be UNSAT on phase_saving_and_restarts branch #211

Closed
rtaupe opened this issue Dec 11, 2019 · 0 comments
Closed

Alpha mistakenly proves Graph Colouring instance to be UNSAT on phase_saving_and_restarts branch #211

rtaupe opened this issue Dec 11, 2019 · 0 comments
Labels
bug

Comments

@rtaupe
Copy link
Collaborator

rtaupe commented Dec 11, 2019

On the phase_saving_and_restarts branch with phase saving and restarts enabled, the new Graph Colouring encoding is mistakenly proven to be UNSAT, e.g., on instance 001. The old encoding works fine.

Command line:
java -jar Alpha-bundled.jar -i encoding-new.asp -i instances/0001-graph_colouring-125-0.asp -n 1 -rs -b VSIDS_PHASE_SAVING
@AntoniusW AntoniusW added the bug label Jan 31, 2020
AntoniusW added a commit that referenced this issue Feb 10, 2020
@AntoniusW
Address issue #211.
be345dc 
- AnalyzeUnjustified uses more general atom to test for exclusion due to
  prior analysis, i.e., less atoms are (falsely) discarded.
- Unifier can report which variables are mapped.
@AntoniusW AntoniusW mentioned this issue Feb 10, 2020
Merged
@rtaupe rtaupe closed this as completed in b642729 Jul 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rtaupe @AntoniusW