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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3291791963
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2841421 Tprops: 0 Decides: 2177478 RSplits: 0
INFO - Times: Expl: 3022.213 Prop: 5870.431 PropClause: 4733.495 Set: 123.683 Check: 57.91 Back: 115.637
INFO - Atoms: 22002/241962 Clauses: 504 Axioms: 1165773
INFO - Restart
INFO - Confl: 1000 Props: 6844574 Tprops: 0 Decides: 4299442 RSplits: 0
INFO - Times: Expl: 6326.73 Prop: 13548.973 PropClause: 11397.784 Set: 272.237 Check: 112.602 Back: 256.995
INFO - Atoms: 22002/241962 Clauses: 1004 Axioms: 1165773
INFO - Restart
INFO - Confl: 2000 Props: 14657486 Tprops: 0 Decides: 8007536 RSplits: 0
INFO - Times: Expl: 12771.093 Prop: 27355.793 PropClause: 23469.91 Set: 554.094 Check: 204.195 Back: 525.888
INFO - Atoms: 22002/241962 Clauses: 2004 Axioms: 1165773