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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2455168974
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 846053 Tprops: 0 Decides: 10199 RSplits: 0
INFO - Times: Expl: 1374.249 Prop: 987.593 PropClause: 949.336 Set: 46.888 Check: 0.254 Back: 19.011
INFO - Atoms: 56672/170002 Clauses: 508 Axioms: 711428
INFO - Restart
INFO - Confl: 1000 Props: 9112301 Tprops: 0 Decides: 22920 RSplits: 0
INFO - Times: Expl: 5637.469 Prop: 10344.708 PropClause: 10090.797 Set: 255.445 Check: 0.572 Back: 228.125
INFO - Atoms: 56672/170002 Clauses: 1008 Axioms: 711428