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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 669562441
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 57863 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 14.778 Prop: 113.357 PropClause: 110.021 Set: 26.624 Check: 0.0 Back: 0.014
INFO - Atoms: 57668/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 115724 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 23.518 Prop: 162.811 PropClause: 157.224 Set: 40.7 Check: 0.0 Back: 1.605
INFO - Atoms: 57731/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 173581 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 29.287 Prop: 209.274 PropClause: 201.927 Set: 47.625 Check: 0.001 Back: 3.145
INFO - Atoms: 57728/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 231440 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 33.945 Prop: 250.286 PropClause: 241.497 Set: 53.839 Check: 0.001 Back: 4.581
INFO - Atoms: 57729/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 289293 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 38.776 Prop: 288.392 PropClause: 278.165 Set: 59.716 Check: 0.001 Back: 5.936
INFO - Atoms: 57725/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 347144 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 45.606 Prop: 331.204 PropClause: 319.518 Set: 66.026 Check: 0.001 Back: 7.275
INFO - Atoms: 57723/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 404991 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 51.949 Prop: 374.719 PropClause: 361.59 Set: 72.107 Check: 0.002 Back: 8.63
INFO - Atoms: 57720/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 462836 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 57.31 Prop: 414.926 PropClause: 400.358 Set: 78.113 Check: 0.002 Back: 9.973
INFO - Atoms: 57718/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 520677 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 62.769 Prop: 456.06 PropClause: 440.022 Set: 84.1 Check: 0.002 Back: 11.311
INFO - Atoms: 57715/91008 Clauses: 24834 Axioms: 214016
INFO - Formula is unsat
INFO - Bitblasting DPLL finished