/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: 805024661
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 108219 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 18.083 Prop: 155.408 PropClause: 151.403 Set: 30.18 Check: 0.0 Back: 0.007
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: 30.248 Prop: 221.595 PropClause: 214.655 Set: 48.292 Check: 0.0 Back: 2.487
INFO - Atoms: 108155/170752 Clauses: 46594 Axioms: 401408
INFO - Formula is unsat
INFO - Bitblasting DPLL finished