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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2013112508
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 532241 Tprops: 0 Decides: 13810 RSplits: 0
INFO - Times: Expl: 3424.899 Prop: 663.178 PropClause: 630.666 Set: 41.304 Check: 0.366 Back: 11.117
INFO - Atoms: 67418/202240 Clauses: 508 Axioms: 846350
INFO - Restart
INFO - Confl: 1000 Props: 1431466 Tprops: 0 Decides: 49542 RSplits: 0
INFO - Times: Expl: 7647.851 Prop: 1591.533 PropClause: 1525.9 Set: 63.264 Check: 1.196 Back: 33.444
INFO - Atoms: 67418/202240 Clauses: 1008 Axioms: 846350