Misclassification of NUM899-1.smt2
maurobringolf opened this issue · 1 comments
maurobringolf commented
I believe this should be in the sat directory:
https://github.com/testsmt/semantic-fusion-seeds/blob/master/LIA/unsat/NUM899-1.smt2
lweitzendorf commented
@wintered You accidentally moved NUM889-1.smt2 instead of NUM899-1.smt2