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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 475792193
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 14344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.97 Prop: 38.132 PropClause: 33.468 Set: 19.732 Check: 0.0 Back: 0.0
INFO - Atoms: 14344/30728 Clauses: 5 Axioms: 163785
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 2117354 Tprops: 0 Decides: 16614 RSplits: 0
INFO - Times: Expl: 688.244 Prop: 2191.556 PropClause: 2112.8 Set: 81.816 Check: 0.773 Back: 51.742
INFO - Atoms: 14599/30728 Clauses: 260 Axioms: 163785
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 2122074 Tprops: 0 Decides: 16614 RSplits: 0
INFO - Times: Expl: 688.291 Prop: 2219.542 PropClause: 2140.591 Set: 86.471 Check: 0.773 Back: 52.111
INFO - Atoms: 4720/30728 Clauses: 259 Axioms: 163785
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 7 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.302 Prop: 3988.46 PropClause: 0.09 Set: 65.784 Check: 0.07 Back: 0.377
INFO - Atoms: 5/5 Clauses: 3 Axioms: 4
INFO - CCTimes: iE 0 eq 63260 cc 168691 setRep 18175
INFO - Merges: 4, cc:0
INFO - BVTimes: BB 475759201 BB_DPLL 3374673873 Graph 681
INFO - BitBlastingClauses: 163797 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat