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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1751401751
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 79455 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 18.5 Prop: 117.169 PropClause: 114.135 Set: 33.278 Check: 0.0 Back: 0.004
INFO - Atoms: 79408/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 158996 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 32.782 Prop: 186.29 PropClause: 179.771 Set: 44.547 Check: 0.0 Back: 2.019
INFO - Atoms: 79451/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 238533 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 43.851 Prop: 237.09 PropClause: 228.486 Set: 52.646 Check: 0.001 Back: 4.04
INFO - Atoms: 79448/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 318068 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 50.273 Prop: 290.166 PropClause: 279.531 Set: 60.569 Check: 0.001 Back: 6.572
INFO - Atoms: 79446/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished