/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: 1521152938
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 96973 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 53.176 Prop: 153.205 PropClause: 149.35 Set: 119.397 Check: 0.007 Back: 0.245
INFO - Atoms: 90993/174080 Clauses: 24838 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 189026 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 92.933 Prop: 233.726 PropClause: 225.218 Set: 134.36 Check: 0.008 Back: 2.472
INFO - Atoms: 90993/174080 Clauses: 24838 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 281313 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 112.158 Prop: 294.442 PropClause: 283.553 Set: 145.731 Check: 0.008 Back: 4.746
INFO - Atoms: 91262/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 373070 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 119.897 Prop: 354.372 PropClause: 341.184 Set: 156.966 Check: 0.008 Back: 7.072
INFO - Atoms: 91252/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 465330 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 134.193 Prop: 413.633 PropClause: 398.12 Set: 167.933 Check: 0.008 Back: 9.198
INFO - Atoms: 91252/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 557076 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 141.843 Prop: 475.61 PropClause: 457.786 Set: 179.569 Check: 0.008 Back: 11.308
INFO - Atoms: 91244/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 648820 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 154.019 Prop: 537.399 PropClause: 517.294 Set: 191.066 Check: 0.008 Back: 13.47
INFO - Atoms: 91244/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 740550 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 160.996 Prop: 598.871 PropClause: 576.441 Set: 202.551 Check: 0.008 Back: 16.67
INFO - Atoms: 91235/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 832753 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 175.288 Prop: 658.465 PropClause: 633.739 Set: 213.51 Check: 0.009 Back: 18.783
INFO - Atoms: 91227/174080 Clauses: 24837 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 924455 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 182.235 Prop: 719.258 PropClause: 692.249 Set: 224.872 Check: 0.009 Back: 20.885
INFO - Atoms: 91219/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1016142 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 189.175 Prop: 777.727 PropClause: 748.451 Set: 236.226 Check: 0.009 Back: 22.997
INFO - Atoms: 91210/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1107817 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 197.424 Prop: 839.565 PropClause: 808.014 Set: 248.0 Check: 0.009 Back: 25.112
INFO - Atoms: 91201/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1199475 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 204.729 Prop: 897.763 PropClause: 863.943 Set: 259.371 Check: 0.009 Back: 27.243
INFO - Atoms: 91192/174080 Clauses: 24835 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1291193 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 217.31 Prop: 960.165 PropClause: 924.078 Set: 270.599 Check: 0.009 Back: 29.357
INFO - Atoms: 90908/174080 Clauses: 24836 Axioms: 436992
INFO - Formula is unsat
INFO - Bitblasting DPLL finished