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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2458788966
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3645160 Tprops: 0 Decides: 2270660 RSplits: 0
INFO - Times: Expl: 2852.212 Prop: 6904.316 PropClause: 5824.74 Set: 144.122 Check: 55.119 Back: 142.751
INFO - Atoms: 21004/230984 Clauses: 504 Axioms: 1112879
INFO - Restart
INFO - Confl: 1000 Props: 7776223 Tprops: 0 Decides: 4229652 RSplits: 0
INFO - Times: Expl: 6073.232 Prop: 14632.584 PropClause: 12589.123 Set: 290.311 Check: 103.147 Back: 291.158
INFO - Atoms: 21004/230984 Clauses: 1004 Axioms: 1112879
INFO - Restart
INFO - Confl: 2000 Props: 15110625 Tprops: 0 Decides: 7716093 RSplits: 0
INFO - Times: Expl: 14646.839 Prop: 28324.598 PropClause: 24595.049 Set: 549.433 Check: 187.115 Back: 552.376
INFO - Atoms: 21004/230984 Clauses: 2004 Axioms: 1112879