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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2104287683
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 92168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.645 Prop: 160.323 PropClause: 149.473 Set: 46.44 Check: 0.0 Back: 0.0
INFO - Atoms: 92168/194568 Clauses: 5 Axioms: 1062489
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 501 Props: 25668516 Tprops: 0 Decides: 130913 RSplits: 0
INFO - Times: Expl: 10628.369 Prop: 31981.632 PropClause: 31258.469 Set: 706.116 Check: 3.044 Back: 621.917
INFO - Atoms: 92417/194568 Clauses: 504 Axioms: 1062489
INFO - Restart
INFO - Confl: 1001 Props: 51095630 Tprops: 0 Decides: 259179 RSplits: 0
INFO - Times: Expl: 21449.007 Prop: 65084.326 PropClause: 63654.46 Set: 1326.932 Check: 6.052 Back: 1237.192
INFO - Atoms: 92667/194568 Clauses: 1004 Axioms: 1062489
INFO - Confl: 1025 Props: 52314620 Tprops: 0 Decides: 265323 RSplits: 0
INFO - Times: Expl: 21957.746 Prop: 66699.855 PropClause: 65236.08 Set: 1356.482 Check: 6.195 Back: 1266.324
INFO - Atoms: 92879/194568 Clauses: 1028 Axioms: 1062489
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1026 Props: 52337644 Tprops: 0 Decides: 265323 RSplits: 0
INFO - Times: Expl: 21957.813 Prop: 66903.393 PropClause: 65438.578 Set: 1367.158 Check: 6.195 Back: 1268.504
INFO - Atoms: 23024/194568 Clauses: 1027 Axioms: 1062489
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 3 Props: 7 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.293 Prop: 95090.226 PropClause: 0.109 Set: 1877.006 Check: 0.656 Back: 0.133
INFO - Atoms: 5/5 Clauses: 3 Axioms: 4
INFO - CCTimes: iE 0 eq 61958 cc 840554 setRep 18236
INFO - Merges: 4, cc:0
INFO - BVTimes: BB 2104255732 BB_DPLL 92454159314 Graph 561215
INFO - BitBlastingClauses: 1062501 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat