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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1795961346
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1198412 Tprops: 0 Decides: 9941 RSplits: 0
INFO - Times: Expl: 2919.889 Prop: 1058.215 PropClause: 1002.99 Set: 69.972 Check: 0.275 Back: 26.669
INFO - Atoms: 60254/180748 Clauses: 508 Axioms: 756402
INFO - Restart
INFO - Confl: 1000 Props: 23322210 Tprops: 0 Decides: 20538 RSplits: 0
INFO - Times: Expl: 13551.613 Prop: 30447.346 PropClause: 29840.93 Set: 631.494 Check: 0.539 Back: 579.935
INFO - Atoms: 60254/180748 Clauses: 1008 Axioms: 756402