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

Debug branch: Soundness bug in QF_NIA #3096

Closed
numairmansur opened this issue Feb 28, 2020 · 2 comments
Closed

Debug branch: Soundness bug in QF_NIA #3096

numairmansur opened this issue Feb 28, 2020 · 2 comments
Assignees
@levnach

Comments

@numairmansur
Copy link

Hi @levnach

I get "unsat" on the following satisfiable file in the debug branch (commit 4685317).
136.smt2

In master branch i get the correct result.

OS: Ubuntu 16.04.6 LTS
@levnach
Copy link
Contributor

levnach commented Feb 29, 2020 •
edited
Loading

Hi @numairmansur! Thank you, and I think it is fixed by caa118c

@NikolajBjorner NikolajBjorner changed the title Soundness bug in QF_NIA Debug branch: Soundness bug in QF_NIA Mar 1, 2020
@levnach
Copy link
Contributor

levnach commented Mar 3, 2020

fixed by e56a578

@levnach levnach closed this as completed Mar 3, 2020
@levnach levnach reopened this Mar 3, 2020
@levnach levnach closed this as completed Mar 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@levnach levnach

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@numairmansur @levnach