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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2993102
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 492 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 2.624 Prop: 2.929 PropClause: 2.255 Set: 1.322 Check: 0.015 Back: 0.036
INFO - Atoms: 102/186 Clauses: 26 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 885 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 3.565 Prop: 3.621 PropClause: 2.711 Set: 1.946 Check: 0.018 Back: 0.052
INFO - Atoms: 101/186 Clauses: 25 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1282 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 4.032 PropClause: 2.939 Set: 2.431 Check: 0.024 Back: 0.064
INFO - Atoms: 94/186 Clauses: 27 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1565 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 4.325 PropClause: 3.098 Set: 2.779 Check: 0.028 Back: 0.072
INFO - Atoms: 84/186 Clauses: 24 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1777 Tprops: 0 Decides: 115 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 4.561 PropClause: 3.212 Set: 3.113 Check: 0.032 Back: 0.079
INFO - Atoms: 72/186 Clauses: 22 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2110 Tprops: 0 Decides: 135 RSplits: 0
INFO - Times: Expl: 6.583 Prop: 4.893 PropClause: 3.393 Set: 3.456 Check: 0.036 Back: 0.088
INFO - Atoms: 85/186 Clauses: 27 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2322 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 6.986 Prop: 5.124 PropClause: 3.511 Set: 3.71 Check: 0.04 Back: 0.095
INFO - Atoms: 73/186 Clauses: 22 Axioms: 454
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 12 Props: 46 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 1.76 Prop: 37.566 PropClause: 0.177 Set: 9.371 Check: 0.079 Back: 0.284
INFO - Atoms: 10/19 Clauses: 12 Axioms: 22
INFO - CCTimes: iE 0 eq 400361 cc 19325 setRep 87205
INFO - Merges: 42, cc:0
INFO - BVTimes: BB 2985547 BB_DPLL 25019329 Graph 3133
INFO - BitBlastingClauses: 552 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat