/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/pspace/power2sum.7291.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2512683232
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 9545223 Tprops: 0 Decides: 17116 RSplits: 0
INFO - Times: Expl: 3363.658 Prop: 9439.441 PropClause: 9182.058 Set: 255.002 Check: 0.441 Back: 239.543
INFO - Atoms: 65627/196867 Clauses: 508 Axioms: 823863
INFO - Restart
INFO - Confl: 1000 Props: 18884540 Tprops: 0 Decides: 195185 RSplits: 0
INFO - Times: Expl: 7032.592 Prop: 19368.565 PropClause: 18782.864 Set: 487.142 Check: 4.572 Back: 470.195
INFO - Atoms: 65627/196867 Clauses: 1008 Axioms: 823863