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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2352103477
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1282636 Tprops: 0 Decides: 38254 RSplits: 0
INFO - Times: Expl: 3705.918 Prop: 1581.486 PropClause: 1519.539 Set: 63.963 Check: 0.925 Back: 29.89
INFO - Atoms: 63836/191494 Clauses: 508 Axioms: 801376
INFO - Restart
INFO - Confl: 1000 Props: 19400022 Tprops: 0 Decides: 63154 RSplits: 0
INFO - Times: Expl: 18710.921 Prop: 27198.347 PropClause: 26673.38 Set: 519.251 Check: 1.531 Back: 482.392
INFO - Atoms: 63836/191494 Clauses: 1008 Axioms: 801376