/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_060_256_1024.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2206583175
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 108219 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 25.229 Prop: 188.358 PropClause: 183.474 Set: 43.807 Check: 0.0 Back: 0.009
INFO - Atoms: 108096/170752 Clauses: 46594 Axioms: 401408
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 216496 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 38.963 Prop: 288.327 PropClause: 279.291 Set: 60.069 Check: 0.0 Back: 2.992
INFO - Atoms: 108155/170752 Clauses: 46594 Axioms: 401408
INFO - Formula is unsat
INFO - Bitblasting DPLL finished