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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 98012654
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.549 Prop: 18.71 PropClause: 17.745 Set: 5.087 Check: 0.0 Back: 0.0
INFO - Atoms: 873/2426 Clauses: 17 Axioms: 12193
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 19.077 PropClause: 18.063 Set: 5.157 Check: 0.0 Back: 0.036
INFO - Atoms: 114/2426 Clauses: 17 Axioms: 12193
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 37276 Tprops: 0 Decides: 935 RSplits: 0
INFO - Times: Expl: 65.09 Prop: 56.66 PropClause: 49.665 Set: 8.101 Check: 0.202 Back: 0.95
INFO - Atoms: 1583/2426 Clauses: 376 Axioms: 12193
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 19 Tprops: 1 Decides: 6 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 292.284 PropClause: 0.119 Set: 8.538 Check: 0.033 Back: 0.071
INFO - Atoms: 18/18 Clauses: 3 Axioms: 16
INFO - CCTimes: iE 0 eq 273118 cc 17222 setRep 27302
INFO - Merges: 16, cc:0
INFO - BVTimes: BB 97998978 BB_DPLL 167303088 Graph 782
INFO - BitBlastingClauses: 12241 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat