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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2059422262
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 72279 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 18.595 Prop: 122.074 PropClause: 117.866 Set: 41.031 Check: 0.0 Back: 0.004
INFO - Atoms: 72236/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 144636 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 30.023 Prop: 185.8 PropClause: 178.418 Set: 51.964 Check: 0.0 Back: 1.878
INFO - Atoms: 72275/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 216989 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 36.404 Prop: 229.312 PropClause: 220.071 Set: 59.664 Check: 0.001 Back: 3.748
INFO - Atoms: 72272/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 289344 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 42.338 Prop: 274.688 PropClause: 263.606 Set: 67.254 Check: 0.001 Back: 7.219
INFO - Atoms: 72273/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 361693 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 47.204 Prop: 316.613 PropClause: 303.702 Set: 75.136 Check: 0.001 Back: 8.968
INFO - Atoms: 72269/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 434042 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 55.739 Prop: 368.397 PropClause: 353.147 Set: 85.74 Check: 0.001 Back: 10.641
INFO - Atoms: 72268/114432 Clauses: 31234 Axioms: 268288
INFO - Formula is unsat
INFO - Bitblasting DPLL finished