/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_12.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 101041250
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.425 Prop: 9.261 PropClause: 8.482 Set: 5.525 Check: 0.0 Back: 0.0
INFO - Atoms: 874/2492 Clauses: 19 Axioms: 12355
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.46 Prop: 9.564 PropClause: 8.743 Set: 5.664 Check: 0.0 Back: 0.063
INFO - Atoms: 116/2492 Clauses: 19 Axioms: 12355
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 26424 Tprops: 0 Decides: 898 RSplits: 0
INFO - Times: Expl: 41.315 Prop: 30.369 PropClause: 25.136 Set: 8.838 Check: 0.077 Back: 0.688
INFO - Atoms: 1730/2492 Clauses: 243 Axioms: 12355
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 21 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 229.007 PropClause: 0.133 Set: 7.325 Check: 0.031 Back: 0.081
INFO - Atoms: 20/20 Clauses: 3 Axioms: 18
INFO - CCTimes: iE 0 eq 158387 cc 17563 setRep 25660
INFO - Merges: 17, cc:0
INFO - BVTimes: BB 101028015 BB_DPLL 112082542 Graph 802
INFO - BitBlastingClauses: 12409 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat