/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: 2055682194
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 92168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.52 Prop: 132.195 PropClause: 123.8 Set: 34.814 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: 9894.789 Prop: 30271.525 PropClause: 29575.755 Set: 684.382 Check: 2.978 Back: 618.399
INFO - Atoms: 92417/194568 Clauses: 504 Axioms: 1062489
INFO - Restart
INFO - Confl: 1001 Props: 51095630 Tprops: 0 Decides: 259179 RSplits: 0
INFO - Times: Expl: 19843.501 Prop: 61932.002 PropClause: 60550.958 Set: 1307.084 Check: 5.888 Back: 1234.495
INFO - Atoms: 92667/194568 Clauses: 1004 Axioms: 1062489
INFO - Confl: 1025 Props: 52314620 Tprops: 0 Decides: 265323 RSplits: 0
INFO - Times: Expl: 20326.043 Prop: 63561.802 PropClause: 62147.717 Set: 1337.12 Check: 6.027 Back: 1263.782
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: 20326.095 Prop: 63740.947 PropClause: 62326.03 Set: 1346.937 Check: 6.027 Back: 1265.866
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.017 Prop: 90161.644 PropClause: 0.076 Set: 109.22 Check: 0.048 Back: 0.12
INFO - Atoms: 5/5 Clauses: 3 Axioms: 4
INFO - CCTimes: iE 0 eq 41739 cc 383177 setRep 12354
INFO - Merges: 4, cc:0
INFO - BVTimes: BB 2055646586 BB_DPLL 87656422755 Graph 651
INFO - BitBlastingClauses: 1062501 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat