/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/crafted/bitvec7.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4780376
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 19 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.254 Prop: 0.164 PropClause: 0.14 Set: 0.35 Check: 0.0 Back: 0.0
INFO - Atoms: 19/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 43 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.274 Prop: 0.302 PropClause: 0.253 Set: 0.461 Check: 0.0 Back: 0.002
INFO - Atoms: 24/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 64 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.297 Prop: 0.397 PropClause: 0.329 Set: 0.577 Check: 0.0 Back: 0.004
INFO - Atoms: 21/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 88 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.319 Prop: 0.521 PropClause: 0.417 Set: 0.698 Check: 0.0 Back: 0.005
INFO - Atoms: 24/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.343 Prop: 0.647 PropClause: 0.519 Set: 0.836 Check: 0.0 Back: 0.008
INFO - Atoms: 26/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.358 Prop: 0.734 PropClause: 0.593 Set: 0.907 Check: 0.0 Back: 0.01
INFO - Atoms: 24/28 Clauses: 7 Axioms: 60
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 6 Props: 20 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 1.113 Prop: 16.647 PropClause: 0.146 Set: 5.847 Check: 0.507 Back: 0.25
INFO - Atoms: 8/8 Clauses: 6 Axioms: 6
INFO - CCTimes: iE 0 eq 141611 cc 8948 setRep 39797
INFO - Merges: 13, cc:0
INFO - BVTimes: BB 4772280 BB_DPLL 6745963 Graph 470912
INFO - BitBlastingClauses: 96 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat