/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.24491.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3624046494
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2184332 Tprops: 0 Decides: 2008094 RSplits: 0
INFO - Times: Expl: 2186.776 Prop: 4241.779 PropClause: 3292.518 Set: 103.898 Check: 53.955 Back: 101.028
INFO - Atoms: 24497/269407 Clauses: 504 Axioms: 1298008
INFO - Restart
INFO - Confl: 1000 Props: 6790685 Tprops: 0 Decides: 4646873 RSplits: 0
INFO - Times: Expl: 5698.115 Prop: 12883.105 PropClause: 10673.169 Set: 278.342 Check: 116.928 Back: 277.683
INFO - Atoms: 24497/269407 Clauses: 1004 Axioms: 1298008
INFO - Restart
INFO - Confl: 2000 Props: 17758151 Tprops: 0 Decides: 9706379 RSplits: 0
INFO - Times: Expl: 15446.558 Prop: 33608.353 PropClause: 28876.156 Set: 667.082 Check: 237.92 Back: 670.156
INFO - Atoms: 24497/269407 Clauses: 2004 Axioms: 1298008