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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2755285481
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1694679 Tprops: 0 Decides: 1790116 RSplits: 0
INFO - Times: Expl: 2689.72 Prop: 3012.571 PropClause: 2321.471 Set: 85.084 Check: 41.712 Back: 82.573
INFO - Atoms: 25994/285874 Clauses: 504 Axioms: 1377349
INFO - Restart
INFO - Confl: 1000 Props: 5014910 Tprops: 0 Decides: 3860496 RSplits: 0
INFO - Times: Expl: 4972.59 Prop: 8424.939 PropClause: 6825.041 Set: 213.371 Check: 90.157 Back: 211.463
INFO - Atoms: 25994/285874 Clauses: 1004 Axioms: 1377349
INFO - Restart
INFO - Confl: 2000 Props: 12889564 Tprops: 0 Decides: 7908897 RSplits: 0
INFO - Times: Expl: 11773.139 Prop: 22665.015 PropClause: 19107.428 Set: 499.514 Check: 186.184 Back: 499.52
INFO - Atoms: 25994/285874 Clauses: 2004 Axioms: 1377349
INFO - Restart
INFO - Confl: 2500 Props: 16631407 Tprops: 0 Decides: 9726396 RSplits: 0
INFO - Times: Expl: 15039.879 Prop: 29675.786 PropClause: 25222.103 Set: 632.653 Check: 229.775 Back: 634.15
INFO - Atoms: 25994/285874 Clauses: 2504 Axioms: 1377349