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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 858877394
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 36872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.598 Prop: 67.079 PropClause: 60.939 Set: 20.772 Check: 0.0 Back: 0.0
INFO - Atoms: 36872/78344 Clauses: 5 Axioms: 423249
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 501 Props: 10384638 Tprops: 0 Decides: 65192 RSplits: 0
INFO - Times: Expl: 4220.372 Prop: 11967.942 PropClause: 11658.618 Set: 360.585 Check: 1.523 Back: 251.103
INFO - Atoms: 37121/78344 Clauses: 504 Axioms: 423249
INFO - Confl: 513 Props: 10631391 Tprops: 0 Decides: 66728 RSplits: 0
INFO - Times: Expl: 4317.34 Prop: 12277.114 PropClause: 11960.43 Set: 366.719 Check: 1.558 Back: 257.048
INFO - Atoms: 37289/78344 Clauses: 516 Axioms: 423249
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 10641871 Tprops: 0 Decides: 66728 RSplits: 0
INFO - Times: Expl: 4317.392 Prop: 12348.675 PropClause: 12031.502 Set: 370.235 Check: 1.558 Back: 257.881
INFO - Atoms: 10480/78344 Clauses: 515 Axioms: 423249
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 7 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 0.964 Prop: 18693.336 PropClause: 0.08 Set: 76.177 Check: 0.344 Back: 0.153
INFO - Atoms: 5/5 Clauses: 3 Axioms: 4
INFO - CCTimes: iE 0 eq 50425 cc 240677 setRep 15090
INFO - Merges: 4, cc:0
INFO - BVTimes: BB 858850463 BB_DPLL 17639444790 Graph 287186
INFO - BitBlastingClauses: 423261 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat