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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2155407647
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 100983 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 25.017 Prop: 202.159 PropClause: 195.862 Set: 40.664 Check: 0.0 Back: 0.005
INFO - Atoms: 100924/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 202076 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 43.971 Prop: 282.257 PropClause: 273.11 Set: 51.705 Check: 0.0 Back: 2.842
INFO - Atoms: 100979/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 303165 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 54.387 Prop: 361.612 PropClause: 349.609 Set: 62.795 Check: 0.0 Back: 5.445
INFO - Atoms: 100976/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 404252 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 67.019 Prop: 435.69 PropClause: 421.193 Set: 73.395 Check: 0.001 Back: 7.794
INFO - Atoms: 100974/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished