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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2336958087
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2984073 Tprops: 0 Decides: 2021786 RSplits: 0
INFO - Times: Expl: 1794.84 Prop: 3976.489 PropClause: 3196.611 Set: 122.832 Check: 53.786 Back: 120.591
INFO - Atoms: 20006/220006 Clauses: 504 Axioms: 1059985
INFO - Restart
INFO - Confl: 1000 Props: 6613286 Tprops: 0 Decides: 3795383 RSplits: 0
INFO - Times: Expl: 4115.031 Prop: 9315.566 PropClause: 7782.58 Set: 253.219 Check: 95.012 Back: 250.006
INFO - Atoms: 20006/220006 Clauses: 1004 Axioms: 1059985
INFO - Restart
INFO - Confl: 2000 Props: 13133408 Tprops: 0 Decides: 5816410 RSplits: 0
INFO - Times: Expl: 11594.718 Prop: 17767.912 PropClause: 15275.074 Set: 460.811 Check: 142.229 Back: 457.903
INFO - Atoms: 20006/220006 Clauses: 2004 Axioms: 1059985
INFO - Restart
INFO - Confl: 2500 Props: 15446427 Tprops: 0 Decides: 6035807 RSplits: 0
INFO - Times: Expl: 13252.011 Prop: 20846.408 PropClause: 18202.124 Set: 523.251 Check: 147.404 Back: 519.331
INFO - Atoms: 20006/220006 Clauses: 2504 Axioms: 1059985