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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3450699134
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 24647775 Tprops: 0 Decides: 30668 RSplits: 0
INFO - Times: Expl: 9791.959 Prop: 33976.184 PropClause: 33317.228 Set: 669.612 Check: 0.741 Back: 644.071
INFO - Atoms: 74582/223732 Clauses: 508 Axioms: 936298