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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3888642749
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2408377 Tprops: 0 Decides: 2501546 RSplits: 0
INFO - Times: Expl: 2595.888 Prop: 5206.715 PropClause: 4021.368 Set: 122.979 Check: 63.793 Back: 118.519
INFO - Atoms: 28489/313319 Clauses: 504 Axioms: 1509584
INFO - Restart
INFO - Confl: 1000 Props: 6514238 Tprops: 0 Decides: 5240640 RSplits: 0
INFO - Times: Expl: 6098.545 Prop: 12987.889 PropClause: 10513.103 Set: 285.397 Check: 132.053 Back: 284.044
INFO - Atoms: 28489/313319 Clauses: 1004 Axioms: 1509584
INFO - Restart
INFO - Confl: 2000 Props: 16964268 Tprops: 0 Decides: 10390948 RSplits: 0
INFO - Times: Expl: 14562.149 Prop: 32608.117 PropClause: 27582.391 Set: 661.461 Check: 259.9 Back: 666.54
INFO - Atoms: 28489/313319 Clauses: 2004 Axioms: 1509584