/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/20190429-UltimateAutomizerSvcomp2019/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i_13.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 96588875
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.648 Prop: 10.13 PropClause: 9.068 Set: 14.799 Check: 0.0 Back: 0.0
INFO - Atoms: 721/2146 Clauses: 9 Axioms: 11145
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.686 Prop: 10.548 PropClause: 9.439 Set: 14.89 Check: 0.0 Back: 0.031
INFO - Atoms: 106/2146 Clauses: 9 Axioms: 11145
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 38500 Tprops: 0 Decides: 1358 RSplits: 0
INFO - Times: Expl: 38.395 Prop: 36.072 PropClause: 30.657 Set: 16.958 Check: 0.076 Back: 1.026
INFO - Atoms: 1355/2146 Clauses: 319 Axioms: 11145
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 10 Tprops: 2 Decides: 6 RSplits: 0
INFO - Times: Expl: 0.729 Prop: 249.076 PropClause: 0.12 Set: 7.784 Check: 0.482 Back: 0.094
INFO - Atoms: 10/10 Clauses: 3 Axioms: 8
INFO - CCTimes: iE 0 eq 97994 cc 9937 setRep 14488
INFO - Merges: 8, cc:0
INFO - BVTimes: BB 96570570 BB_DPLL 126665239 Graph 443259
INFO - BitBlastingClauses: 11169 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat