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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1622100983
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2908491 Tprops: 0 Decides: 16381 RSplits: 0
INFO - Times: Expl: 1275.46 Prop: 2128.942 PropClause: 2032.929 Set: 90.961 Check: 0.417 Back: 69.562
INFO - Atoms: 49508/148510 Clauses: 508 Axioms: 621480
INFO - Restart
INFO - Confl: 1000 Props: 18229144 Tprops: 0 Decides: 568433 RSplits: 0
INFO - Times: Expl: 6466.679 Prop: 20976.891 PropClause: 20160.283 Set: 492.237 Check: 13.107 Back: 460.012
INFO - Atoms: 49508/148510 Clauses: 1008 Axioms: 621480
INFO - Restart
INFO - Confl: 2000 Props: 31692156 Tprops: 0 Decides: 682315 RSplits: 0
INFO - Times: Expl: 14224.287 Prop: 38603.295 PropClause: 37376.781 Set: 828.048 Check: 15.828 Back: 802.596
INFO - Atoms: 49508/148510 Clauses: 2008 Axioms: 621480