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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4224947
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 30 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.417 Prop: 0.43 PropClause: 0.394 Set: 0.749 Check: 0.0 Back: 0.0
INFO - Atoms: 30/95 Clauses: 21 Axioms: 333
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 125 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 0.868 Prop: 0.936 PropClause: 0.779 Set: 1.041 Check: 0.001 Back: 0.008
INFO - Atoms: 51/95 Clauses: 24 Axioms: 333
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 252 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 1.37 Prop: 1.671 PropClause: 1.368 Set: 1.672 Check: 0.002 Back: 0.018
INFO - Atoms: 83/95 Clauses: 24 Axioms: 333
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 6 Props: 46 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 1.246 Prop: 18.028 PropClause: 0.284 Set: 7.873 Check: 0.059 Back: 0.359
INFO - Atoms: 12/24 Clauses: 6 Axioms: 22
INFO - CCTimes: iE 0 eq 68612 cc 5912 setRep 23166
INFO - Merges: 10, cc:0
INFO - BVTimes: BB 4218705 BB_DPLL 8998361 Graph 1992
INFO - BitBlastingClauses: 393 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat