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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 19291575
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2296 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 10.352 Prop: 6.695 PropClause: 5.458 Set: 1.299 Check: 0.058 Back: 0.1
INFO - Atoms: 165/302 Clauses: 51 Axioms: 1196
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3397 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 11.9 Prop: 7.35 PropClause: 5.981 Set: 1.755 Check: 0.059 Back: 0.127
INFO - Atoms: 171/302 Clauses: 50 Axioms: 1196
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 11844 Tprops: 0 Decides: 302 RSplits: 0
INFO - Times: Expl: 26.88 Prop: 14.709 PropClause: 12.578 Set: 2.462 Check: 0.064 Back: 0.328
INFO - Atoms: 235/302 Clauses: 195 Axioms: 1196
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 13481 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 27.701 Prop: 15.575 PropClause: 13.269 Set: 2.753 Check: 0.067 Back: 0.369
INFO - Atoms: 152/302 Clauses: 86 Axioms: 1196
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Confl: 4 Props: 5 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 0.387 Prop: 88.233 PropClause: 0.046 Set: 6.991 Check: 0.379 Back: 0.093
INFO - Atoms: 5/5 Clauses: 4 Axioms: 2
INFO - CCTimes: iE 0 eq 37471 cc 5891 setRep 6702
INFO - Merges: 3, cc:0
INFO - BVTimes: BB 19280864 BB_DPLL 60767506 Graph 331960
INFO - BitBlastingClauses: 1212 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat