Exception in thread "main" java.lang.AssertionError [10/1827]
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.Explainer.validClause(Explainer.java:151)
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.Explainer.createClause(Explainer.java:174)
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.SOIPivoter.computeConflict(SOIPivoter.java:280)
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.SOIPivoter.fixOobs(SOIPivoter.java:299)
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.LinArSolve.fixOobs(LinArSolve.java:1363)
at de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.LinArSolve.checkpoint(LinArSolve.java:1099)
at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.propagateInternal(DPLLEngine.java:257)
at de.uni_freiburg.informatik.ultimate.smtinterpol.dpll.DPLLEngine.solve(DPLLEngine.java:1148)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol$CheckType$1.check(SMTInterpol.java:113)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol.checkSatAssuming(SMTInterpol.java:476)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTInterpol.checkSat(SMTInterpol.java:429)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Parser$Action$.CUP$do_action(Parser.java:2896)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.Parser.do_action(Parser.java:1311)
at com.github.jhoenicke.javacup.runtime.LRParser.parse(Unknown Source)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.ParseEnvironment.parseStream(ParseEnvironment.java:154)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.ParseEnvironment.parseScript(ParseEnvironment.java:133)
at de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.SMTLIB2Parser.run(SMTLIB2Parser.java:37)
at de.uni_freiburg.informatik.ultimate.smtinterpol.Main.main(Main.java:180)
Hi, for the following instance, 151.txt
smtinterpol db01df51 throws an assertion error