/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: 616935941
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 100983 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 17.028 Prop: 142.313 PropClause: 137.214 Set: 38.12 Check: 0.0 Back: 0.003
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: 29.669 Prop: 222.978 PropClause: 214.57 Set: 48.998 Check: 0.0 Back: 2.318
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: 42.84 Prop: 293.807 PropClause: 282.723 Set: 60.004 Check: 0.001 Back: 4.578
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: 53.749 Prop: 369.796 PropClause: 356.185 Set: 71.111 Check: 0.001 Back: 6.923
INFO - Atoms: 100974/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 505339 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 64.38 Prop: 439.114 PropClause: 423.008 Set: 81.61 Check: 0.001 Back: 9.263
INFO - Atoms: 100974/159488 Clauses: 43522 Axioms: 374784
INFO - Formula is unsat
INFO - Bitblasting DPLL finished