/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bmc-bv/ex49.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2558308434
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 4071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.277 Prop: 150.145 PropClause: 149.922 Set: 4.204 Check: 0.0 Back: 0.0
INFO - Atoms: 4071/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 11082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.417 Prop: 159.355 PropClause: 158.859 Set: 4.556 Check: 0.0 Back: 0.091
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 18593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.452 Prop: 170.883 PropClause: 170.137 Set: 6.213 Check: 0.0 Back: 0.264
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 25604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.487 Prop: 180.105 PropClause: 179.187 Set: 6.531 Check: 0.0 Back: 0.45
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 33115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.559 Prop: 190.547 PropClause: 189.396 Set: 6.95 Check: 0.0 Back: 0.607
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 40126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.586 Prop: 198.852 PropClause: 197.525 Set: 7.269 Check: 0.0 Back: 0.774
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 47637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.621 Prop: 208.867 PropClause: 207.352 Set: 7.764 Check: 0.0 Back: 0.934
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 54648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.736 Prop: 220.268 PropClause: 218.578 Set: 8.121 Check: 0.0 Back: 1.119
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 62159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 231.111 PropClause: 229.234 Set: 8.56 Check: 0.0 Back: 1.288
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 69170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.82 Prop: 241.433 PropClause: 239.38 Set: 8.912 Check: 0.0 Back: 1.471
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 76681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.853 Prop: 251.769 PropClause: 249.533 Set: 9.343 Check: 0.0 Back: 1.64
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 83692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.895 Prop: 263.931 PropClause: 261.519 Set: 9.688 Check: 0.0 Back: 1.823
INFO - Atoms: 7011/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 91203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.94 Prop: 275.419 PropClause: 272.819 Set: 10.112 Check: 0.0 Back: 1.982
INFO - Atoms: 7511/231203 Clauses: 7010 Axioms: 1221073
INFO - Formula is unsat
INFO - Bitblasting DPLL finished