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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2901479941
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2254003 Tprops: 0 Decides: 2611632 RSplits: 0
INFO - Times: Expl: 2552.658 Prop: 5015.335 PropClause: 3777.03 Set: 123.896 Check: 67.513 Back: 119.938
INFO - Atoms: 29485/265333 Clauses: 502 Axioms: 1267666
INFO - Restart
INFO - Confl: 1000 Props: 5403912 Tprops: 0 Decides: 5278162 RSplits: 0
INFO - Times: Expl: 5982.789 Prop: 11576.775 PropClause: 9029.739 Set: 267.66 Check: 136.146 Back: 266.449
INFO - Atoms: 29485/265333 Clauses: 1002 Axioms: 1267666
INFO - Restart
INFO - Confl: 2000 Props: 11984735 Tprops: 0 Decides: 9926192 RSplits: 0
INFO - Times: Expl: 13679.747 Prop: 24564.221 PropClause: 19822.839 Set: 539.787 Check: 252.161 Back: 543.419
INFO - Atoms: 29485/265333 Clauses: 2002 Axioms: 1267666
INFO - Restart
INFO - Confl: 2500 Props: 15925398 Tprops: 0 Decides: 12488798 RSplits: 0
INFO - Times: Expl: 16948.769 Prop: 32143.676 PropClause: 26206.414 Set: 696.046 Check: 315.162 Back: 701.726
INFO - Atoms: 29485/265333 Clauses: 2502 Axioms: 1267666