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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 283547044
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 5384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.648 Prop: 21.645 PropClause: 19.668 Set: 11.782 Check: 0.0 Back: 0.0
INFO - Atoms: 5384/11656 Clauses: 5 Axioms: 61057
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 411991 Tprops: 0 Decides: 4149 RSplits: 0
INFO - Times: Expl: 247.508 Prop: 403.921 PropClause: 377.588 Set: 31.297 Check: 0.21 Back: 11.409
INFO - Atoms: 5545/11656 Clauses: 132 Axioms: 61057
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 414087 Tprops: 0 Decides: 4149 RSplits: 0
INFO - Times: Expl: 247.536 Prop: 414.462 PropClause: 388.029 Set: 32.53 Check: 0.21 Back: 11.554
INFO - Atoms: 2096/11656 Clauses: 131 Axioms: 61057
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 7 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 0.934 Prop: 1177.0 PropClause: 0.109 Set: 52.161 Check: 0.372 Back: 0.118
INFO - Atoms: 5/5 Clauses: 3 Axioms: 4
INFO - CCTimes: iE 0 eq 48040 cc 218404 setRep 15119
INFO - Merges: 4, cc:0
INFO - BVTimes: BB 283520554 BB_DPLL 814646019 Graph 297787
INFO - BitBlastingClauses: 61069 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat