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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 964335865
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 115335 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 26.512 Prop: 199.282 PropClause: 194.555 Set: 40.853 Check: 0.0 Back: 0.005
INFO - Atoms: 115268/182016 Clauses: 49666 Axioms: 428032
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 230796 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 37.842 Prop: 292.527 PropClause: 284.667 Set: 53.286 Check: 0.0 Back: 2.932
INFO - Atoms: 115331/182016 Clauses: 49666 Axioms: 428032
INFO - Formula is unsat
INFO - Bitblasting DPLL finished