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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1504568406
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 97035 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 43.695 Prop: 146.171 PropClause: 142.838 Set: 118.683 Check: 0.005 Back: 0.244
INFO - Atoms: 90993/174080 Clauses: 24838 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 189088 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 72.915 Prop: 208.602 PropClause: 202.599 Set: 132.558 Check: 0.006 Back: 2.584
INFO - Atoms: 90993/174080 Clauses: 24838 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 281375 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 88.284 Prop: 257.578 PropClause: 249.229 Set: 143.601 Check: 0.006 Back: 4.827
INFO - Atoms: 91262/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 373132 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 94.998 Prop: 311.156 PropClause: 300.471 Set: 154.508 Check: 0.007 Back: 7.192
INFO - Atoms: 91252/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 465392 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 108.665 Prop: 365.469 PropClause: 352.403 Set: 165.955 Check: 0.007 Back: 9.406
INFO - Atoms: 91252/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 557138 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 115.23 Prop: 422.459 PropClause: 406.938 Set: 177.63 Check: 0.007 Back: 11.632
INFO - Atoms: 91244/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 648882 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 125.158 Prop: 474.746 PropClause: 456.888 Set: 188.765 Check: 0.008 Back: 13.909
INFO - Atoms: 91244/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 740612 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 132.264 Prop: 535.347 PropClause: 515.154 Set: 200.013 Check: 0.008 Back: 16.899
INFO - Atoms: 91235/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 832815 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 144.834 Prop: 591.446 PropClause: 568.902 Set: 211.072 Check: 0.008 Back: 19.087
INFO - Atoms: 91227/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 924517 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 152.016 Prop: 650.025 PropClause: 625.14 Set: 222.015 Check: 0.008 Back: 21.283
INFO - Atoms: 91219/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1016204 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 158.543 Prop: 703.499 PropClause: 676.286 Set: 232.961 Check: 0.009 Back: 23.479
INFO - Atoms: 91210/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1107879 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 165.807 Prop: 760.279 PropClause: 730.726 Set: 243.865 Check: 0.009 Back: 25.717
INFO - Atoms: 91201/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1199537 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 172.337 Prop: 811.523 PropClause: 779.652 Set: 254.709 Check: 0.009 Back: 27.896
INFO - Atoms: 91192/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished