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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 65609583
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.428 Prop: 5.209 PropClause: 4.881 Set: 3.137 Check: 0.0 Back: 0.0
INFO - Atoms: 729/2282 Clauses: 17 Axioms: 11473
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.462 Prop: 5.592 PropClause: 5.201 Set: 3.516 Check: 0.0 Back: 0.039
INFO - Atoms: 114/2282 Clauses: 17 Axioms: 11473
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 28523 Tprops: 0 Decides: 1297 RSplits: 0
INFO - Times: Expl: 38.892 Prop: 25.415 PropClause: 20.34 Set: 6.129 Check: 0.086 Back: 0.699
INFO - Atoms: 1442/2282 Clauses: 221 Axioms: 11473
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 19 Tprops: 1 Decides: 6 RSplits: 0
INFO - Times: Expl: 0.641 Prop: 174.269 PropClause: 0.111 Set: 6.918 Check: 0.652 Back: 0.05
INFO - Atoms: 18/18 Clauses: 3 Axioms: 16
INFO - CCTimes: iE 0 eq 120918 cc 17324 setRep 24287
INFO - Merges: 16, cc:0
INFO - BVTimes: BB 65599463 BB_DPLL 95207708 Graph 624574
INFO - BitBlastingClauses: 11521 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat