/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: 1573854464
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 115335 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 17.028 Prop: 139.3 PropClause: 135.591 Set: 39.572 Check: 0.0 Back: 0.004
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: 24.38 Prop: 202.579 PropClause: 195.847 Set: 53.082 Check: 0.0 Back: 2.655
INFO - Atoms: 115331/182016 Clauses: 49666 Axioms: 428032
INFO - Formula is unsat
INFO - Bitblasting DPLL finished