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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 12630385
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.047 Prop: 2.43 PropClause: 2.315 Set: 1.186 Check: 0.0 Back: 0.0
INFO - Atoms: 118/442 Clauses: 17 Axioms: 2174
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.064 Prop: 2.64 PropClause: 2.48 Set: 1.268 Check: 0.0 Back: 0.007
INFO - Atoms: 59/442 Clauses: 17 Axioms: 2174
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 16 Props: 155 Tprops: 43 Decides: 50 RSplits: 0
INFO - Times: Expl: 3.625 Prop: 42.361 PropClause: 0.657 Set: 17.995 Check: 1.052 Back: 0.626
INFO - Atoms: 29/40 Clauses: 16 Axioms: 49
INFO - CCTimes: iE 5758 eq 484364 cc 87492 setRep 74166
INFO - Merges: 49, cc:12
INFO - BVTimes: BB 12621669 BB_DPLL 16391991 Graph 975137
INFO - BitBlastingClauses: 2206 BvultGraphCircles: 0 TrivialConflicts: 6
INFO - Formula is unsat
unsat