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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2756390805
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 23435405 Tprops: 0 Decides: 10312 RSplits: 0
INFO - Times: Expl: 9401.285 Prop: 29158.852 PropClause: 28472.273 Set: 627.362 Check: 0.322 Back: 622.225
INFO - Atoms: 71000/212986 Clauses: 508 Axioms: 891324
INFO - Restart
INFO - Confl: 1000 Props: 29789376 Tprops: 0 Decides: 43994 RSplits: 0
INFO - Times: Expl: 11689.519 Prop: 33316.385 PropClause: 32433.857 Set: 776.798 Check: 1.132 Back: 774.05
INFO - Atoms: 71000/212986 Clauses: 1008 Axioms: 891324