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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1604679903
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2630035 Tprops: 0 Decides: 18416 RSplits: 0
INFO - Times: Expl: 2089.098 Prop: 3147.106 PropClause: 3058.83 Set: 90.085 Check: 0.452 Back: 64.249
INFO - Atoms: 54881/164629 Clauses: 508 Axioms: 688941
INFO - Restart
INFO - Confl: 1000 Props: 16590007 Tprops: 0 Decides: 228477 RSplits: 0
INFO - Times: Expl: 7094.353 Prop: 21422.075 PropClause: 20869.708 Set: 438.467 Check: 5.366 Back: 407.423
INFO - Atoms: 54881/164629 Clauses: 1008 Axioms: 688941