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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1424223998
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1357723 Tprops: 0 Decides: 52815 RSplits: 0
INFO - Times: Expl: 3539.779 Prop: 1752.295 PropClause: 1682.681 Set: 56.192 Check: 1.268 Back: 32.958
INFO - Atoms: 51299/153883 Clauses: 508 Axioms: 643967
INFO - Restart
INFO - Confl: 1000 Props: 20741890 Tprops: 0 Decides: 1341219 RSplits: 0
INFO - Times: Expl: 11171.141 Prop: 29696.356 PropClause: 28405.652 Set: 597.375 Check: 30.982 Back: 556.475
INFO - Atoms: 51299/153883 Clauses: 1008 Axioms: 643967